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

by A K Chandra, M Y Vardi
Venue:SIAM J. Comput