A rule used by the SQL compiler to improve query performance without requiring additional data verification. See also constraint.