Patent ID: 8805810
Filing Date: 2014-08-12
Classification: G06F

Abstract:
1. A method of consistency control in a distributed database system, the distributed database system comprising a database management system having a processing unit configured to implement the method, the method comprising: receiving, by an interface coupled to the processing unit of the database management system, a plurality of database transactions associated with a plurality of transaction sequences from a plurality of client systems in the distributed database system, wherein each transaction sequence indicates one or more uncommitted database transactions and each uncommitted database transaction includes one or more assertions that require consensus among a plurality of resources in the distributed database system to reconcile; detecting, by processing unit of the database management system, an inconsistency among assertions associated with two or more uncommitted database transactions from two or more transaction sequences of the plurality of transaction sequences, wherein the inconsistency indicates a lack of consensus among the plurality of resources with respect to the validity of one or more of the assertions; and processing, by the processing unit of the database management system, the two or more assertions associated with the two or more transaction sequences to generate a semantic preserving transform, wherein the semantic preserving transform, when applied to one or more of the two or more assertions, eliminates the inconsistency.