如果事务都遵循两段锁协议,则这些事务的任何并发调度都是可串行化的
出自:计算机科学