填空题 判断一个并发调度是否正确，可以用（）概念来解决。

填空题 事务的执行次序称为（）。

填空题 锁（lock）描述了数据项的状态，其作用是使（）。