THIS IS A TEST INSTANCE. ALL YOUR CHANGES WILL BE LOST!!!!
...
This theorethical insight will come in handy then reasoning about CC protocol. We will look for a CC protocol producing strict serializable schedules.
A CC protocol ensures that only schedules with desirable properties are generated. We will look for a CC protocol producing serializable schedules. We is also desirable it to be strict for ease of recovery and absence of cascading aborts.
MV2PL (S2PL vs non-S2PL)
MVOCC
...