Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
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.
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering