Catriel Beeri Moshe Y. Vardi Formal Systems for Tuple and Equality Generating Dependencies. 76-98 1984 13 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp13.html#BeeriV84