Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
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.
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
B. Wagle
EJOR