数据库理论:交易可序列化

时间:2010-08-27 13:49:47

标签: database theory equivalence

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的最后写入是:

  • x和y的转换3和
  • 转换1 for z

但是,在没有顺序执行的情况下,最后一次写入就像这样分发,因此历史H不能被视图序列化。

我的错误在哪里?

谢谢大家。

1 个答案:

答案 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:

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

与历史H的最后写入相同