Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus.

@inproceedings{DBLP:conf/er/MarecoB99,
  author    = {Carlos A. Mareco and
               Leopoldo E. Bertossi},
  editor    = {Peter P. Chen and
               David W. Embley and
               Jacques Kouloumdjian and
               Stephen W. Liddle and
               John F. Roddick},
  title     = {Specification and Implementation of Temporal Databases in a Bitemporal
               Event Calculus},
  booktitle = {Advances in Conceptual Modeling: ER '99 Workshops on Evolution
               and Change in Data Management, Reverse Engineering in Information
               Systems, and the World Wide Web and Conceptual Modeling, Paris,
               France, November 15-18, 1999, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1727},
  year      = {1999},
  isbn      = {3-540-66653-2},
  pages     = {74-85},
  ee        = {db/conf/er/MarecoB99.html},
  crossref  = {DBLP:conf/er/99w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

References

[1]

...

[2]

Luca Chittaro, Angelo Montanari: Efficient Temporal Reasoning in the Cached Event Calculus. Computational Intelligence 12: 359-382(1996) BibTeX

[3]

Opher Etzion, Avigdor Gal, Arie Segev: Extended Update Functionality in Temporal Databases. Temporal Databases, Dagstuhl 1997: 56-95 BibTeX

[4]

Christian S. Jensen, Richard T. Snodgrass: Temporal Specialization and Generalization. IEEE Trans. Knowl. Data Eng. 6(6): 954-974(1994) BibTeX

[5]

...

[6]

Robert A. Kowalski: Database Updates in the Event Calculus. J. Log. Program. 12(1&2): 121-146(1992) BibTeX

[7]

Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 BibTeX

[8]

Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95(1986) BibTeX

[9]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[10]

...

[11]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[12]

Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 BibTeX

[13]

Murray Shanahan: Prediction is Deduction but Explanation is Abduction. IJCAI 1989: 1055-1060 BibTeX

[14]

Richard T. Snodgrass: An Overview of TQuel. Temporal Databases 1993: 141-182 BibTeX

[15]

Richard T. Snodgrass (Ed.): The TSQL2 Temporal Query Language. Kluwer 1995, ISBN 0-7923-9614-6
Contents BibTeX

[16]

Richard T. Snodgrass, Ilsoo Ahn: Temporal Databases. IEEE Computer 19(9): 35-42(1986) BibTeX

[17]

Richard T. Snodgrass, Michael H. Böhlen, Christian S. Jensen, Andreas Steiner: Transitioning Temporal Support in TSQL2 to SQL3. Temporal Databases, Dagstuhl 1997: 150-194 BibTeX

[18]

Suryanarayana M. Sripada: A logical framework for temporal deductive databases. VLDB 1988: 171-182 BibTeX

[19]

Suryanarayana M. Sripada: Efficient Implementation of the Event Calculus for Temporal Database Applications. ICLP 1995: 99-113 BibTeX

[20]

...

Referenced by

1. John F. Roddick, Lina Al-Jadir, Leopoldo E. Bertossi, Marlon Dumas, Florida Estrella, Heidi Gregersen, Kathleen Hornsby, Jens Lufter, Federica Mandreoli, Tomi Männistö, Enric Mayol, Lex Wedemeijer: Evolution and Change in Data Management - Issues and Directions. SIGMOD Record 29(1): 21-25(2000)