A statement that would violate it fails with an error, and inside a transaction that failure aborts the whole transaction.
CHECK constraint
A rule on a table, such as balance_cents >= 0, that every written row must satisfy.
A statement that would violate it fails with an error, and inside a transaction that failure aborts the whole transaction.