Fan Zhang, Junwei Cao, et al.
IEEE TETC
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.
Fan Zhang, Junwei Cao, et al.
IEEE TETC
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