The effect of executing n concurrent transactions is the same as the effect of executing them serially in some order.

For assessing the correctness of concurrency control methods, need a test to check whether it produces serializable schedules.

A failed transaction should not affect the ability to recover the system to a consistent state.

This can be ensured if transactions commit only after all transactions whose changes they read commit.