Language-Integrated Query for Temporal Data
summary
Extends language-integrated query so temporal operations for TLINQ (transaction time) and VLINQ (valid time) are rewritten into plain LINQ with provably semantics-preserving translations, a type-and-effect discipline, and a simple sequenced join strategy based on query normalization. Implementation in Links runs on standard relational DBMSes without native temporal support and powers a nontrivial case study curating Scottish COVID-19 statistics, showing the rewrites generate correct, efficient SQL and practical updates and joins over time.
AI-written summary · about
chapters (10)
- 0:00Temporal data queries intro
- 1:28Temporal DB operation challenges
- 3:59Language-Integrated Query for temporal data
- 5:04Transaction time semantics
- 7:54Valid time and applications
- 10:05Formal semantics for temporal queries
- 13:36Sequence joins in temporal DBs
- 16:27COVID-19 data curation case study
- 17:08Future directions and challenges
- 18:20Q&A on implementation
related talks
15mFrom Words to Data: Using LLMs to Turn Questions into SQL
45mMore Than a Query Language: SQL in the 21st Century
15mStreamQL: A Query Language for Processing Streaming Time Series
46mIntro to Postgres Hacking via Temporal Tables
30mThe Future of Data is Words
23mImplementing Temporal Features in PostgreSQL: SQL Standard and Beyond
01h 03mTemporal Database Demo
37mTyqu: Typesafe SQL Queries in Scala