A Complete Axiomatization of Full Join Dependencies

DOI10.1145/322307.322313zbMath0485.68093OpenAlexW1978775628WikidataQ114614032 ScholiaQ114614032MaRDI QIDQ3945627

Edward Sciore

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

zbMATH Keywords

relational databasedata dependencydata models

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

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