3.7.227. Sparse functional dependency

A constraint that allows for representing a functional dependency between two domain variables, where both variables have a restricted number of values. 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.