A Complete Axiomatization of Full Join Dependencies
Edward Sciore · Journal of the ACM · 1982
Properties of join dependencies are discussed, along wRh the dlfficuRles arising m their axlomaUzaUon The notion of jom dependency ~s generalized, and a set of axioms for these new dependenoes ts presented.A sunulat~on of the chase procedure Is used to show that this set is complete for full jom dependencies.