数据库系统 串行化 各种概念的总结

冲突可串行： 冲突的优先图

观测可串行化： 观测等价于某个可串行化调度

- 观测等价：
两个调度S1和S2
1. T_i在S1中读A的初始值，那么在S2中也读A的初始值
2. 如果在S1中读到的是T_j写的A，那么在S2中也必须读T_j写的A
3. 如果S1执行了最后一次对A的写，那么S2也必须执行最后一次对A的写

严格的：在一个事务写入的值在其提交或者中止之前没有其他事务读或者写

可恢复的： 如果一个事务读了由另一些事务修改的数据，那么他的提交必须放在另一些事物的提交之后

避免级联中止的： 如果事务仅读已提交事务修改的数据，那么是避免级联终止的。