When a constraint is checked.
Checked at the end of the transaction.
Deferrable, but checked per statement unless deferred explicitly.
Always checked per statement.
When a constraint is checked.