Schedule S3
is a serial schedule and, since S1
and S2
are equivalent to S3, S1
and S2
are serializable schedules.
This type of serializability is known as conflict serializability. A conflict serializable
schedule orders any conflicting operations in the same way as some serial execution.