"Commit" and "Abort"
A transactions which only READs expects DB to be consistent, and cannot cause it to become otherwise.
When a transaction which does any WRITE finishes, it must either
- COMMIT: "I'm done and the DB is consistent again" OR
- ABORT: "I'm done but I goofed: my changes must be undone."