The final result of these swaps, schedule 6 of Figure 14.8, is a serial schedule.
Note that schedule 6 is exactly the same as schedule 1, but it shows only the
read and write instructions. Thus, we have shown that schedule 3 is equivalent
to a serial schedule. This equivalence implies that, regardless of the initial system
state, schedule 3 will produce the same final state as will some serial schedule.