A Complete Axiomatization of Full Join Dependencies
From MaRDI portal
Publication:3945627
DOI10.1145/322307.322313zbMath0485.68093OpenAlexW1978775628WikidataQ114614032 ScholiaQ114614032MaRDI QIDQ3945627
Publication date: 1982
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322307.322313
Related Items (19)
A complete axiomatization of full acyclic join dependencies ⋮ A Generalization of the Inference Rules for Join Dependencies in Databases ⋮ Completeness issues for join dependencies derived from the universal relation join dependency ⋮ Structure of closures in relational schemas with join and functional dependencies ⋮ Finite approximatization of languages for representation of system properties: Axiomatization of dependencies ⋮ Relational decomposition and structural analysis of systems ⋮ Adequacy of decompositions of relational databases ⋮ Characterisations of multivalued dependency implication over undetermined universes ⋮ Testing arbitrary subhypergraphs for the lossless join property ⋮ Inferring multivalued dependencies from functional and join dependencies ⋮ Algebraic dependencies ⋮ A universal formalism to express decompositions, functional dependencies and other constraints in a relational database ⋮ Generating hinges from arbitrary subhypergraphs ⋮ Inferring null join dependencies in relational databases ⋮ Another view of functional and multivalued dependencies in the relational database model ⋮ Characterization of Optimal Complements of Database Views Defined by Projection ⋮ Some results on the deductive structure of join dependencies ⋮ Formal systems for join dependencies ⋮ The implication and finite implication problems for typed template dependencies
This page was built for publication: A Complete Axiomatization of Full Join Dependencies