Isolation
Even though transactions execute concurrently,
it appears to the outside observer as if they
execute in some serial order.
Isolation is required to guarantee consistent
input, which is needed for a consistent program
to provide consistent output.