A1でよりトランザクションT1はアボート
R2(A)でAを読み込むトランザクションT2はC2でコミット
R3(A)でAを読み込むトランザクションT3はアボート
連鎖的アボート
正しくない値で
処理してコミット
トランザクションT1,T2,T3は二相ロッキングプロトコルに従っている
このような問題を避けるには
厳格な二相ロッキングプロトコル
を採用する