Normal forms and conservative extension properties for query languages over collection types

DOI10.1006/jcss.1996.0037zbMath0861.68024OpenAlexW2025969711WikidataQ61910888 ScholiaQ61910888MaRDI QIDQ1924384

Limsoon Wong

Publication date: 26 November 1996

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/0db2a13789447840b771315a12fe7f49a9793dcc

zbMATH Keywords

query languagequery optimizationquerying setsrelative set abstraction

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (11)

Strongly-Normalizing Higher-Order Relational Queries ⋮ Well-definedness and semantic type-checking for the nested relational calculus ⋮ Query languages for bags and aggregate functions ⋮ Iterating on multiple collections in synchrony ⋮ Expressive power of SQL. ⋮ Query lifting. Language-integrated query for heterogeneous nested collections ⋮ Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions ⋮ Language-integrated query with nested data structures and grouping ⋮ Provenance as dependency analysis ⋮ Local properties of query languages ⋮ A formalization of SQL with nulls

Uses Software

• Miranda

This page was built for publication: Normal forms and conservative extension properties for query languages over collection types