スケジュールSは厳格である
常に満たされる
S:R1(A) R1(B) W1(B) C1 R3(B) R3(C) W3(B) C3
W1(B)はR3(B),W3(B)より先行
C1またはA1は
R3(B),W3(B)より先行
厳格なスケジュールでは連鎖的アボートは発生しない