用于确保与数据模型有关的并发事务的一致性的系统和方法

摘要

公开了具有快照隔离的基于约束的一致性。通过识别对于正确应用行为而言需要满足的约束来提供并发原子事务的高效处理。利用这些所识别的约束，用于事务的提交处理于是可以引用约束，以查看在所述约束的情况下提交当前事务是否引起问题。如果存在与所述约束的冲突，则事务中止。如果不存在与所述约束的冲突，则事务提交。