多个事物在某个调度下的执行是正确的，是能保证数据库一致性的，当且仅当该调度是（）。