Querying ATSQL databases with temporal logic

Querying ATSQL databases with temporal logic

We establish a correspondence between temporal logic and a subset of ATSQL, a temporal extension of SQL-92. In addition, we provide an effective translation from temporal logic to ATSQL that enables a user to write high-level queries which are then evaluated against a space-efficient representation...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ACM transactions on database systems 2001-06, Vol.26 (2), p.145-178
Hauptverfasser: Chomicki, Jan, Toman, David, Böhlen, Michael H.
Format: Artikel
Sprache:eng
Schlagworte:
Artificial intelligence
Computing methodologies
Data management systems
Database management system engines
Database query processing
Database query processing and optimization (theory)
Database theory
Information systems
Knowledge representation and reasoning
Logic
Modal and temporal logics
Query languages
Temporal reasoning
Theory and algorithms for application domains
Theory of computation
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We establish a correspondence between temporal logic and a subset of ATSQL, a temporal extension of SQL-92. In addition, we provide an effective translation from temporal logic to ATSQL that enables a user to write high-level queries which are then evaluated against a space-efficient representation of the database. A reverse translation, also provided in this paper, characterizes the expressive power of a syntactically defined subset of ATSQL queries.
ISSN:0362-5915
1557-4644
DOI:10.1145/383891.383892