Temporal Logic & Historical Databases.

Dov M. Gabbay, Peter McBrien: Temporal Logic & Historical Databases. VLDB 1991: 423-430
  author    = {Dov M. Gabbay and
               Peter McBrien},
  editor    = {Guy M. Lohman and
               Am\'{\i}lcar Sernadas and
               Rafael Camps},
  title     = {Temporal Logic {\&} Historical Databases},
  booktitle = {17th International Conference on Very Large Data Bases, September
               3-6, 1991, Barcelona, Catalonia, Spain, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-150-3},
  pages     = {423-430},
  ee        = {db/conf/vldb/GabbayM91.html},
  crossref  = {DBLP:conf/vldb/91},
  bibsource = {DBLP,}


We review attempts at defining a general extension to the relational algebra toinclude temporal semantics, and define two temporal operators to achieve a temporal relational algebra with a close correspondence to temporal logic using since and until. We then demonstrate how this temporal relational algebra may to a limited extent be encoded in standard relational algebra, and in turn show how an extended temporal SQL may be encoded in standard SQL.

Copyright © 1991 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 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Guy M. Lohman, Amílcar Sernadas, Rafael Camps (Eds.): 17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. Morgan Kaufmann 1991, ISBN 1-55860-150-3


[Abadi & Manna, 1987]
Martín Abadi, Zohar Manna: Temporal Logic Programming. SLP 1987: 4-16 BibTeX
[Allen, 1983]
James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843(1983) BibTeX
[Barringer et al., 1990]
[Bubenko, 1977]
[Clifford & Tansel, 1985]
James Clifford, Abdullah Uz Tansel: On An Algebra For Historical Relational Databases: Two Views. SIGMOD Conference 1985: 247-265 BibTeX
[Date, 1989]
[Gabbay, 1989]
[Gadia, 1988]
Shashi K. Gadia: A Homogeneous Relational Model and Query Languages for Temporal Databases. ACM Trans. Database Syst. 13(4): 418-448(1988) BibTeX
[Navathe & Ahmed, 1988]
Shamkant B. Navathe, Rafi Ahmed: TSQL: A Language Interface for History Databases. Temporal Aspects in Information Systems 1987: 109-122 BibTeX
[Snodgrass, 1987]
Richard T. Snodgrass: The Temporal Query Language TQuel. ACM Trans. Database Syst. 12(2): 247-298(1987) BibTeX
[Tansel, 1986]
Abdullah Uz Tansel: Adding time dimension to relational model and extending relational algebra. Inf. Syst. 11(4): 343-355(1986) BibTeX
[Tuzhilin & Clifford, 1990]
Alexander Tuzhilin, James Clifford: A Temporal Relational Algebra as Basis for Temporal Relational Completeness. VLDB 1990: 13-23 BibTeX
[Ullman, 1988]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

Referenced by

  1. Wesley W. Chu, Chih-Cheng Hsu, Alfonso F. Cardenas, Ricky K. Taira: Knowledge-Based Image Retrieval with Spatial and Temporal Constructs. IEEE Trans. Knowl. Data Eng. 10(6): 872-888(1998)
  2. Serge Abiteboul, Laurent Herr, Jan Van den Bussche: Temporal Versus First-Order Logic to Query Temporal Databases. PODS 1996: 49-57
  3. Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman: Querying TSQL2 Databases with Temporal Logic. EDBT 1996: 325-341
  4. Jan Chomicki: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Trans. Database Syst. 20(2): 149-186(1995)
  5. Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Composite Event Specification in Active Databases: Model & Implementation. VLDB 1992: 327-338
  6. Umeshwar Dayal, Gene T. J. Wuu: A Uniform Approach to Processing Temporal Queries. VLDB 1992: 407-418
  7. Douglas B. Terry, David Goldberg, David A. Nichols, Brian M. Oki: Continuous Queries over Append-Only Databases. SIGMOD Conference 1992: 321-330
  8. Marcelo Finger, Dov M. Gabbay: Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200
  9. Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:49 2009