Declarative expression of deductive database updates

An update can be specified as a single database state transition, or as a sequence of queries and database state transitions. We give an extension of Datalog for expressing both types of update specifications on a logic database. The extension supports the simple and intuitive expression of basic update operations, hypothetical reasoning and update procedures. The extension possesses a possible-world semantics, and a sound and complete proof theory. Soundness and completeness is proved by showing that an update procedure can be mapped into a semantically equivalent Pure Prolog program. This means that the semantic and proof-theoretic results of Pure Prolog can be mapped into similar results for the Datalog extension.

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

[2]  David Scott Warren,et al.  Database Updates in Pure Prolog , 1984, FGCS.

[3]  Jeffrey D. Ullman,et al.  Principles of database and knowledge-base systems, Vol. I , 1988 .

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

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

[6]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

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

[8]  Eric Simon,et al.  A production rule based approach to deductive databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[9]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

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

[11]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[12]  David Harel,et al.  Horn Clauses Queries and Generalizations , 1985, J. Log. Program..

[13]  Serge Abiteboul,et al.  A translation language complete for database update and specification , 1987, PODS '87.

[14]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[15]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

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

[17]  Anthony J. Bonner.  Hypothetical Datalog: Complexity and Expressibility , 1990, Theor. Comput. Sci..

[18]  Dov M. Gabbay,et al.  N-Prolog: An Extension of Prolog with Hypothetical Implications I , 1984, J. Log. Program..

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

[20]  Hamid Bacha.  Meta Prolog Design and Implementation , 1988, ICLP/SLP.

[21]  Anthony J. Bonner.  Hypothetical Datalog: Complexity and Expressiblity , 1988, ICDT.

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