transactions - 查看可序列化和冲突可序列化

Question

我正在阅读事务计划中的可序列化性，因此阅读了 conflict serializable和 view serializable时间表。

现在因为冲突可序列化比 View 可序列化更严格，所以很明显会有 View 可序列化但冲突可序列化的调度。 在书中我读到了以下内容:

Blind writes appear in any schedule that is view serializable but not conflict seralizable.

我一直试图提出上述陈述的证明，但无法做到。

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

Answer 1

View 可序列化调度的主要思想是事务的每个读操作都应该读取所​​有调度中相同写操作的结果，从而具有相同的数据库“ View ”。

对于不可冲突序列化但可序列化 View 的调度，调度中存在冲突，但维护数据库的“ View ”。这意味着每个读取操作跨调度读取相同的结果/值，并且冲突操作是写入。由于冲突操作不会改变数据库的 View ，这一定意味着写入操作是盲目的，因为它们不会通过从数据库读取更新或旧值来写入新值或不同值。因此，这些操作必须是盲写。