Consistency

A transaction moves the database from one valid state to another valid state, and if the transaction is prematurely terminated, the database is returned to its previous valid state.