查看Serializable和冲突可序列化

Question

我正在阅读关于交易时间表的可序列化,因此阅读conflict serializable和view serializable安排.

现在因为冲突序列化比视图可序列化更严格,很明显会有视图可序列化但不能冲突序列化的调度.在本书中我读了以下内容:

盲写出现在任何视图可序列化的计划中,但不会出现可串行化的冲突.

我一直试图提出上述陈述的证据但却无法做到.

我的问题是:是否有上述陈述的正式证据？

Answer 1

盲写是指一个事务写入数据库，而不读取数据库变量。

这意味着，如果我们知道数据库变量名称。如果我们使用该变量编写一些值。

交易如下，即盲写。

例子：-

Transaction T1                           Transaction T2

  Write(X)
                                            Write(X)
  Write(Y)
                                            Write(Y)

在上面的例子中，我们没有读取变量X，但是我们正在写入X。

如果我们在不使用旧值的情况下写入数据库，则不存在可串行性冲突。在这里我们必须替换数据库中的旧值。盲写是在两个事务中使用相同的数据库变量名完成的。此时它也是可序列化的。