Towards deductive object databases

This paper proposes a new approach to model deductive object databases. Each object database is described by means of a Datalog language extended with extensional updates, called U-Datalog. Objects can change state and cooperate. We introduce an extension of U-Datalog to approach the problem of composition among object databases. It can be used for modular database design and for cooperation among deductive objects. The resulting language has a clear semantics for the evolution of objects and for modeling the transactional behavior of the resulting database. Finally, we describe some architectural issues of the prototype which has been developed.

[1]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1988, EDBT.

[2]  Elisa Bertino,et al.  Transaction optimization in rule databases , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[3]  Serge Abiteboul,et al.  Methods and rules , 1993, SIGMOD Conference.

[4]  Luís Monteiro,et al.  A Transformational View of Inheritance in Logic Programming , 1990, ICLP.

[5]  Michele Bugliesi,et al.  A Declarative View of Inheritance in Logic Programming , 1992, JICSLP.

[6]  David Scott Warren,et al.  A Logic-based Language for Database Updates , 1988, Foundations of Deductive Databases and Logic Programming..

[7]  Luís Monteiro,et al.  Contextual Logic Programming , 1989, ICLP.

[8]  Oscar Nierstrasz,et al.  Towards an Object Calculus ∗ , 1991 .

[9]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[10]  Serge Abiteboul,et al.  Updates, A New Frontier , 1988, ICDT.

[11]  Elisa Bertino,et al.  Generic Methods in Deductive Object Databases , 1994, OOIS.

[12]  William Kent,et al.  Object-Oriented Databases: Analysis, Design and Construction , 1991 .

[13]  Elisa Bertino,et al.  Modeling Database Updates with Constraint Logic Programming , 1992, Workshop on Deductive Databases, JICSLP.

[14]  Sergio Greco,et al.  COMPLEX: An Object-Oriented Logic Programming System , 1992, IEEE Trans. Knowl. Data Eng..

[15]  Ehud Shapiro,et al.  The family of concurrent logic programming languages , 1989, CSUR.

[16]  Michael Kifer,et al.  A logic for object-oriented logic programming , 1989, PODS.

[17]  Letizia Tanca,et al.  Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.

[18]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[19]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[20]  Burkhard Freitag,et al.  A Deductive Database Language Supporting Modules , 1992 .

[21]  Gunter Saake,et al.  Using Active Objects for Query Processing , 1990, DS-4.

[22]  Serge Abiteboul,et al.  Procedural and declarative database update languages , 1988, PODS '88.

[23]  David Scott Warren,et al.  Objects as Intensions , 1988, ICLP/SLP.

[24]  Michael L. Brodie.  The Promise of Distributed Computing and the Challenges of Legacy Systems , 1992, BNCOD.

[25]  Bjørn N. Freeman-Benson,et al.  Constraints and Object Identity , 1994, ECOOP.

[26]  Elisa Bertino,et al.  Towards a Logical-Object Oriented Programming Language for Databases , 1992, EDBT.

[27]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[28]  Elisa Bertino,et al.  A Bottom-Up Interpreter for a Database Language with Updates and Transactions , 1994, GULP-PRODE.

[29]  Evelina Lamma,et al.  Modularity in Logic Programming , 1994, J. Log. Program..

[30]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[31]  Herman Balsters,et al.  A Deductive and Typed Object-Oriented Language , 1993, DOOD.

[32]  Stefano Ceri,et al.  Chimera: A Model and Language for Active DOOD Systems , 1994, East/West Database Workshop.

[33]  Ugo Montanari,et al.  Modelling Concurrent Accesses to Shared Data via Petri Nets , 1994, PROCOMET.

[34]  Hassan Aït-Kaci,et al.  An Overview of LIFE , 1990, East/West Database Workshop.

[35]  Maurizio Gabbrielli,et al.  A Compositional Semantics for Logic Programs , 1994, Theor. Comput. Sci..

[36]  Dale Miller,et al.  A Theory of Modules for Logic Programming , 1986, SLP.

[37]  D. Pedreschi,et al.  Composition Operators for Logic Theories , 1990 .

[38]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[39]  Herman Balsters,et al.  Typed Sets as a Basis for Object-Oriented Database Schemas , 1993, ECOOP.

[40]  Elisa Bertino,et al.  Deductive Object Databases , 1994, ECOOP.

[41]  Z. Meral Özsoyoglu,et al.  LLO: an object-oriented deductive language with methods and method inheritance , 1991, SIGMOD '91.

[42]  Moshé M. Zloof.  Query-by-Example: A Data Base Language , 1977, IBM Syst. J..

[43]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[44]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[45]  Raghu Ramakrishnan,et al.  Performance Evaluation of Data Intensive Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[46]  Jean-Marc Andreoli,et al.  LO and behold! Concurrent structured processes , 1990, OOPSLA/ECOOP '90.

[47]  Paolo Mancarella,et al.  An Algebra of Logic Programs , 1988, ICLP/SLP.