Serializability
- X < Y
means that X precedes Y in a serialization order
equivalent to the schedule.
- T1 < T2:
Because T2 reads the value of A written by T1.
- T2 < T1:
Because T1 reads the value of B written by T2.
- There is no serial schedule, (i.e. permutation of the transactions), that has both
T1 < T2 and T2 < T1.
|