Updating atomic information in labelled database systems (extended abstract)
This paper investigates the applications of Labelled Deductive Systems (LDS) as a framework for the development of a computational formalism for the description of active historical databases. This formalism is then applied to the study of retroactive updates.
The prepositional temporal logic USV/Z for temporal validity is presented and we prove its soundness and completeness. The historical data model is derived from an LDS framework for this logic. The mechanism for the execution of active temporal rules is described, showing how retroactive updates can cause the appearance of nonsupported actions. An extension of USV/Z into a non-monotonic LDS is applied for the detection of such actions.
KeywordsTemporal Logic Atomic Formula Query Evaluation Historical Database Proof Sketch
Unable to display preview. Download preview PDF.
- 1.Catriel Beeri and Tova Milo. A Model for Active Object Oriented Database. In 17th International Conference on Very Large Data Bases, pages 337–350, Barcelona, September 1991.Google Scholar
- 2.Roben Bull and Krister Segerberg. Basic Modal Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, pages 1–88. D. Reidel Publishing Company, 1984.Google Scholar
- 3.Keith L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293–322. Plenum Press, 1978.Google Scholar
- 4.David H. Evans. A Semantic Approach to the Event Calculus. Imperial College, unpublished manuscript.Google Scholar
- 5.Ronald Fagin, Gabriel M. Kupper, Jeffrey D. Ullman, and Moshe Y. Vardi. Updating Logical Databases. In Advances in Computing Research, Volume 3, pages 1–18. JAI Press Inc., 1986.Google Scholar
- 6.Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi. On the Semantics of Updates in Databases. In 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 352–365, 21–23 March 1983.Google Scholar
- 7.Marcelo Finger. Handling Database Updates in Two-dimensional Temporal Logic. To appear in J. of Applied Non-Classical Logic, 1992.Google Scholar
- 8.Marcelo Finger, Peter McBrien, and Richard Owens. Databases and Executable Temporal Logic. In Annual Esprit Conference, pages 288–302. Comission of the European Communities, Brussels, 25–29 November 1991.Google Scholar
- 9.Dov M. Gabbay. The Declarative Past and the Imperative Future. In B. Banieqbal et al., editors, Coloquium on Temporal Logic and Specifications-Lecture Notes in Computer Science 389, Manchester, April 1987. Springer-Verlag.Google Scholar
- 10.Dov M. Gabbay. Labelled Deductive Systems — Part I. Technical Report CIS-Bericht-90-22, Universität München, Centrum für Informations — und Sprachverarbeitung, February 1991.Google Scholar
- 11.Dov M. Gabbay and Ian Hodkinson. Nonmonotonic Coding of the Past. Internal report, Imperial College, Department of Computing, October 1989.Google Scholar
- 12.Dov M, Gabbay and Peter McBrien. Temporal Logic and Historical Databases. In 17th Conference on Very Large Databases, pages 423–430, Barcelona, September 1991.Google Scholar
- 13.Peter Gardenförs. Knowledge in Flux — Modeling the dynamics of epistemic states. MIT Press, 1988.Google Scholar
- 14.Robert A. Kowalski and Marek J. Sergot. A Logic Based Calculus of Events. New Generation Computing, 4(1):67–95, 1986.Google Scholar
- 15.Peter McBrien. The Query and Updating of a Historical Database held in an RDMS. Technical report, Imperial College, 1992.Google Scholar
- 16.Mark A. Reynolds. An Axiomatisation for Until and Since over the reals without the IRR Rule. To appear in Studia Logica, 1992.Google Scholar
- 17.R. Snodgrass and I. Ahn. A Taxonomy of Time in Databases. In ACM SIGMOD International Conference on Management of Data, pages 236–246, Austin, Texas, May 1985.Google Scholar
- 18.Michael Stonebraker, Eric Hanson, and Spyros Potamianos. The POSTGRESS Rule Manager. IEEE Transaction on Software Engineering, 14(7):897–907, July 1988.Google Scholar