The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Adding time dimension to relational model and extending relational algebra
Information Systems
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
A homogeneous relational model and query languages for temporal databases
ACM Transactions on Database Systems (TODS)
A temporal relational algebra as a basis for temporal relational completeness
Proceedings of the sixteenth international conference on Very large databases
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Evaluation of relational algebras incorporating the time dimension in databases
ACM Computing Surveys (CSUR)
Understanding the new SQL: a complete guide
Understanding the new SQL: a complete guide
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
On completeness of historical relational query languages
ACM Transactions on Database Systems (TODS)
A consensus glossary of temporal database concepts
ACM SIGMOD Record
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Point vs. interval-based query languages for temporal databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deriving optimized integrity monitoring triggers from dynamic integrity constraints
Data & Knowledge Engineering
Temporal logic in information systems
Logics for databases and information systems
Temportal connectives versus explicit timestamps to query temporal databases
Journal of Computer and System Sciences
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
ACM Transactions on Database Systems (TODS)
The TSQL2 Temporal Query Language
The TSQL2 Temporal Query Language
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Extensions to SQL for Historical Databases
IEEE Transactions on Knowledge and Data Engineering
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Maintaining Temporal Views over Non-Temporal Information Sources for Data Warehousing
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Point-Based Temporal Extension of Temporal SQL
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
The Historical Relational Data Model (HRDM) and Algebra Based on Lifespans
Proceedings of the Third International Conference on Data Engineering
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Temporal Logic & Historical Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Coalescing in Temporal Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
States vs. Traces in Model Checking by Abstract Interpretation
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
IEEE Transactions on Knowledge and Data Engineering
An algebraic framework for temporal attribute characteristics
Annals of Mathematics and Artificial Intelligence
Bridging relational database history and the web: the XML approach
WIDM '06 Proceedings of the 8th annual ACM international workshop on Web information and data management
Temporal queries and version management in XML-based document archives
Data & Knowledge Engineering
ArchIS: an XML-based approach to transaction-time temporal database systems
The VLDB Journal — The International Journal on Very Large Data Bases
Active database systems for monitoring and surveillance
ISI'03 Proceedings of the 1st NSF/NIJ conference on Intelligence and security informatics
Querying multiple video streams and hypermedia objects of a video-based virtual space system
Digital Cities'03 Proceedings of the Third international conference on Information Technologies for Social Capital: cross-Cultural Perspectives
The telic/atelic distinction in temporal databases
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Optimal splitters for temporal and multi-version databases
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Hi-index | 0.01 |
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.