What is meant by computing the closure of a set of functional dependency?
The closure of F denoted by F^{+} is the set of functional dependencies logically implied by F.