You can use DEFERRABLE INITIALLY DEFERRED constraints so that the check happens when the transaction is committed.