Updating atomic information in labelled database systems (extended abstract)

  • Marcelo Finger
  • Dov M. Gabbay
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 646)


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.


Temporal Logic Atomic Formula Query Evaluation Historical Database Proof Sketch 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 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. 4.
    David H. Evans. A Semantic Approach to the Event Calculus. Imperial College, unpublished manuscript.Google Scholar
  5. 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. 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. 7.
    Marcelo Finger. Handling Database Updates in Two-dimensional Temporal Logic. To appear in J. of Applied Non-Classical Logic, 1992.Google Scholar
  8. 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. 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. 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. 11.
    Dov M. Gabbay and Ian Hodkinson. Nonmonotonic Coding of the Past. Internal report, Imperial College, Department of Computing, October 1989.Google Scholar
  12. 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. 13.
    Peter Gardenförs. Knowledge in Flux — Modeling the dynamics of epistemic states. MIT Press, 1988.Google Scholar
  14. 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. 15.
    Peter McBrien. The Query and Updating of a Historical Database held in an RDMS. Technical report, Imperial College, 1992.Google Scholar
  16. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Marcelo Finger
    • 1
  • Dov M. Gabbay
    • 1
  1. 1.Department of ComputingImperial CollegeLondon

Personalised recommendations