A calculus of typed relations

DOI10.1007/978-3-540-24771-5_17MaRDI QIDQ5712432zbMATH OpenOpenAlexFDO

Authors Wendy MacCaull, Ewa Orłowska

Publication date 23 December 2005

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

Full work available at URL https://doi.org/10.1007/b98117

zbMATH Keywords

information relationsnondeterministic databasesrelational databaseRelational proof systemtyped relations

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• A relational formulation of the theory of types
• Logical relations and the typed λ-calculus
• Relational Reasoning for Recursive Types and References
• A typed context calculus
• scientific article; zbMATH DE number 1377610
• A Sequent Calculus for Type Theory
• Automated Reasoning with Analytic Tableaux and Related Methods
• A relationally parametric model of dependent type theory
• A Logic of Type Relations and its Applications to Relational Databases
• Semantics of a relational \(\lambda\)-calculus

Cited in

(20)

• Tuple calculus: formal definition and conversion from first-order calculus
• A typed pattern calculus
• Towards a formal framework for heterogeneous relation algebra
• An algebra of database preferences
• A safe relational calculus for functional logic deductive databases
• An algebraic calculus of database preferences
• scientific article; zbMATH DE number 3883589 (Why is no real title available?)
• A Logic of Type Relations and its Applications to Relational Databases
• Relational Attribute Systems II: Reasoning with Relations in Information Structures
• A calculus for hierarchical data structures
• scientific article; zbMATH DE number 4053051 (Why is no real title available?)
• scientific article; zbMATH DE number 1254396 (Why is no real title available?)
• scientific article; zbMATH DE number 512954 (Why is no real title available?)
• A record calculus with principal types
• Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
• Polymorphic type inference for the named nested relational calculus
• scientific article; zbMATH DE number 975706 (Why is no real title available?)
• Data analysis using a geometrical representation of predicate calculus
• Typed homomorphic relations extended with subtypes
• The calculus of context relations

This page was built for publication: A calculus of typed relations

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