A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations.

Catriel Beeri, Ronald Fagin, John H. Howard

Browse the full SIGMOD paper archive.