@inproceedings{8bd90c9888c44bd4b55f2c6e26d6c879,
title = "Querying TSQL2 databases with temporal logic",
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.",
author = "B{\"o}hlen, {Michael H.} and Jan Chomicki and Snodgrass, {Richard T.} and David Toman",
year = "1996",
doi = "10.1007/bfb0014161",
language = "English (US)",
isbn = "354061057X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "325--341",
editor = "Peter Apers and Mokrane Bouzeghoub and Georges Gardarin",
booktitle = "Advances in Database Technology, EDBT 1996 - 5th International Conference on Extending Database Technology, Proceedings",
note = "5th international conference on Extending Data Base Technology, EDBT 1996 ; Conference date: 25-03-1996 Through 29-03-1996",
}