Formal systems for join dependencies

DOI10.1016/0304-3975(85)90212-9MaRDI QIDQ1071524zbMATH OpenOpenAlexWikidataFDO

Authors Catriel Beeri, Moshe Y. Vardi

Publication date 1985

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

Full work available at URL https://doi.org/10.1016/0304-3975(85)90212-9

zbMATH Keywords

implication problem for join dependenciesrelational databasestuple generating dependencies

Mathematics Subject Classification ID

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

Review text

The existence of sound and complete formal systems for the implication problem for join dependencies is deeply investigated. One such system (Gentzen-style and having an inference rule with an unbounded number of premises) is found. Extended join dependencies are defined, and two other sound and complete formal systems are obtained: a bounded system for join dependencies using only generalized join dependencies in the derivation, and an unbounded system for extended join dependencies. Both systems are sound and complete also for tuple generating dependencies.

Recommendations

• Formal Systems for Tuple and Equality Generating Dependencies
• Some results on the deductive structure of join dependencies
• scientific article; zbMATH DE number 3876647
• Completeness issues for join dependencies derived from the universal relation join dependency
• scientific article; zbMATH DE number 966595

Cites work

• A Complete Axiomatization of Full Join Dependencies
• A Proof Procedure for Data Dependencies
• Equivalence of Relational Database Schemes
• Equivalences among Relational Expressions
• Formal Systems for Tuple and Equality Generating Dependencies
• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 42986 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 3596227 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• On the menbership problem for functional and multivalued dependencies in relational databases
• The decision problem for database dependencies

Cited in

(11)

• Inclusion dependencies and their interaction with functional dependencies
• Completeness issues for join dependencies derived from the universal relation join dependency
• A complete axiomatization of full acyclic join dependencies
• Formal Systems for Tuple and Equality Generating Dependencies
• scientific article; zbMATH DE number 3876647 (Why is no real title available?)
• A formal context for acyclic join dependencies
• Appropriate inferences of data dependencies in relational databases
• Characterisations of multivalued dependency implication over undetermined universes
• A Generalization of the Inference Rules for Join Dependencies in Databases
• scientific article; zbMATH DE number 7301303 (Why is no real title available?)
• Some results on the deductive structure of join dependencies

This page was built for publication: Formal systems for join dependencies

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