functional dependency overview 63561