database - "conflict serializable"和 "conflict equivalent"有什么区别？

Question

在数据库理论中，“冲突可序列化”和“冲突等价”有什么区别？

我的教科书有一节是关于冲突可序列化的，但掩盖了冲突等价性。这些可能都是我熟悉的概念，但我不熟悉术语，所以我正在寻找解释。

Answer 1

DBMS 中的冲突可以定义为两个或多个不同的事务访问同一变量并且其中至少一个是写操作。

例如:

T1: Read(X)   
T2: Read (X)

在这种情况下，没有冲突，因为两个事务都只执行读取操作。

但是在下面的情况下:

T1: Read(X)   
T2: Write(X)

有冲突。

假设我们有一个调度 S，我们可以重新排序其中的指令。并创建另外 2 个时间表 S1 和 S2。

冲突等效:指的是调度S1和S2，它们在两个调度中维护冲突指令的顺序。例如，如果 T1 必须在 T2 将 X 写入 S1 之前读取 X ，那么它在 S2 中也应该相同。 (只应为冲突的操作维护顺序)。

冲突可串行化:如果 S 冲突等同于串行调度(即事务一个接一个地执行)，则它被称为冲突可串行化。