A proof procedure for data dependencies (1984)

by C BEERI, M Y VARDI
Venue:Journal of the ACM