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

axiomatization of embedded cross dependenciescompletenessrelational data modelsoundness

Mathematics Subject Classification ID

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

Review text

A very concise paper which gives a sound and complete axiomatization of embedded cross dependencies within the relational data model. A set A of axioms is sound with respect to a set of dependencies F if every new dependency derived from F using A is implied by F. It is complete if every dependency implied by F is derivable from F using A.

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

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

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)