From OO Through Deduction to Active Databases - ROCK, ROLL & RAP

One important thread within advanced database systems research is the notion of rule-based database systems. The power of definite rules coupled with relational technology has led to the emergence of deductive databases. However, while this type of database system provides more advanced functionality, it suffers from other limitations of relational database systems such as the lack of data structures. The realisation that the objecto-riented approach is complementary to the deductive one and that the two can be combined to produce deductive object-oriented databases with all the benefits of both represents an important breakthrough for rule-based database systems.

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

[2]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[3]  M. Howard Williams,et al.  Central knowledge management for expert systems , 1992 .

[4]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[5]  Mengchi Liu ROL: A Deductive Object Base Language , 1996, Inf. Syst..

[6]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[7]  M. Howard Williams,et al.  Reorganization in a Simple Database System , 1986, Softw. Pract. Exp..

[8]  Divesh Srivastava,et al.  Coral++: Adding Object-Orientation to a Logic Database Language , 1993, VLDB.

[9]  Norman W. Paton,et al.  Design and implementation of ROCK & ROLL: a deductive object-oriented database system , 1995, Inf. Syst..

[10]  Norman W. Paton,et al.  An Effective Deductive Object-Oriented Database Through Language Integration , 1994, VLDB.

[11]  Norman W. Paton,et al.  Approaches to deductive object-oriented databases , 1992, Inf. Softw. Technol..

[12]  Alvaro Adolfo Antunes Fernandes,et al.  An axiomatic approach to deductive object-oriented databases , 1995 .

[13]  Oris Friesen,et al.  VALIDITY: Applications of a DOOD System , 1996, EDBT.

[14]  Norman W. Paton,et al.  Object-oriented databases - a semantic data model approach , 1992, Prentice Hall International Series in Computer Science.

[15]  Jennifer Widom Deductive and Active Databases: Two Paradigms or Ends of a Spectrum? , 1993, Rules in Database Systems.

[16]  Norman W. Paton,et al.  An Active Rule Language for ROCK & ROLL , 1996, BNCOD.

[17]  Norman W. Paton,et al.  Dimensions of Active Behaviour , 1993, Rules in Database Systems.

[18]  Michael L. Brodie,et al.  On knowledge-based systems architectures , 1986 .

[19]  Norman W. Paton,et al.  Deductive Object-Oriented Database Systems: A Survey , 1997, Rules in Database Systems.

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

[21]  Kam-Fai Wong,et al.  Prolog and deductive databases , 1988, Knowl. Based Syst..

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

[23]  M. Howard Williams,et al.  Towards a Co-operative Data Base Management System , 1983, Logic Programming Workshop.

[24]  Michael L. Brodie,et al.  On Knowledge-Based System Architectures , 1985, On Knowledge Base Management Systems.

[25]  Jorge B. Bocca EDUCE: A Marriage of Convenience: Prolog and a Relational DBMS , 1986, SLP.