Formal systems for join dependencies

https://doi.org/10.1016/0304-3975(85)90212-9Get rights and content
Under an Elsevier user license
open archive

Abstract

We investigate whether a sound and complete formal system for join dependencies can be found. We present a system that is sound and complete for tuple generating dependencies and is strong enough to derive join dependencies from join dependencies using only generalized join dependencies in the derivation. We also present a system that sound and complete for tuple generating dependencies and is complete for extended join dependencies (which are a special case of generalized join dependencies). Finally, we construct a Gentzen-style system that is sound and complete for join dependencies. The last two systems have unbounded inference rules.

Keywords

Database
relational model
join dependency
implication problem
formal system

Cited by (0)

Research partially supported by Grant 1849/79 of the U.S.A.-Israel Binational Science Foundation. Current address: Center for Study of Language and Information, Ventura Hall, Stanford University, Stanford, CA 94305, U.S.A.