Definition of Functional Dependency