A sound and complete axiomatization of embedded cross dependencies

DOI10.1016/0304-3975(84)90059-8MaRDI QIDQ759482zbMATH OpenOpenAlexWikidataFDO

Authors François Bancilhon, Philippe Richard

Publication date 1984

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00076309/file/RR-0249.pdf

zbMATH Keywords

completenesssoundnessaxiomatization of embedded cross dependenciesrelational data model

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Reasoning about embedded dependencies using inclusion dependencies
• A complete axiomatization of full acyclic join dependencies
• Towards Complete Reasoning about Axiomatic Specifications
• Axiomatizing propositional dependence logics
• Axiomatisation of functional dependencies in incomplete relations
• An axiomatic semantics for nested concurrency
• Axiomatizing first-order consequences in dependence logic
• scientific article; zbMATH DE number 17696
• Structural completeness in propositional logics of dependence

Cites work

• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• A relational model of data for large shared data banks

This page was built for publication: A sound and complete axiomatization of embedded cross dependencies

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