ACM SIGMOD Anthology VLDB dblp.uni-trier.de

A logical framework for temporal deductive databases.

Suryanarayana M. Sripada: A logical framework for temporal deductive databases. VLDB 1988: 171-182
@inproceedings{DBLP:conf/vldb/Sripada88,
  author    = {Suryanarayana M. Sripada},
  editor    = {Fran\c{c}ois Bancilhon and
               David J. DeWitt},
  title     = {A logical framework for temporal deductive databases},
  booktitle = {Fourteenth International Conference on Very Large Data Bases,
               August 29 - September 1, 1988, Los Angeles, California, USA,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-75-3},
  pages     = {171-182},
  ee        = {db/conf/vldb/Sripada88.html},
  crossref  = {DBLP:conf/vldb/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers capability for the semantic validation of updates and default reasoning. In this paper, the Event Calculus is extended to include the concept of transaction time. The resulting framework is capable of handling both proactive and retroactive updates symmetrically. Error correction is achieved without deletions by means of negation as failure. The semantics of transaction time is formalised and the axioms of the Event Calculus are modified to cater for temporal databases. Given a description of events, axioms are presented for deducing relationships and the time periods for which they hold with respect to any past/present state of the database.

Copyright © 1988 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

François Bancilhon, David J. DeWitt (Eds.): Fourteenth International Conference on Very Large Data Bases, August 29 - September 1, 1988, Los Angeles, California, USA, Proceedings. Morgan Kaufmann 1988, ISBN 0-934613-75-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Gad Ariav, James Clifford, Matthias Jarke: Time and Databases. SIGMOD Conference 1983: 243-245 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Thomas Dean, Drew V. McDermott: Temporal Data Base Management. Artif. Intell. 32(1): 1-55(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
...
[8]
Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Robert A. Kowalski: Database Updates in the Event Calculus. J. Log. Program. 12(1&2): 121-146(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Ronald M. Lee, Helder Coelho, Jose Carlos Cotta: Temporal inferencing on administrative databases. Inf. Syst. 10(2): 197-206(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
N. G. Martin, Shamkant B. Navathe, Rafi Ahmed: Dealing with Temporal Schema Anomalies in History Databases. VLDB 1987: 177-184 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
L. Edwin McKenzie: Bibliography: Temporal Databases. SIGMOD Record 15(4): 40-52(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
...
[15]
Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory: The British Nationality Act as a Logic Program. Commun. ACM 29(5): 370-386(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Richard T. Snodgrass, Ilsoo Ahn: A Taxonomy of Time in Databases. SIGMOD Conference 1985: 236-246 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Richard T. Snodgrass, Ilsoo Ahn: Temporal Databases. IEEE Computer 19(9): 35-42(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
Richard T. Snodgrass: Research Concerning Time in Databases - Project Summaries. SIGMOD Record 15(4): 19-39(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
Richard T. Snodgrass: The Temporal Query Language TQuel. ACM Trans. Database Syst. 12(2): 247-298(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
Michael Stonebraker: The Design of the POSTGRES Storage System. VLDB 1987: 289-300 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:59 2010 by Michael Ley (ley@uni-trier.de)