Fan Zhang, Junwei Cao, et al.
IEEE TETC
Paper
A simple characterization of database dependency implication
Abstract
A simple and elegant set-theoretic characterization is given as to when a given set of functional and multivalued dependencies logically implies a given functional or multivalued dependency. A simple proof of the characterization is given which makes use of a result of Sagiv, Delobel, Parker, and Fagin (1981). © 1986.
Related
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006