Querying TSQL2 Databases with Temporal Logic.

@inproceedings{DBLP:conf/edbt/BohlenCST96,
  author    = {Michael H. B{\"o}hlen and
               Jan Chomicki and
               Richard T. Snodgrass and
               David Toman},
  editor    = {Peter M. G. Apers and
               Mokrane Bouzeghoub and
               Georges Gardarin},
  title     = {Querying TSQL2 Databases with 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     = {325-341},
  ee        = {http://dx.doi.org/10.1007/BFb0014161},
  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

[AHV95]

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents

[AHVdB95]

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)

[All83]

James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843(1983)

[BJS95]

...

[CC87]

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

[CCT94]

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

[Cho94]

...

[Cho95]

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

[CT95]

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

[EN94]

Ramez Elmasri, Shamkant B. Navathe: Fundamentals of Database Systems, 2nd Edition. Benjamin/Cummings 1994, ISBN 0-8053-1748-1
Contents

[Gad88]

Shashi K. Gadia: A Homogeneous Relational Model and Query Languages for Temporal Databases. ACM Trans. Database Syst. 13(4): 418-448(1988)

[GHR94]

...

[GL93]

Michael Gertz, Udo W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. ICDE 1993: 22-29

[GM91]

Dov M. Gabbay, Peter McBrien: Temporal Logic & Historical Databases. VLDB 1991: 423-430

[GN93]

Shashi K. Gadia, Sunil S. Nair: Temporal Databases: A Prelude to Parametric Data. Temporal Databases 1993: 28-66

[JCE+94]

Christian S. Jensen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Patrick J. Hayes, Sushil Jajodia: A Consensus Glossary of Temporal Database Concepts. SIGMOD Record 23(1): 52-64(1994)

[Klu82]

Anthony C. Klug: Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. J. ACM 29(3): 699-717(1982)

[LM93]

T. Y. Cliff Leung, Richard R. Muntz: Stream Processing: Temporal Query Processing and Optimization. Temporal Databases 1993: 329-355

[LS87]

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

[MS93]

Jim Melton, Alan R. Simon: Understanding the New SQL: A Complete Guide. Morgan Kaufmann 1993, ISBN 1-55860-245-3
Contents

[NA93]

Shamkant B. Navathe, Rafi Ahmed: Temporal Extensions to the Relational Model and SQL. Temporal Databases 1993: 92-109

[Sar90]

Nandlal L. Sarda: Extensions to SQL for Historical Databases. IEEE Trans. Knowl. Data Eng. 2(2): 220-230(1990)

[Sar93]

Nandlal L. Sarda: HSQL: A Historical Query Language. Temporal Databases 1993: 110-140

[Sno87]

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

[Sno95]

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

[SW95]

A. Prasad Sistla, Ouri Wolfson: Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486(1995)

[Tan86]

Abdullah Uz Tansel: Adding time dimension to relational model and extending relational algebra. Inf. Syst. 11(4): 343-355(1986)

[Tom95]

...

[TN96]

David Toman, Damian Niwinski: First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. EDBT 1996: 307-324

[TC90]

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

[VGT91]

Allen Van Gelder, Rodney W. Topor: Safety and Translation of Relational Calculus Queries. ACM Trans. Database Syst. 16(2): 235-278(1991)

[Wüt91]

...