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