检查一个死锁有两种方法：一种是（），只要一个事务等待时间超过规定时间，就认为并发系统有死锁存在；另一种方法是（）。

满足（）、（）以及（）的调度都是可串行化的。

填空题满足（）、（）以及（）的调度都是可串行化的。

判断是一个调度是否正确的标准是（）。

填空题判断是一个调度是否正确的标准是（）。

引起数据不一致的主要原因是事务的（）在并发中遭到了破坏。

填空题引起数据不一致的主要原因是事务的（）在并发中遭到了破坏。