THIS IS A TEST INSTANCE. ALL YOUR CHANGES WILL BE LOST!!!!
...
A CC protocol ensures that only schedules with desirable properties are generated. We will look for a CC protocol producing serializable schedules. We It is also desirable it to be strict for ease of recovery and absence of cascading aborts.
...