事务通常是并发执行的（重叠的），因这是最有效的方法。自20世纪70年代早期以来，在大多数数据库系统(以各种变体)中都使用了一种流行的可串行机制——强两阶段加锁(SS2PL)。可串行性理论（）为推理和分析可串行化及其技术提供了形式框架。尽管本质上是数学，但下面非正式地介绍了它的基本原理（没有数学符号）。
正确性.
可串行性.可串行性 用于保持数据项中的数据处于一致的状态。可串行性是事务排程的属性。 它与数据库事务的“隔离”属性有关。无法可串行化的调度