Proof procedure for data dependencies (1982)

by C BEERI, M Y VARDI
Venue:J. ACM