最初のページ
戻る
次へ
最後のページ
イメージ
スケジュールSは競合直列可能であるか?
先行グラフで検討する(p212)
トランザクションTiに対してノードN(Ti)を作成
有効エッジ(矢印)をつける N(Ti)→N(Tj)
Ri(A)がWj(A)に先行
Wi(A)がRj(A)に先行
Wi(A)がWj(A)に先行