填空题
检查一个死锁有两种方法：一种是（），只要一个事务等待时间超过规定时间，就认为并发系统有死锁存在；另一种方法是（）。
超时法；等待图法
填空题 满足（）、（）以及（）的调度都是可串行化的。
填空题 判断是一个调度是否正确的标准是（）。
填空题 引起数据不一致的主要原因是事务的（）在并发中遭到了破坏。
