本文介绍了数据库并发控制中的冲突可串行性和基于封锁的可串行化实现，详细讲解了2PL协议、锁的类型及相容性矩阵。此外，还探讨了基于有效性确认的并发控制，包括事务的三个阶段和有效性确认规则，以及在Neo4j中的应用和潜在问题。
数据库系统全书（Database System the Complete Book, Second Edition.Hector Garcia-Molina.Jeffrey D. Ullman）
先上链接。这个是英文第二版的链接。其18章的内容好像和第一版没啥差别。中文书是在图书馆找的，没有链接
中文第一版阅读笔记（没找到第二版的中文书）
在研究并发控制时，读写发生在主存缓冲区中，也就是事务T放入缓存中的数据A在该缓冲区还可能被其他事务读写。
- 串行调度：事务依次执行
- 可串行化调度：一个调度对数据库的影响都和某个串行调度相同，则这个调度是可串行化的
冲突可串行性
冲突
冲突是调度中的一对连续动作。它们满足：如果二者交换顺序，则它们涉及的事务至少有一个的行为会改变。
不冲突的动作：读操作之间，对不同数据的读写等等
冲突的操作：（1）同一事物的两个动作（2）不同事物对同一元素的写写、读写、写读
如果通过交换不冲突的动作的位置，可以将调度转化为串行调度，则原调度是冲突可串行化的。
使用锁的可串行性实现
封锁调度器
当且仅当请求产生合法调度时同意请求。调度器有一个锁表，对于每个被上锁的元素，其指明当前持有
最低0.47元/天 解锁文章
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
