A semantics for the integration of database modifications and transaction brackets into a logic programming language

  • Stefan Böttcher
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 474)


The integration of logic programming and databases has up to now focussed on read access of logic programs to external databases storing permanent data. However, the integration of write operations modifying existing databases would allow to use logic programming languages in a much larger field of applications. Therefore, it is important that the logic programming language not only embeds modification operations on existing databases, but also embeds transactions in order to preserve the correctness of the modified database.

This paper describes an integration of database modifications and transactions into a logic programming language evaluated by a depth first left to right strategy with backtracking. We propose a semantics of insert and delete operations and outline why these operations are defined different from assert and retract in Prolog. Furthermore, we propose a semantics for transaction brackets and describe how these operations differ from begin_transaction and end_transaction statements in database programming languages.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Beierle, 1989]
    C. Beierle. Types, modules and databases in the logic programming language PROTOS-L. In K. H. Bläsius, U. Hedtstück, and C.-R. Rollinger, editors, Sorts and Types for Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, New York, 1989. (to appear).Google Scholar
  2. [Beierle and Böttcher, 1989]
    C. Beierle and S. Böttcher. PROTOS-L: Towards a knowledge base programming language. In Proceedings 3. GI-Kongreß Wissensbasierte System, Informatik Fachberichte, Springer-Verlag, Berlin, Heidelberg, 1989.Google Scholar
  3. [Böttcher, 1989]
    S. Böttcher. Prädikative Selektion als Grundlage für Transaktionssynchronisation und Datenintegrität. PhD thesis, FB Informatik, Univ. Frankfurt, 1989.Google Scholar
  4. [Böttcher, 1990a]
    S. Böttcher. Development and programming of deductive databases with PROTOS-L. In L. Belady, editor, Proc. 2 nd International Conference on Software Engineering and Knowledge Engineering, Skokie, Illinois, USA, 1990.Google Scholar
  5. [Böttcher, 1990b]
    S. Böttcher. Integrating a deductive database system with a Warren Abstract Machine. In N. Cercone and F. Gardin, editors, Proc. International Symposium Computational Intelligence 90, Milan, Italy, 1990. (to appear).Google Scholar
  6. [Böttcher, 1990c]
    S. Böttcher. A tool kit for knowledge based production planning systems. In M. Tjoa, editor, Proc. International Conference on Data Base and Expert System Applications, Springer-Verlag, Vienna, Austria, 1990. (to appear).Google Scholar
  7. [Böttcher and Beierle, 1989]
    S. Böttcher and C. Beierle. Data base support for the PROTOS-L system. Microprocessing and Microcomputing, 27(1–5):25–30, August 1989.Google Scholar
  8. [Cloksin and Mellish, 1981]
    W.F. Cloksin and C.S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, Heidelberg, New York, 1981.Google Scholar
  9. [Fagin et al., 1986]
    R. Fagin, G.M. Kuper, J.D. Ullman, and M.Y. Vardi. Updating logical databases. In P. Kannellakis, editor, Advances in Computing Research, Jai Press, 1986.Google Scholar
  10. [Manchanda and Warren, 1988]
    S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, 1988.Google Scholar
  11. [Schmidt, 1977]
    J.W. Schmidt. Some high level language constructs for data of type relation. Transactions on Database Systems, 2(3):247–261, 1977.Google Scholar
  12. [Schmidt et al., 1988]
    J.W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. DBPL-Memo 111-88, Univ. Frankfurt, 1988.Google Scholar
  13. [Semle, 1989]
    H. Semle. Erweiterung einer abstrakten Maschine für ordnungssortiertes Prolog um die Behandlung polymorpher Sorten. Diplomarbeit Nr. 583, Universität Stuttgart und IBM Deutschland GmbH, Stuttgart, April 1989.Google Scholar
  14. [Warren, 1983]
    D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983.Google Scholar
  15. [Wilkins, 1986]
    M.W. Wilkins. A model-theoretic approach to updating logical databases. In Proceedings of the 5 th International Conference on Principles of Database Systems, 1986.Google Scholar
  16. [Wirth, 1983]
    N. Wirth. Programming in Modula-2. Springer, Berlin, Heidelberg, New York, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Stefan Böttcher
    • 1
  1. 1.Scientific Center Institute for Knowledge Based SystemsIBM Deutschland GmbHStuttgart 80West Germany

Personalised recommendations