如果多个事务在某个调度下的执行结果与这些事务在某种串行调度下的执行结果相同，那么这个调度成为 【12】 。