scientific article; zbMATH DE number 2080408

MaRDI QIDQ4473165zbMATH OpenFDO

Authors Peter Buneman, Benjamin C. Pierce

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1949/19490184.htm

Mathematics Subject Classification ID

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

Recommendations

• Towards a logic for union types
• Computer Science Logic
• 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:

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