Returning to our previous examples, note that the precedence graphs for
schedules 1 and 2 (Figure 14.10) indeed do not contain cycles. The precedence
graph for schedule 4 (Figure 14.11), on the other hand, contains a cycle, indicating
that this schedule is not conflict serializable.