...

Until now we have talked about schedules having only committed transactions. We must also take into consideration schedules containing aborted transactions (it can happen also due to internal error or a crash), which brings the recoverability notion. 

...

So, S is the strict schedule which is not serializable.

TBD schedules diagram treeThis theorethical insight will come in handy then reasoning about CC protocol. We will look for a CC protocol producing strict serializable schedules.

CC protocol WIP

A CC protocol ensures that only schedules with desirable properties are generated.

...