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