Strongly-Normalizing Higher-Order Relational Queries

DOI10.46298/LMCS-18(3:23)2022MaRDI QIDQ5043580zbMATH OpenOpenAlexFDO

Authors Wilmer Ricciotti, James Cheney

Publication date 6 October 2022

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2011.13451

zbMATH Keywords

strong normalizationlanguage-integrated query\(\top\top\)-liftingnested relational calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Query lifting. Language-integrated query for heterogeneous nested collections
• A practical theory of language-integrated query
• Language-integrated query with nested data structures and grouping
• Normal forms and conservative extension properties for query languages over collection types
• The complexity of higher-order queries

Cites work

• scientific article; zbMATH DE number 2185670 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• A \(\lambda\)-calculus with explicit weakening and explicit substitution
• A calculus of lambda calculus contexts
• A practical theory of language-integrated query
• Comprehending monads
• Conservativity of nested relational calculi with internal generic functions
• Dependent types and explicit substitutions: A meta-theoretical development
• Explicit substitutions
• Normal forms and conservative extension properties for query languages over collection types
• Optimizing object queries using an effective calculus
• Principles of programming with complex objects and collection types
• Query languages for bags and aggregate functions
• Strongly normalizing audited computation
• Term Rewriting and Applications
• The complexity of higher-order queries
• Typed Lambda Calculi and Applications

Cited in

(1)

• A formalization of SQL with nulls

Describes a project that uses

Uses Software

• HoTTSQL
• Kleisli

This page was built for publication: Strongly-Normalizing Higher-Order Relational Queries

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