[課業] 何謂視圖序列?

作者: gn01398532 (GOA)   2018-06-04 20:07:59
大家好,想問
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)?
大概就是不太明白視圖等價性是甚麼和怎麼找三個條件,懇請賜教,謝謝
作者: IECSWCF   2018-06-04 21:53:00
多筆交易以交錯方式執行,執行順序與原本交易的順序可能不同而造成交易衝突.衝突發生的時機:兩筆不同交易針對同一筆資料,只要任何一方有write動作,就有可能發生衝突.條件1.a略過只有t2而已,b有t2和t3讀過加上t3讀b先用t2所以要先t3後t2條件2找出不同交易間先寫a後讀a或先寫b後讀b的交易順序有先t1再t2,先t1再t3和先t3再t2條件3找出不同交易間最後一個寫a和寫b的交易順序即a有t1t2寫過且t1先於t2所以先t1在t2,而b有t1t3寫過且t3最後一個寫b所以先t1再t3以上交易順序畫成交易順序圖,因該圖無迴圈 所以為視界可序排程,其視界等價於先t1再t3後t2
作者: p19101910 (Sky)   2018-06-05 11:02:00
版主提供的1 2 3 是從哪抄下來的? 翻譯的有問題,難怪等價的定義 123 翻譯的不正確
作者: a828203 (催化劑)   2018-06-06 21:39:00
奇怪了,我畫出來是有迴圈的,T1和T3中間有迴圈,這題應該不是可序列排程吧?偷偷問一下,資料庫應用的聖經本是哪一本?https://i.imgur.com/mLSj2jB.png上面是我用小畫家畫的,畫出來是有迴圈的

Links booklink

Contact Us: admin [ a t ] ucptt.com