Database Updates in Logic Programming.

Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262
  author    = {Shamim A. Naqvi and
               Ravi Krishnamurthy},
  title     = {Database Updates in Logic Programming},
  booktitle = {Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, March 21-23, 1988, Austin,
  publisher = {ACM},
  year      = {1988},
  isbn      = {0-89791-263-2},
  pages     = {251-262},
  ee        = {, db/conf/pods/NaqviK88.html},
  crossref  = {DBLP:conf/pods/88},
  bibsource = {DBLP,}


The need for control in logic programs is now being recognised. This is particularly evident when one focuses on allowing updates in logic programs. In this paper we propose a language DatalogA which is an extension of Datalog with updates to base relations. We define some procedural constructs to allow update programs to be written in an easy manner. The (W, p) scheme of Dynamic Logic fits nicely into the semantics of DatalogA programs in which W is taken to be the set of all possible states of the program and p is the accessibility relation between states. We give declarative semantics and equivalent constructed model semantics for DatalogA programs. We show that in the absence of updates our semantics reduce to the classical semantics of Datalog. Finally, we show some examples of non-stratified programs expressed in DatalogA.

Copyright © 1988 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ... BibTeX

Printed Edition

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas. ACM 1988, ISBN 0-89791-263-2
Contents BibTeX

Online Edition: ACM Digital Library


Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) BibTeX
François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 BibTeX
Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116 BibTeX
Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 BibTeX
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
Oded Shmueli, Shamim A. Naqvi: Set Grouping and Layering in Horn Clause Programs. ICLP 1987: 152-177 BibTeX
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 BibTeX
Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX

Referenced by

  1. Weidong Chen: Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 587-599(1997)
  2. Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395
  3. Louiqa Raschid, Jorge Lobo: Semantics for Update Rule Programs and Implementations in a Relational Database Management System. ACM Trans. Database Syst. 21(4): 526-571(1996)
  4. Weidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70(1995)
  5. Carlos A. Tau, Clara Smith, Claudia Pons, Ana María Monteiro: Formally Speaking About Schemata, Bases, Classes and Objects. DASFAA 1995: 308-317
  6. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
  7. Anton P. Karadimce, Susan Darling Urban: A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases. ICDE 1993: 391-398
  8. Anthony J. Bonner, Michael Kifer, Mariano P. Consens: Database Programming in Transaction Logic. DBPL 1993: 309-337
  9. Serge Abiteboul, Allen Van Gelder: Optimizing Active Databases using the Split Technique. ICDT 1992: 171-187
  10. Domenico Saccà, Brigitte Verdonk, Dirk Vermeir: Evolution of Knowledge Bases. EDBT 1992: 230-244
  11. Ravi Krishnamurthy, Witold Litwin, William Kent: Language Features for Interoperability of Databases with Schematic Discrepancies. SIGMOD Conference 1991: 40-49
  12. Paolo Atzeni, Riccardo Torlone: Solving Ambiguities in Updating Deductive Databases. MFDBS 1991: 104-118
  13. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990)
  14. Carlo Zaniolo: Deductive Databases - Theory Meets Practice. EDBT 1990: 1-15
  15. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Towards on Open Architecture for LDL. VLDB 1989: 195-203
  16. Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100
  17. Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356
  18. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
  19. Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263
  20. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
  21. Shamim A. Naqvi, Ravi Krishnamurthy: Semantics of Updates in Logic Programming. DBPL 1987: 313-327
  22. Ravi Krishnamurthy, Carlo Zaniolo: Control and Optimization Strategies in the Implementation of LDL. DBPL 1987: 329-345
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:33:54 2009