数据库时间戳排序协议

学习笔记，Mark一下

数据库原理（P384）

 

 

 

 

 

 

 

 

 

 

2019.07.02 update

15-17调度3满足时间戳协议证明如下：

 

 

存在满足两阶段封锁协议却不满足时间戳协议的调度，反之亦然。

尚存疑问，手写证明如下(觉得满足时间戳不满足两阶段封锁有问题或者不完善)：

 

 

2019.07.04 update 2.0

解决满足时间戳但不满足两阶段封锁协议的调度：