Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
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
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Ronald Fagin, Ravi Kumar, et al.
SIAM Journal on Discrete Mathematics