A1でよりトランザクションT1はアボート
R2(A)でAを読み込むトランザクションT2はC2でコミット
R3(A)でAを読み込むトランザクションT3はC3でコミット
連鎖的アボートは発生しない
正しい値で処理
トランザクションT1,T2,T3は厳格な二相ロッキングプロトコルに従っている
Aは更新していないが、
データベースの整合性保たれている限り
Aは正しい値と考える