Conflict Serializable Schedule
When non-conflicting operations swap and transform into a serial schedule, the process is called conflict serializability.
Also, when the schedule is conflict equivalent, then only it is conflict serializable.
Operations of Conflicting
The operations are conflicting in the following conditions:
- Both are from different transactions.
- Both contain the same data.
- Both have minimum one write operation.
S1 and S2 should be equal logically for the swapping to take place.
The transformation from one to another takes place when conflicting operations swap in conflict equivalent. The above example shows S1 is conflict equivalent of S2, and their conversion can take place only if non-conflicting operations swap.
The schedules are conflict equivalent in the following cases:
- Same transactions are there.
- The order of the conflict operation is the same.
Schedule S2 is called serial schedule as first the operations of P1 are performed and then the operations of P2. The non-conflicting operations are swapped to transform schedule S1.
The final result after swapping S1 is: