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

15 Scopus citations

Abstract

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
Pages325-341
Number of pages17
StatePublished - Dec 1 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

Other

Other5th international conference on Extending Data Base Technology, EDBT 1996
CountryFrance
CityAvignon
Period3/25/963/29/96

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this

    Böhlen, M. H., Chomicki, J., Snodgrass, R. T., & Toman, D. (1996). Querying TSQL2 databases with temporal logic. In Advances in Database Technology, EDBT 1996 - 5th International Conference on Extending Database Technology, Proceedings (pp. 325-341). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1057 LNCS).