A complete axiomatization for functional and multivalued dependencies in database relationsCatriel BeeriRonald Faginet al.1977SIGMOD 1977