• I.e., the actual, concurrent, interleaved execution must produce results as if the transactions run in isolation, one at a time.

  • THIS IS DIFFICULT!