•To make isolation precise, we say that an execution is serializable when
•There exists some serial (ie batch, no overlap at all) execution of the same transactions which has the same final state
–Hopefully, the real execution runs faster than the
serial one!
•NB: different serial txn orders may behave differently; we ask that some serial order produces the given state
–Other serial orders may
give different final states