Demetrovics, Thi, 1993. Algorithms for Generating an Armstrong Relation and Inferring Functional Dependencies in the Relational Datamodel 26.. https://doi.org/10.1016/0898-1221(93)90033-r