最初のページ
戻る
次へ
最後のページ
画像
S1:
R1(A)
R2(A)
W2(A)
R1(B)
C1 R2(B)
W2(B)
C2
S2:
R1(A)
R1(B)
C1 R2(A)
W2(A)
R2(B)
W2(B)
C2
R1(B)は
W2(B)に先行
R1(B)は
W2(B)に先行
すべてのR,Wについて満足するので「競合等価」
R1(A)は
W2(A)に先行
R1(A)は
W2(A)に先行
スケジュールS1,S2は
読み込む値A,B
データベースの状態
が一致している