Gal Badishi, Idit Keidar, et al.
IEEE TDSC
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
S. Sattanathan, N.C. Narendra, et al.
CONTEXT 2005
Preeti Malakar, Thomas George, et al.
SC 2012
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008