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

relational databasestuple generating dependenciesimplication problem for join dependencies

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• On the menbership problem for functional and multivalued dependencies in relational databases
• The decision problem for database dependencies

Cited in

(11)

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