An intensional expressiveness gap of comprehension syntax

DOI10.4230/OASICS.TANNEN.11MaRDI QIDQ7241250zbMATH OpenFDO

Authors Limsoon Wong

Publication date 12 May 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/OASICS.TANNEN.11

zbMATH Keywords

comprehension syntaxintensional expressive powerlimited-mixing lemma

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Database theory (68P15)

Cites work

• Conservativity of nested relational calculi with internal generic functions
• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 6921705 (Why is no real title available?)
• Iterating on multiple collections in synchrony
• Normal forms and conservative extension properties for query languages over collection types
• Notions of locality and their logical characterizations over finite models
• On the complexity of division and set joins in the relational algebra
• Principles of programming with complex objects and collection types
• Query languages for bags and aggregate functions
• The complexity of the evaluation of complex algebra expressions

This page was built for publication: An intensional expressiveness gap of comprehension syntax

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7241250)