Catriel Beeri Peter Honeyman Preserving Functional Dependencies. 647-656 1981 10 SIAM J. Comput. 3 db/journals/siamcomp/siamcomp10.html#BeeriH81