概念
|
解释
|
等价
|
设Im和In是调度S的两条连续指令。若Im和In属于不同的事务且不冲突,则可以交换Im和In的顺序得到一个新的调度S’,并称S与S’是等价的。
|
冲突等价
|
如果调度S可以经过一系列非冲突指令交换变成调度S’,则称S与S’是冲突等价的。
|
冲突可串行化
|
称一个调度S是冲突可串行化的,是指该调度S与一个串行调度冲突等价。
|
视图等价
|
考虑两个调度S和S’,其中参与两个调度的事务集是相同的。若调度S和S’满足下面三个条件,则称S和S’是视图等价的:
⑴对于每个数据项Q,若事务Ti在调度S中读取了Q的初始值,那么Ti在调度S’中也必须读取Q的初始值;
⑵对于每个数据项Q,若事务Ti在调度S中执行了read(Q)并且读取的值是由Tj产生的(write(Q)),则TI在调度S’中读取的值也必须是由Tj产生的(write(Q));
⑶对于每个数据项Q,若在调度S中有事务执行了最后的写操作write(Q),则在调度S’中该事务也必须执行最后的写操作write(Q)。
|
视图可串行化
|
如果某个调度视图等价于一个串行调度,则说这个调度是视图可串行化的。
|