...

Here w1[x] will be undone by a2, causing lost update for T1.For

If in a schedule,

• A transaction performs a dirty read operation from an uncommitted transaction
• And its commit operation is delayed till the uncommitted transaction either commits or roll backs

then such a schedule is called as a Recoverable Schedule to be recoverable, it's necessary to read only committed data. Recoverable schedules also avoid cascading aborts.

TBD strict schedules

CC protocol WIP

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

MV2PL (S2PL vs non-S2PL)

MVOCC

MVTO

WRITE SNAPSHOT

READ SNAPSHOT https://dl.acm.org/doi/10.1145/2168836.2168853

SGT

Timestamp generation. problems / HLC / bounded clock skew

MGL extension to S-X locks

Description

// Provide the design of the solution.

...