The computation of closures of dependencies in relational database schemata design. - R. Dabh (1984)