Ashok K. Chandra Moshe Y. Vardi The Implication Problem for Functional and Inclusion Dependencies is Undecidable. 671-677 1985 14 SIAM J. Comput. 3 db/journals/siamcomp/siamcomp14.html#ChandraV85