Catriel Beeri Alberto O. Mendelzon Yehoshua Sagiv Jeffrey D. Ullman Equivalence of Relational Database Schemes. 352-370 1981 10 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp10.html#BeeriMSU81