FOLRE: A Deductive Database System for the Integrated Treatment of Updates

We present in this paper both a novel theoretically well-founded framework for integrating the treatment of advanced update and rule enforcement problems in deductive databases and the architecture of a new deductive database management system based upon such a framework. Our results extend the query-processing and basic updating functionalities provided by current deductive database systems with integrated view updating and materialization, integrity checking and maintenance, and condition monitoring; both for on-line updates and predefined transactions.

[1]  Hendrik Decker,et al.  Comparing and synthesizing integrity checking methods for deductive databases , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[2]  Inderpal Singh Mumick,et al.  The Stanford Data Warehousing Project , 1995 .

[3]  B. Wuthrich.  On updates and inconsistency repairing in knowledge bases , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

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

[5]  Peter C. Lockemann,et al.  Reactive consistency control in deductive databases , 1991, TODS.

[6]  Joan Antoni Pastor,et al.  Supporting Transaction Design in Conceptual Modelling of Information Systems , 1995, CAiSE.

[7]  Jeffrey D. Ullman,et al.  A Survey of Research in Deductive Database Systems , 1995 .

[8]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[9]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[10]  Jennifer Widom,et al.  Deriving Production Rules for Incremental View Maintenance , 1991, VLDB.

[11]  Ernest Teniente,et al.  Incorporating Modification Requests in Updating Consistent Knowledge Bases , 1993, DAISD.

[12]  Antoni Olivé.  Integrity Constraints Checking In Deductive Databases , 1991, VLDB.

[13]  Michael Stonebraker,et al.  Database research: achievements and opportunities into the 1st century , 1996, SGMD.

[14]  Hendrik Decker,et al.  How to Tackle Schema Validation by View Updating , 1996, EDBT.

[15]  Jeffrey D. Ullman,et al.  A survey of deductive database systems , 1995, J. Log. Program..

[16]  Ernest Teniente,et al.  Structuring the Process of Integrity Maintenance , 1997, DEXA.

[17]  Ernest Teniente,et al.  A common framework for classifying and specifying deductive database updating problems , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[18]  C. V. Ramamoorthy,et al.  Knowledge and Data Engineering , 1989, IEEE Trans. Knowl. Data Eng..

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

[20]  Hendrik Decker,et al.  An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases , 1996, Joint International Conference and Symposium on Logic Programming.

[21]  Jack Minker,et al.  Logic and Databases: A 20 Year Retrospective , 1996, Logic in Databases.

[22]  Sharma Chakravarthy,et al.  Situation Monitoring for Active Databases , 1989, VLDB.

[23]  Antoni Olivé,et al.  A Method for Change Computation in Deductive Databases , 1992, VLDB.

[24]  Gio Wiederhold,et al.  Incremental Recomputation of Active Relational Expressions , 1991, IEEE Trans. Knowl. Data Eng..

[25]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..