題組內容

五、若 Wi(M)表示一個交易 Ti 將名為 M 的資料寫入資料庫中,Ri(M)表示一個交易 T,將名 為 M 的資料庫資料讀入程式變數中,Ci 代表交易 Ti 已提交(Commit)。下面此一排程 R1(X),R2(Y),W1(X),W2(Y),R3(Y),R1(Y),C2,W4(X),W3(Y),C3,W1(Y),W4(Y),C4,C1 是否具有以下性質,並說明原因:

⑸嚴謹性(Strict)(4 分)