最初のページ 戻る 次へ 最後のページ イメージ

連鎖的アボートが発生

S:R1(A) R1(B) W1(B)  R3(B) R3(C) W3(B) C1C3

C1でコミットできれば問題はなさそう

トランザクションT1がアボートした

S:R1(A) R1(B) W1(B)  R3(B) R3(C) W3(B) A1C3A3

W1(B)はなかったことにする

値Bで処理したトランザクションT3はコミットできない

T1だけでなくT3もアボートする