3.7.103. Functional dependency

A constraint that allows for representing a functional dependency between two domain variables. A variable X is said to functionally determine another variable Y if and only if each potential value of X is associated with exactly one potential value of Y.