Querying ATSQL databases with temporal logic

DOI10.1145/383891.383892MaRDI QIDQ3507284zbMATH OpenOpenAlexWikidataFDO

Authors Jan Chomicki, David Toman, Michael H. Böhlen

Publication date 18 June 2008

Published in ACM Transactions on Database Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/383891.383892

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Publication:4508950
• A logical reconstruction of temporal databases
• Temporal connectives versus explicit timestamps to query temporal databases
• Temporal statement modifiers
• A temporal relational model and a query language

Cited in

(9)

• Temporal connectives versus explicit timestamps to query temporal databases
• Temporal meaning representations in a natural language front-end
• Monitoring metric first-order temporal properties
• A Cookbook for Temporal Conceptual Data Modelling with Description Logics
• Temporal statement modifiers
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
• On deciding the data complexity of answering linear monadic Datalog queries with ltl operators
• An algebraic framework for temporal attribute characteristics
• Monitoring of temporal first-order properties with aggregations

This page was built for publication: Querying ATSQL databases with temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507284)