Serializability

BEGIN TRANSACTION

x := 0;

x := x + 1;

END TRANSACTION

BEGIN TRANSACTION

x := 0;

x := x + 2;

END TRANSACTION

BEGIN TRANSACTION

x := 0;

x := x + 3;

END TRANSACTION

Schedule is serial if the steps of each transaction occur consecutively.

Schedule is serializable if its effect is “equivalent” to some serial schedule.

Previous slide

Next slide

Back to first slide

View graphic version