Looking for an article about the closure algorithm of functional dependency. I need to prove that the result of the algorithm is a covering of the given attributes.

0