Temporal Logic & Historical Databases.

@inproceedings{DBLP:conf/vldb/GabbayM91,
  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, http://dblp.uni-trier.de}
}

Abstract

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

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb8997 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[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