Skip to main content
SpringerLink
Log in

Updating atomic information in labelled database systems (extended abstract)

  • Conference paper
  • First Online:
Database Theory — ICDT '92 (ICDT 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 646))

Included in the following conference series:

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, SW7 2AZ, London

    Marcelo Finger & Dov M. Gabbay

Authors
  1. Marcelo Finger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joachim Biskup Richard Hull

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation