数据库理论 : Transaction serializability

Question

你好，我正在为我的考试学习并解决了以下问题:

取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 ？

对于 View 序列化，历史 H 必须是 View 等效于事务 1、2、3 的顺序执行。因此，进一步地，每个数据对象的最后写入必须与历史 H 事务的顺序执行中的相同。因此 H 的最后写入是:

• x 和 y 的翻译 3
• z 的翻译 1

但是，在没有顺序执行的情况下，最后的写入是这样分布的，因此 History H 不能被 View 序列化。

我的错误在哪里？

谢谢大家

Answer 1

好吧，发现自己:最后一句如果当然错了:

事实上顺序执行 1,2,3 导致了这个历史:

w1[x] w1[y] w1[z] c1   w2[x] w2[y] c2    w3[x] w3[y] c3

和 follogint 最后写入:

• x 和 y 的交易 3 和
• z 的交易 1

这与History H的最后一次写入相同