Updating atomic information in labelled database systems (Extended abstract)

Marcelo Finger, Dov M. Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 propositional 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 non-supported actions. An extension of LISWZ into a non-monotonic LDS is applied for the detection of such actions.

Original languageEnglish
Title of host publicationDatabase Theory - ICDT 1992 - 4th International Conference, Proceedings
EditorsJoachim Biskup, Richard Hull
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783540560395
StatePublished - 1992
Externally publishedYes
Event4th International Conference on Database Theory, ICDT 1992 - Berlin, Germany
Duration: 14 Oct 199216 Oct 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume646 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th International Conference on Database Theory, ICDT 1992

Bibliographical note

Publisher Copyright:
© 1992, Springer-Verlag. All rights reserved.


Dive into the research topics of 'Updating atomic information in labelled database systems (Extended abstract)'. Together they form a unique fingerprint.

Cite this