学习笔记，Mark一下
数据库原理（P384）
2019.07.02 update
15-17调度3满足时间戳协议证明如下：
存在满足两阶段封锁协议却不满足时间戳协议的调度，反之亦然。
尚存疑问，手写证明如下(觉得满足时间戳不满足两阶段封锁有问题或者不完善)：
2019.07.04 update 2.0
解决满足时间戳但不满足两阶段封锁协议的调度：
