Comprehending Queries over Finite Maps - Language-Integrated Query Techniques

Explore language-integrated query techniques in this 35-minute conference talk from ACM SIGPLAN. Delve into the theoretical foundations of rewrite systems for embedded query languages, with a focus on grouping and aggregation constructs. Examine an extension of the nested relational calculus that provides strong normalization, SQL translatability, and compatibility with shredding techniques for nested relational queries. Gain insights into the seamless integration of domain-specific database query languages with general-purpose programming languages, and learn how this approach can prevent run-time failures through type-checking.

[PPDP23] Comprehending queries over finite maps