ACID as four separate guarantees, what a rollback really undoes, and why the write-ahead log exists.
A transaction makes several statements succeed or fail as one; ACID names the four separate guarantees that make that promise mean something, and the write-ahead log is how the database keeps it through a crash.