Language-Integrated Query for Temporal Data (Extended version)
Simon Fowler, Vashti Galpin, James Cheney

TL;DR
This paper extends language-integrated query to support temporal data operations, enabling developers to write temporal queries in a uniform language that automatically rewrites them for standard relational databases.
Contribution
It introduces two core languages for temporal data manipulation, formalizes their semantics, and demonstrates implementation within the Links language with a practical case study.
Findings
Supports automatic rewriting of temporal queries into standard SQL
Provides formal semantics for temporal query languages
Successfully implements and tests in a real-world case study
Abstract
Modern applications often manage time-varying data. Despite decades of research on temporal databases, which culminated in the addition of temporal data operations into the SQL:2011 standard, temporal data query and manipulation operations are unavailable in most mainstream database management systems, leaving developers with the unenviable task of implementing such functionality from scratch. In this paper, we extend \emph{language-integrated query} to support writing temporal queries and updates in a uniform host language, with the language performing the required rewriting to emulate temporal capabilities automatically on any standard relational database. We introduce two core languages, and , for manipulating transaction time and valid time data respectively, and formalise existing implementation strategies by giving provably…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Database Systems and Queries · Semantic Web and Ontologies · Data Management and Algorithms
