Isolation
Intuitively, the effect of a set of transactions should be the same as if they ran independently
Formally, an interleaved execution of transactions is serializable if its effect is equivalent to a serial one.
Implies a user view where the system runs each user’s transaction stand-alone.
Of course, transactions in fact run with lots of concurrency, to use device parallelism.