The implication problem for functional and inclusion dependencies is undecidable (1985)

by Ashok K Chandra, Moshe Y Vardi
Venue:SIAM Journal on Computing