Gal Badishi, Idit Keidar, et al.
IEEE TDSC
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.
Gal Badishi, Idit Keidar, et al.
IEEE TDSC
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010