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. Each object can change its state and cooperate with other objects. 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 databases. 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]  Gunter Saake,et al.  Using Active Objects for Query Processing , 1990, DS-4.

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

[3]  Francis G. McCabe,et al.  Logic and objects , 1992, Prentice Hall International Series in Computer Science.

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

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

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

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

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

[9]  Maurizio Gabbrielli,et al.  Modular Logic Programs on Finite Domains , 1993, GULP.

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

[11]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

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

[13]  Michael L. Brodie.  The Promise of Distributed Computing and the Challenges of Legacy Information Systems , 1992, DS-5.

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

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

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

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

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

[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]  David Scott Warren,et al.  A Logic-based Language for Database Updates , 1988, Foundations of Deductive Databases and Logic Programming..

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

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

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

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

[26]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

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

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

[29]  Letizia Tanca,et al.  Active Rule Management in Chimera , 1996, Active Database Systems: Triggers and Rules For Advanced Database Processing.

[30]  Elisa Bertino,et al.  Modelling Database Updates with Constraint Logic Programming , 1992, FMLDO.

[31]  Maurizio Gabbrielli,et al.  Contributions to the Semantics of Open Logic Programs , 1992, FGCS.