Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 145-178 |
| Number of pages | 34 |
| Journal | ACM Transactions on Database Systems |
| Volume | 26 |
| Issue number | 2 |
| DOIs | |
| State | Published - Jun 2001 |
Keywords
- ATSQL
- F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic-temporal logic
- First-order temporal logic
- H.2.3 [Database Management]: Languages-query languages
- H.2.4 [Database Management]: Systems-query processing
- Languages
- Theory
Fingerprint
Dive into the research topics of 'Querying ATSQL Databases with Temporal Logic'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver