具有快照隔离的基于约束的一致性

摘要

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

主权项

一种确保与数据模型有关的并发事务的一致性的方法，所述方法包括：提供与所述数据模型中的数据有关的约束的集合；执行至少两个事务，其中，所述至少两个事务中的每一个具有对应的开始时间，并且依赖于从开始时间之时起所述数据模型的部分或全部对应快照；其中，所述至少两个事务中的当前事务具有当前开始时间和当前目标提交时间，并且其中，在所述当前开始时间之后并且在所述当前目标提交时间之前的一个或更多个中间时间，所述至少两个事务的一个或更多个并发事务已经提交给所述数据模型；执行提交处理检查，提交处理检查自动地确定是否能够与至少来自a）所述当前事务的快照和b）所述一个或更多个并发事务对所述数据模型所作的改变这两者的约束的集合一致地提交所述当前事务；如果能够使得所述当前事务与约束的集合一致，则自动地提交所述当前事务；以及如果不能使得所述当前事务与约束的集合一致，则自动地中止所述当前事务。