HY, 我正在学习考试,并提出了以下问题:
取History(或附表)
H = w1[x] w2[x] w2[y] c2 w1[y] w3[x] w3[y] c3 w1[z] c1
其中w1[x]
表示:事务1写入数据对象X(r1[x]
表示读取)而c1
表示:事务1提交。
为什么这笔交易是view serializable?
对于视图可序列化,历史H必须是视图 - 等同于事务1,2,3的顺序执行。所以,进一步说,每个data-Object的最后写入必须与历史H的事务的顺序执行相同。所以H的最后写入是:
但是,在没有顺序执行的情况下,最后一次写入就像这样分发,因此历史H不能被视图序列化。
我的错误在哪里?
谢谢大家。
答案 0 :(得分:1)
好的,发现自己:最后一句如果当然错了:
事实上,顺序执行1,2,3导致了这个历史:
w1[x] w1[y] w1[z] c1 w2[x] w2[y] c2 w3[x] w3[y] c3
和follogint last-Writes:
与历史H的最后写入相同