On the Structure of Armstrong Relations for Functional DependenciesCatriel BeeriMartin Dowdet al.1984Journal of the ACM
A complete axiomatization for functional and multivalued dependencies in database relationsCatriel BeeriRonald Faginet al.1977SIGMOD 1977