Exploració per tema "Deductive databases"

Ara es mostren els items 21-40 de 88

    • Comprovació de restriccions d'integritat en bases de dades deductives bitemporals 

      Martín Escofet, Carme; Sistac Planas, Jaume (1994-03)
      Report de recerca
      Accés obert

    • Comprovació de restriccions d'integritat i modificació de vistes en bases de dades deductives 

      Teniente López, Ernest (1991-01)
      Report de recerca
      Accés obert
      Aquest treball descriu els conceptes bàsics de les bases de dades deductives i estudia algun dels problemes que aquestes tenen (comprovació de les restriccions d'integritat i modificació de vistes). Abans d'estudiar algunes ...

    • Consistency verification of deductive database schemes 

      Marqués, Francisco; Casamayor, Juan Carlos (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      A deductive database scheme consists of a set of base predicate schemes and a set of possibly non­ Horn clauses. A database can be considered as a particular instance of a given scheme. Clearly, a property that must be ...

    • Constructing a hierarchy of generalization/specialization from the O.A.S hierarchy of formal classes 

      Fernández, María C.; Pérez, Concepción; Portaencasa, Rafael; Santos, Eugenio (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      In this work is specialized the Hierarchy of Formal Classes, developed-within the OAS Model (Object-Semantic Association) [BRIAND 92], [PEREZ-LLERA 91]. The Hierarchy of Formal Classes provides far a formal generallzation, ...

    • Database support for a rule-based approach to information systems 

      Kopanas, V.; Loucopoulos, Pericles (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990)
      Text en actes de congrés
      Accés obert
      This paper reports on an attempt to address the problem of enhancing the relational database model with facilities which can serve as an implementation platform for a rule-based paradigm to information systems. The paper ...

    • Deduction-based data understanding using graphic logic 

      Kellogg, Charles (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Text en actes de congrés
      Accés obert
      In recent years there have been substantial improvements in the speed, power, and functionality of computer hardware and database management software. Similarly, there has been rapid growth in an ever widening variety of ...

    • Deductive object bases: concept, implementation, applications 

      Jarke, Matthias (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Text en actes de congrés
      Accés obert
      Deductive object bases attempt to combine the advantages of deductive relational databases with those o/ object-oriented data models. We present the definition and architecture o/ such systems, togetlrer with some ...

    • Defining and translating visual schemas for deductive databases 

      Puigsegur, J; Pastor Collado, Juan Antonio; Agustí Segarra, Jordi (1998-06)
      Report de recerca
      Accés obert
      We present a visual language expressive enough to capture an important subset of First Order Predicate Logic as well as its straightforward translation to the logic-based paradigm of deductive databases. We use the ...

    • Derived objects and classes in DOOD systems 

      Ye, Xian; Parent, Christine; Spaccapietra, Stefano (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
      Text en actes de congrés
      Accés obert
      Toe closure property is essential to enhance the power of database languages. In the deductive object-oriented database (D00D) context, this property implies that the rule­derived objects as well as the rule-derived classes ...

    • Deriving an internal events model from a deductive conceptual model 

      Sancho Samsó, María Ribera (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990)
      Text en actes de congrés
      Accés obert
      This work is based in the Internal Events Model. We extend the application of the transition rules to integrity constraints and output requirements. Finally, we present a formal method to determine the P-type and N-type ...

    • Deriving consistency-preserving transaction specifications for (view-)updates in relational databases 

      Pastor Collado, Juan Antonio (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Text en actes de congrés
      Accés obert
      We propase a new method for generating transaction specifications for (view-)updates in relational databases that are guaranteed to preserve integrity constraints. The method augments the relational database with a set of ...

    • Design and execution of event/action DB applications 

      Loucopoulos, Pericles; Papastamatiou, George; Pantazis, Dionysios; Diakonikolaou, George (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Text en actes de congrés
      Accés obert
      This paper introduces a declarative design formalism for active temporal database applications. Modelling of objects - including time modelling and complex objects - is carried out using the Entity Relationship Time (ERT) ...

    • Design, implementation and evaluation of an application following the deductive approach 

      Petrounias, Ilias; Loucopoulos, Pericles (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      This paper presents the process and the results of designing and implementing an application using the deductive approach. The application concems a safety critical system and for modelling the application domain two ...

    • Dislog - a system for reasoning in disjunctive deductive databases 

      Seipel, Dietmar; Thöne, Helmut (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
      Text en actes de congrés
      Accés obert
      DisLoG is a system for reasoning in disjunctive -deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such ...

    • Explaining the behaviour of a deductive conceptual model 

      Sancho Samsó, María Ribera (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      In this paper we present our approach for studying the temporal behaviour of a deductive conceptual model. It is based on the use of the semantic prototyping technique. We have implemented a tool able to simulate the ...

    • Exploiting consistency maintenance for planning 

      Moerkotte, Guido; Müller, Holger (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      A planning problem mainly consists of a description of an initial world, a set of formulas which declaratively define a goal world and a set of operator specifications which can be used to derive new worlds from given ...

    • Extending the scope of information modelling 

      Bubenko jr, Janis A. (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      Traditional infonnation modelling methods and techniques have mainly been concerned with promoting various representation formalisms far formally describing information systems, and discussing the expressive power of thern. ...

    • Extending the synthesis of update transaction programs to handle existential rules in deductive databases 

      Pastor Collado, Juan Antonio (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
      Text en actes de congrés
      Accés obert
      We propose a new method for generating consistency-preserving transaction programs for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and intemal events ...

    • Formalising existential rule treatment in the automatic synthesis of update transactions in deductive databases 

      Pastor Collado, Juan Antonio (1994-07)
      Report de recerca
      Accés obert
      We propose a new method for generating for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database ...

    • Generació i simplificació automàtica de les regles d'esdeveniments interns corresponents a una base de dades deductiva 

      Blecua, José Manuel; Farré Tost, Carles; Urpí Tubella, Antoni (1992-12)
      Report de recerca
      Accés obert