Query lifting. Language-integrated query for heterogeneous nested collections
From MaRDI portal
Publication:2233480
DOI10.1007/978-3-030-72019-3_21zbMath1473.68067arXiv2101.04102OpenAlexW3120037435MaRDI QIDQ2233480
Wilmer Ricciotti, James Cheney
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2101.04102
Database theory (68P15) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Query lifting. Language-integrated query for heterogeneous nested collections ⋮ A formalization of SQL with nulls
Cites Work
- Principles of programming with complex objects and collection types
- The relational model with relation-valued attributes
- Query languages for bags and aggregate functions
- Normal forms and conservative extension properties for query languages over collection types
- Language-integrated query with nested data structures and grouping
- Query lifting. Language-integrated query for heterogeneous nested collections
- Optimizing object queries using an effective calculus
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
- An algebra for distributed Big Data analytics
- A practical theory of language-integrated query
- Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions
This page was built for publication: Query lifting. Language-integrated query for heterogeneous nested collections
