Updating atomic information in labelled database systems (Extended abstract)

Marcelo Finger; Dov M. Gabbay

doi:10.1007/3-540-56039-4_41

Updating atomic information in labelled database systems (Extended abstract)

Marcelo Finger, Dov M. Gabbay

Imperial College London

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 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 language	English
Title of host publication	Database Theory - ICDT 1992 - 4th International Conference, Proceedings
Editors	Joachim Biskup, Richard Hull
Publisher	Springer Verlag
Pages	188-200
Number of pages	13
ISBN (Print)	9783540560395
DOIs	https://doi.org/10.1007/3-540-56039-4_41
State	Published - 1992
Externally published	Yes
Event	4th International Conference on Database Theory, ICDT 1992 - Berlin, Germany Duration: 14 Oct 1992 → 16 Oct 1992

Publication series

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

Conference

Conference	4th International Conference on Database Theory, ICDT 1992
Country/Territory	Germany
City	Berlin
Period	14/10/92 → 16/10/92

Bibliographical note

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

Funding

* supported by the CAPES-Brazil under grant 1481/89, ESPR1T project 3096 (SPEC). ** partially supported by SERC GR/F/28526 (METATEM).

Funders	Funder number
CAPES-Brazil	1481/89
Science and Engineering Research Council	GR/F/28526

Access to Document

10.1007/3-540-56039-4_41

Cite this

Finger, M., & Gabbay, D. M. (1992). Updating atomic information in labelled database systems (Extended abstract). In J. Biskup, & R. Hull (Eds.), Database Theory - ICDT 1992 - 4th International Conference, Proceedings (pp. 188-200). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 646 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-56039-4_41

Finger, Marcelo ; Gabbay, Dov M. / Updating atomic information in labelled database systems (Extended abstract). Database Theory - ICDT 1992 - 4th International Conference, Proceedings. editor / Joachim Biskup ; Richard Hull. Springer Verlag, 1992. pp. 188-200 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2265c01eaaae4caa892c77b3d9830aa2,

title = "Updating atomic information in labelled database systems (Extended abstract)",

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 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.",

author = "Marcelo Finger and Gabbay, {Dov M.}",

year = "1992",

doi = "10.1007/3-540-56039-4_41",

language = "אנגלית",

isbn = "9783540560395",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "188--200",

editor = "Joachim Biskup and Richard Hull",

booktitle = "Database Theory - ICDT 1992 - 4th International Conference, Proceedings",

address = "גרמניה",

}

Finger, M & Gabbay, DM 1992, Updating atomic information in labelled database systems (Extended abstract). in J Biskup & R Hull (eds), Database Theory - ICDT 1992 - 4th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 646 LNCS, Springer Verlag, pp. 188-200, 4th International Conference on Database Theory, ICDT 1992, Berlin, Germany, 14/10/92. https://doi.org/10.1007/3-540-56039-4_41

Updating atomic information in labelled database systems (Extended abstract). / Finger, Marcelo; Gabbay, Dov M.
Database Theory - ICDT 1992 - 4th International Conference, Proceedings. ed. / Joachim Biskup; Richard Hull. Springer Verlag, 1992. p. 188-200 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 646 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Updating atomic information in labelled database systems (Extended abstract)

AU - Finger, Marcelo

AU - Gabbay, Dov M.

PY - 1992

Y1 - 1992

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

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

UR - http://www.scopus.com/inward/record.url?scp=85029537082&partnerID=8YFLogxK

U2 - 10.1007/3-540-56039-4_41

DO - 10.1007/3-540-56039-4_41

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85029537082

SN - 9783540560395

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 188

EP - 200

BT - Database Theory - ICDT 1992 - 4th International Conference, Proceedings

A2 - Biskup, Joachim

A2 - Hull, Richard

PB - Springer Verlag

T2 - 4th International Conference on Database Theory, ICDT 1992

Y2 - 14 October 1992 through 16 October 1992

ER -

Finger M, Gabbay DM. Updating atomic information in labelled database systems (Extended abstract). In Biskup J, Hull R, editors, Database Theory - ICDT 1992 - 4th International Conference, Proceedings. Springer Verlag. 1992. p. 188-200. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-56039-4_41

Updating atomic information in labelled database systems (Extended abstract)

Abstract

Publication series

Conference

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this