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.
supported by the CAPES-Brazil under grant 1481/89, ESPRIT project 3096 (SPEC).
partially supported by SERC GR/F/28526 (MetateM).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
Keith L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293–322. Plenum Press, 1978.
David H. Evans. A Semantic Approach to the Event Calculus. Imperial College, unpublished manuscript.
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.
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.
Marcelo Finger. Handling Database Updates in Two-dimensional Temporal Logic. To appear in J. of Applied Non-Classical Logic, 1992.
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.
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.
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.
Dov M. Gabbay and Ian Hodkinson. Nonmonotonic Coding of the Past. Internal report, Imperial College, Department of Computing, October 1989.
Dov M, Gabbay and Peter McBrien. Temporal Logic and Historical Databases. In 17th Conference on Very Large Databases, pages 423–430, Barcelona, September 1991.
Peter Gardenförs. Knowledge in Flux — Modeling the dynamics of epistemic states. MIT Press, 1988.
Robert A. Kowalski and Marek J. Sergot. A Logic Based Calculus of Events. New Generation Computing, 4(1):67–95, 1986.
Peter McBrien. The Query and Updating of a Historical Database held in an RDMS. Technical report, Imperial College, 1992.
Mark A. Reynolds. An Axiomatisation for Until and Since over the reals without the IRR Rule. To appear in Studia Logica, 1992.
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.
Michael Stonebraker, Eric Hanson, and Spyros Potamianos. The POSTGRESS Rule Manager. IEEE Transaction on Software Engineering, 14(7):897–907, July 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Finger, M., Gabbay, D.M. (1992). Updating atomic information in labelled database systems (extended abstract). In: Biskup, J., Hull, R. (eds) Database Theory — ICDT '92. ICDT 1992. Lecture Notes in Computer Science, vol 646. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56039-4_41
Download citation
DOI: https://doi.org/10.1007/3-540-56039-4_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56039-5
Online ISBN: 978-3-540-47360-2
eBook Packages: Springer Book Archive