Union types for semistructured data

DOI10.1007/3-540-44543-9_12MaRDI QIDQ4473165zbMATH OpenFDO

Authors Peter Buneman, Benjamin C. Pierce

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1949/19490184.htm, https://www.research.ed.ac.uk/en/publications/e169bad7-f4f5-4673-b5ad-0bdf3f7b6c3c

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15)

Recommendations

• Towards a logic for union types
• Subtyping union types
• Intersection and union types: Syntax and semantics
• Intersection and union types
• Unions of Relational Systems
• scientific article; zbMATH DE number 2241906
• scientific article; zbMATH DE number 4049129
• Elaborating intersection and union types
• Elaborating intersection and union types
• A gradual interpretation of union types

Cited in

(6)

• Extracting schema from an OEM database
• Wrapper induction: Efficiency and expressiveness
• Boolean operations and inclusion test for attribute-element constraints
• Static and dynamic semantics of NoSQL languages
• scientific article; zbMATH DE number 2241906 (Why is no real title available?)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage

This page was built for publication: Union types for semistructured data

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