Querying TSQL2 databases with temporal logic

Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Scopus citations


We establish an exact correspondence between temporal logic and a subset of TSQL2, a consensus temporal extension of SQL-92. The translation from temporal logic to TSQL2 developed here enables a user to write high-level queries which can be evaluated against a space-efficient representation of the database. The reverse translation, also provided, makes it possible to characterize the expressive power of TSQL2. We demonstrate that temporal logic is equal in expressive power to a syntactically defined subset of TSQL2.

Original languageEnglish (US)
Title of host publicationAdvances in Database Technology, EDBT 1996 - 5th International Conference on Extending Database Technology, Proceedings
EditorsPeter Apers, Mokrane Bouzeghoub, Georges Gardarin
Number of pages17
ISBN (Print)354061057X, 9783540610571
StatePublished - 1996
Event5th international conference on Extending Data Base Technology, EDBT 1996 - Avignon, France
Duration: Mar 25 1996Mar 29 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1057 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other5th international conference on Extending Data Base Technology, EDBT 1996

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Querying TSQL2 databases with temporal logic'. Together they form a unique fingerprint.

Cite this