[課業] 何謂視圖序列?

[gn01398532 (GOA)]

大家好，想問

1. 何謂交易的衝突?

我的理解:

就是不同筆交易對同一個資料項目做Read和Write的時間先後，

可能看到(還是執行)的結果不同?


2. 一個n筆交易的可序列化排程，是否可分成最多n!個序列排程?

3. 何謂景觀等價(view equivalent?)

這題對我來說很抽象，為何是限制較少的排程等價性定義?

要滿足此等價性，有三個條件:

(1)排程s1和s2，第一個read的交易相同

(2)兩排程，其read到其他交易write過的執行順序相同

(3)最後write各資料項目的交易(為何是給下一個排程read的值)

不懂為何要滿足此三條件，以及找出的視界等價性序列的呈現結果為何是視界等價?

例題:
https://goo.gl/nf1rQb 就像這題，若要做景觀等價序列

像T3就有兩個WRITE(B)，要怎麼判斷三個條件?
然後T2的READ(B)，要滿足第(2)的條件是要看T3還是T1的READ(B)?


大概就是不太明白視圖等價性是甚麼和怎麼找三個條件，懇請賜教，謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 59.102.181.58
※ 文章網址: https://www.ptt.cc/bbs/Examination/M.1528114083.A.817.html
推 IECSWCF: 多筆交易以交錯方式執行,執行順序與原本交易的順序可能不
→ IECSWCF: 同而造成交易衝突.衝突發生的時機：兩筆不同交易針對同一
→ IECSWCF: 筆資料,只要任何一方有write動作，就有可能發生衝突.
推 IECSWCF: 條件1.a略過只有t2而已,b有t2和t3讀過加上t3讀b先用t2所
→ IECSWCF: 以要先t3後t2
推 IECSWCF: 條件2找出不同交易間先寫a後讀a或先寫b後讀b的交易順序有
→ IECSWCF: 先t1再t2，先t1再t3和先t3再t2
唐老師寫了w1(A)->r2(A)，W1(B)->r2(B),W1(A)->R2(B)
所以是不是他寫錯或漏寫W3(B)->R2(B)  難怪我覺得怪怪的
→ IECSWCF: 條件3找出不同交易間最後一個寫a和寫b的交易順序即a有t1t
→ IECSWCF: 2寫過且t1先於t2所以先t1在t2,而b有t1t3寫過且t3最後一個
→ IECSWCF: 寫b所以先t1再t3
→ IECSWCF: 以上交易順序畫成交易順序圖,因該圖無迴圈 所以為視界可
→ IECSWCF: 序排程，其視界等價於先t1再t3後t2
→ p19101910: 版主提供的1 2 3 是從哪抄下來的? 翻譯的有問題，難怪
→ p19101910: 等價的定義 123 翻譯的不正確
定義是高點唐箏老師的講義，跟聖經本的好像不一樣
※ 編輯: gn01398532 (59.102.181.58), 06/05/2018 14:54:04
→ a828203: 奇怪了，我畫出來是有迴圈的，T1和T3中間有迴圈，
→ a828203: 這題應該不是可序列排程吧?
→ a828203: 偷偷問一下，資料庫應用的聖經本是哪一本?
推 a828203: https://i.imgur.com/mLSj2jB.png
→ a828203: 上面是我用小畫家畫的，畫出來是有迴圈的