可串行化调度
多个事务从宏观上看是并行执行的，但其微观上是并行执行的
可串行性：串行肯定是正确的，执行结果等价于串行调度 且 结果也正确的调度 == 可串行化调度
冲突可串行性：交换2个 没有冲突的操作 最终变成 串行调度
满足冲突可串行性，一定满足 可串行性！可串行性 不一定满足 冲突可串行性
(观测可串行化调度 等价于 某个可串行化调度)
（观测可串行化调度 不一定是 冲突可串行化调度）
读写 与 冲突
冲突：
事务相同（下标相同）：一个在写，一个在读 【同一个事物，读写不能互换，程序员规定的】
处理对象相同（操作对象），一读一写、写写 【同一个对象，一读一写，两写 都不能互换】
有向无环图，拓扑算法检验.