The rule that no two values in a primary key or key of a unique index can be the same. See also constraint.