Functional dependency is a property of the meaning or semantics of the attributes in a relation. The semantics indicate how attributes relate to one another, and specify the func- tional dependencies between attributes. When a functional dependency is present, the dependency is specified as a constraint between the attributes.