### 3.7.200. Pure functional dependency

A constraint for which the meaning is completely captured by one or more functional dependancies. The negation of such constraints can be directly expressed as a disjunction between the different functional dependancies. We illustrate this point on different examples: