### 3.7.227. Sparse functional dependency

• $\mathrm{𝚌𝚊𝚜𝚎}$,

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$.