Formal systems for join dependencies

DOI10.1016/0304-3975(85)90212-9zbMath0586.68083OpenAlexW2065156249WikidataQ114683728 ScholiaQ114683728MaRDI QIDQ1071524

Moshe Y. Vardi, Catriel Beeri

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

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

Related Items

A complete axiomatization of full acyclic join dependencies, 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for database dependencies
• Formal Systems for Tuple and Equality Generating Dependencies
• A Proof Procedure for Data Dependencies
• On the menbership problem for functional and multivalued dependencies in relational databases
• Equivalence of Relational Database Schemes
• A Complete Axiomatization of Full Join Dependencies
• Equivalences among Relational Expressions