M.Y.: A Proof Procedure for Data Dependencies (0)

by C Beeri, Vardi
Venue:J. ACM