First-Order Queries over Temporal Databases Inexpressible in Temporal Logic.

@inproceedings{DBLP:conf/edbt/TomanN96,
  author    = {David Toman and
               Damian Niwinski},
  editor    = {Peter M. G. Apers and
               Mokrane Bouzeghoub and
               Georges Gardarin},
  title     = {First-Order Queries over Temporal Databases Inexpressible in
               Temporal Logic},
  booktitle = {Advances in Database Technology - EDBT'96, 5th International
               Conference on Extending Database Technology, Avignon, France,
               March 25-29, 1996, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1057},
  year      = {1996},
  isbn      = {3-540-61057-X},
  pages     = {307-324},
  ee        = {db/conf/edbt/TomanN96.html},
  crossref  = {DBLP:conf/edbt/96},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An2-2 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

References

[1]

Serge Abiteboul, Laurent Herr, Jan Van den Bussche: Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases. J. Comput. Syst. Sci. 58(1): 54-68(1999) BibTeX

[2]

...

[3]

Jan Chomicki: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Trans. Database Syst. 20(2): 149-186(1995) BibTeX

[4]

Jan Chomicki, Damian Niwinski: On the Feasibility of Checking Temporal Integrity Constraints. PODS 1993: 202-213 BibTeX

[5]

Jan Chomicki, David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7(4): 566-582(1995) BibTeX

[6]

James Clifford, Albert Croker: The Historical Relational Data Model (HRDM) and Algebra Based on Lifespans. ICDE 1987: 528-537 BibTeX

[7]

James Clifford, Albert Croker, Alexander Tuzhilin: On Completeness of Historical Relational Query Languages. ACM Trans. Database Syst. 19(1): 64-116(1994) BibTeX

[8]

...

[9]

...

[10]

...

[11]

...

[12]

Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi: On the Temporal Basis of Fairness. POPL 1980: 163-173 BibTeX

[13]

...

[14]

Neil Immerman, Dexter Kozen: Definability with Bounded Number of Bound Variables. Inf. Comput. 83(2): 121-139(1989) BibTeX

[15]

...

[16]

...

[17]

Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX

[18]

...

[19]

Richard T. Snodgrass: The Temporal Query Language TQuel. ACM Trans. Database Syst. 12(2): 247-298(1987) BibTeX

[20]

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

[21]

Abdullah Uz Tansel, James Clifford, Shashi K. Gadia, Sushil Jajodia, Arie Segev, Richard T. Snodgrass (Eds.): Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings 1993, ISBN 0-8053-2413-5
Contents BibTeX

[22]

...

[23]

Alexander Tuzhilin, James Clifford: A Temporal Relational Algebra as Basis for Temporal Relational Completeness. VLDB 1990: 13-23 BibTeX

[24]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[25]

Moshe Y. Vardi: A Temporal Fixpoint Calculus. POPL 1988: 250-259 BibTeX

Referenced by

1. David Toman: Point vs. Interval-based Query Languages for Temporal Databases. PODS 1996: 58-67
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