...

We must also take into account schedules containing aborted transactions. Such schedules can be unrecoverable: a assume some transaction depends on a data, modified by another transaction and it was committed, but another transaction was aborted. For a schedule to be recoverable, it's necessary to read only committed data. Recoverable schedules also avoid cascading aborts.

Description

// Provide the design of the solution.

...