阿摩線上測驗 登入

申論題資訊

試卷:102年 - 102 高等考試_二級_資訊處理:高等資料庫設計#44068
科目:高等資料庫設計
年份:102年
排序:0

題組內容

五、若 Wi(M)表示一個交易 Ti 將名為 M 的資料寫入(Write)資料庫中,Ri(M)表示一個 交易 Ti 將名為 M 的資料讀入(Read)程式變數中,若一個資料交易包括有三筆資 料變數 X、Y、Z 和三個交易 T1、T2、T3,每個交易在執行完最後一個動作就會立 刻提交(Commit),交易 T1、T2、T3 如下: 
 T1:R1(X),W1(X),R1(Y),W1(Y) 
 T2:R2(Z),R2(X),W2(X),R2(Y),W2(Y)
 T3:R3(Y),R3(Z),W3(Y),W3(Z) 
 下列有三個和交易 T1、T2、T3 的排程分別為 S1、S2、S3,其執行情形如下: 
 S1:R3(Y),R3(Z),R1(X),W3(Y),W1(X),R2(Z),W3(Z),R2(X),W2(X),R1(Y),R2(Y), W1(Y),W2(Y) 
 S2:R1(X),W1(X),R1(Y),W1(Y),R3(Y),R3(Z), W3(Y),W3(Z),R2(Z),R2(X),W2(X), R2(Y),W2(Y) 
 S3:R3(Y),R3(Z),R1(X),W1(X),W3(Y),W3(Z), R2(Z),R2(X),W2(X),R1(Y),W1(Y), R2(Y),W2(Y)

申論題內容

⑵請分別說明 S1、S2 和 S3 是否為衝突可序性(Conflict-Serializable)?若是的話, 請給一個等價可序性執行順序。(6 分)