Functional dependency

A functional dependency is a constraint between two sets of attributes from a database.

An attribute X is said to functionally determine another attribute Y (X->Y) if and only if each X value is associated with precisely one Y value.