Made definition of functional dependency more accurate