Computation of functional dependencies