Abstract
We address the problem of formalizing the evolution of a database under the effect of an arbitrary sequence of update transactions. We do so by appealing to a first order representation language called the situation calculus, which is a standard approach in artificial intelligence to the formalization of planning problems. We formalize database transactions in exactly the same way as actions in the artificial intelligence planning domain. This leads to a database version of the frame problem in artificial intelligence. We provide a solution to the frame problem for a special, but substantial, class of update transactions.
We next briefly describe some of the results obtained within this axiomatization. Specifically, we provide procedures for determining whether a given sequence of update transactions is legal, and for query evaluation in an updated database. These procedures have the nice property that they appeal to theorem-proving only with respect to the initial database state. We also address the problem of proving properties true in all states of the database. It turns out that mathematical induction is required for this task, and we formulate a number of suitable induction axioms. Among those properties of database states that we wish to prove are the standard database notions of static and dynamic integrity constraints. In our setting, these emerge as inductive entailments of the database.
This article was processed using the LaTEX macro package with LMAMULT style
Preview
Unable to display preview. Download preview PDF.
References
A. Borgida, J. Mylopoulos, and J. Schmidt. The TaxisDL software description language. Technical report, Department of Computer Science, University of Toronto, 1991.
R. Fagin, J.D. Ullman, and M.Y. Vardi. Updating logical databases. In Proceedings of the ACM Symposium on Principles of Database Systems, April 1983.
M.L. Ginsberg and D.E. Smith. Reasoning about actions I: A possible worlds approach. Artificial Intelligence, 35:165–195, 1988.
G. Grahne. Updates and counterfactuals. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 269–276, Los Altos, CA, 1991. Morgan Kaufmann Publishers, Inc.
A. Guessoum and J.W. Lloyd. Updating knowledge bases. New Generation Computing, 8(1):71–89, 1990.
A. Guessoum and J.W. Lloyd. Updating knowledge bases II. Technical report, University of Bristol, 1991. To appear.
A. R. Haas. The case for domain-specific frame axioms. In F. M. Brown, editor, The frame problem in artificial intelligence. Proceedings of the 1987 workshop, pages 343–348, Los Altos, California, 1987. Morgan Kaufmann Publishers, Inc.
H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 387–394, Los Altos, CA, 1991. Morgan Kaufmann Publishers, Inc.
S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394. Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1988.
J. McCarthy. Programs with common sense. In M. Minsky, editor, Semantic Information Processing, pages 403–418. The MIT Press, Cambridge, MA, 1968.
J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, Edinburgh, Scotland, 1969.
J. Minker, editor. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1988.
R. Reiter. What should a database know? Journal of Logic Programming. to appear.
R. Reiter. Towards a logical reconstruction of relational database theory. In M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, editors, On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, pages 191–233. Springer, New York, 1984.
R. Reiter. On specifying database updates. Technical report, Department of Computer Science, University of Toronto, in preparation.
L.K. Schubert. Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions. In H.E. Kyberg, R.P. Loui, and G.N. Carlson, editors, Knowledge Representation and Defeasible Reasoning, pages 23–67. Kluwer Academic Press, 1990.
M. Winslett. Reasoning about action using a possible models approach. In Proceedings of the National Conference on Artificial Intelligence, pages 89–93. American Association for Artificial Intelligence, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reiter, R. (1992). On formalizing database updates: Preliminary report. In: Pirotte, A., Delobel, C., Gottlob, G. (eds) Advances in Database Technology — EDBT '92. EDBT 1992. Lecture Notes in Computer Science, vol 580. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032420
Download citation
DOI: https://doi.org/10.1007/BFb0032420
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55270-3
Online ISBN: 978-3-540-47003-8
eBook Packages: Springer Book Archive