Abstract
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.
The research reported here has been carried out within the international EUREKA project PROTOS (EU56): Prolog Tools for Building Expert Systems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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).
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.
S. Böttcher. Prädikative Selektion als Grundlage für Transaktionssynchronisation und Datenintegrität. PhD thesis, FB Informatik, Univ. Frankfurt, 1989.
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.
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).
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).
S. Böttcher and C. Beierle. Data base support for the PROTOS-L system. Microprocessing and Microcomputing, 27(1–5):25–30, August 1989.
W.F. Cloksin and C.S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, Heidelberg, New York, 1981.
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.
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.
J.W. Schmidt. Some high level language constructs for data of type relation. Transactions on Database Systems, 2(3):247–261, 1977.
J.W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. DBPL-Memo 111-88, Univ. Frankfurt, 1988.
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.
D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983.
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.
N. Wirth. Programming in Modula-2. Springer, Berlin, Heidelberg, New York, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Böttcher, S. (1991). A semantics for the integration of database modifications and transaction brackets into a logic programming language. In: Karagiannis, D. (eds) Information Systems and Artificial Intelligence: Integration Aspects. IS/KI 1990. Lecture Notes in Computer Science, vol 474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53557-8_18
Download citation
DOI: https://doi.org/10.1007/3-540-53557-8_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53557-7
Online ISBN: 978-3-540-46809-7
eBook Packages: Springer Book Archive