如果事务具有一致性，多个事务并发执行的整体效果等价于某一次序下事务串行执行的效果，那么该并发调度将保持数据库的（ ）状态。