スケジュールSは回復可能である
常に満たされる
S:R1(A) R1(B) W1(B) C1 R3(B) R3(C) W3(B) C3
R3(B)はW1(B)で書かれた値
C3でコミットする前に
C1でコミット