其技术提供了形式框架。尽管本质上是数学，但下面非正式地介绍了它的基本原理（没有数学符号）。
正确性.
可串行性.可串行性 用于保持数据项中的数据处于一致的状态。可串行性是事务排程的属性。 它与数据库事务的“隔离”属性有关。无法可串行化的调度可能会产生错误的结果。众所周知的例子是使用货币作为借贷账户的交易:如果相关的排程是不可串行化的，那么货币的总数可能不会被保留。钱可以消失，也可以凭空产生。这和其他的可能需要不变保存的是由一个事务写入造成违规一样,并且在另