On the Structure of Armstrong Relations for Functional DependenciesCatriel BeeriMartin Dowdet al.1984Journal of the ACM