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

摘要

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

主权项

1.一种系统，包括：一个或多个处理器，被配置为：执行多个事务，包括当前事务和一个或多个并发事务；其中：所述当前事务具有当前开始时间和当前目标提交时间，并且所述一个或多个并发事务是在当前开始时间之后并且在当前目标提交时间之前的对应的一个或多个中间时间被提交到数据模型的； 执行提交处理检查以确定是否能够与有关于数据模型中的数据的一个或多个约束的集合一致地提交所述当前事务，提交处理检查至少部分地基于：作为从当前开始时间之时起数据模型的至少一部分的快照的对应于所述当前事务的快照；以及所述一个或多个并发事务对数据模型所作的一个或多个改变， 在确定为能够与有关于数据模型中的数据的一个或多个约束的集合一致地提交所述当前事务的情况下，提交所述当前事务；以及 在确定为不能够与有关于数据模型中的数据的一个或多个约束的集合一致地提交所述当前事务的情况下，中止所述当前事务；以及耦合到所述一个或多个处理器的一个或多个存储器，被配置为所述一个或多个处理器提供指令。