•If programmer writes
applications so each txn is consistent
•And DBMS provides
atomic, isolated, durable execution
–Ie actual
execution has same effect as some serial execution of those txns that committed (but not those that aborted)
•Then the final state
will satisfy all the integrity constraints