W2(A)は
W1(A)に先行
W1(A)は
W2(A)に先行
「競合等価」ではないが「ビュー等価」である
最後にW3(A)
Aは初期値
ビュー等価であれば
がS1,S2で同じになる
途中経過は違うが、結果は同じ