DEDUCTIVE DATABASES - WHERE TO NOW?

Deductive databases result from the integration of database and logic programming techniques. It combines the beneets of these two approaches, such as representational and operational uniformity, recursion, declarative querying, eecient secondary storage access, etc. However, signiicant problems remain inherent in this synthesis. There are four broad areas where problems are apparent. The rst problem area is how to naturally represent complex values consists of nested tuples and sets. The second problem area is how to incorporate object-oriented features into deductive framework. The third problem area is how to naturally deal with higher-order features in deductive databases. The last is the area of updates. This paper elaborates these problems, discusses some of the typical attempts that have been made towards solving them, and provides some perspective.

[1]  David J. DeWitt,et al.  A data model and query language for EXODUS , 1988, SIGMOD '88.

[2]  O. Deux,et al.  The O2 system , 1991 .

[3]  Shamim A. Naqvi,et al.  Database updates in logic programming , 1988, PODS.

[4]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[5]  Kotagiri Ramamohanarao,et al.  Design overview of the Aditi deductive database system , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[6]  Shamim A. Naqvi,et al.  Towards a Real Horn Clause Language , 1988, VLDB.

[7]  Raymond Reiter,et al.  On Formalizing Database Updates: Preliminary Report , 1992, EDBT.

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

[9]  O. Deux,et al.  The O2 system , 1991 .

[10]  Setrag Khoshafian,et al.  Object identity , 1986, OOPLSA '86.

[11]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[12]  François Bry,et al.  Intensional Updates: Abduction via Deduction , 1990, ICLP.

[13]  Gunter Saake,et al.  Updates in a Rule-Based Language for Objects , 1992, VLDB.

[14]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[15]  Abraham Silberschatz,et al.  Extended algebra and calculus for nested relational databases , 1988, TODS.

[16]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

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

[18]  Sanjay Manchanda.  Declarative expression of deductive database updates , 1989, PODS '89.

[19]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[20]  Serge Abiteboul,et al.  Non First Normal Form Relations: An Algebra Allowing Data Restructuring , 1986, J. Comput. Syst. Sci..

[21]  Lee Naish,et al.  Concurrent Database Updates in PROLOG , 1987, ICLP.

[22]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, J. Comput. Syst. Sci..

[23]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[24]  Christophe Lécluse,et al.  The O2 Database Programming Language , 1989, Building an Object-Oriented Database System, The Story of O2.

[25]  Jeffrey D. Ullman,et al.  Design Overview of the NAIL! System , 1986, ICLP.

[26]  Michael L. Brodie.  On the Development of Data Models , 1982, On Conceptual Modelling.

[27]  Latha S. Colby.  A recursive algebra and query optimization for nested relations , 1989, SIGMOD '89.

[28]  Catriel Beeri,et al.  Formal Models for Object Oriented Databases , 1989, DOOD.

[29]  Raghu Ramakrishnan,et al.  Efficient Transitive Closure Algorithms , 1988, VLDB.

[30]  Carlo Zaniolo,et al.  The LDL System Prototype , 1990, IEEE Trans. Knowl. Data Eng..

[31]  Stanley Y. W. Su.  Modeling Integrated Manufacturing Data with SAM* , 1986, Computer.

[32]  Won Kim,et al.  Object-Oriented Databases: Definition and Research Directions , 1990, IEEE Trans. Knowl. Data Eng..

[33]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[34]  Eric Simon,et al.  Modelling Non Deterministic Queries and Updates in Deductive Databases , 1988, VLDB.

[35]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

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

[37]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[38]  Catriel Beeri,et al.  Set Constructors in a Logic Database Language , 1991, J. Log. Program..

[39]  Carlo Zaniolo,et al.  LDL: A Logic-Based Data Language , 1986, VLDB.

[40]  Bin Jiang,et al.  A suitable algorithm for computing partial transitive closures in databases , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.