All or nothing transactions
Valid state transitions
Parallel execution safety
Commits survive crashes