Generalized reconciliation in a distributed database
View Patent ↗Embodiments of the present disclosure include systems and methods for generalized consistency control of database transactions in a distributed database. In distributed database systems a specific reconciliation procedure is typically needed and coded for each possible irresolvable event. The systems and methods described herein enable a general characterization of multiple types of irresolvable events and thus eliminate and/or reduce the need to write individual code for every specific event.
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.
2. The method of claim 1 , further comprising:
reconciling, by the processing unit of the database management system, the database transactions by applying the semantic preserving transform to the one or more of the assertions.
3. The method of claim 1 , wherein the semantic preserving transform indicates a modification that, when applied to the one or more assertions, eliminates the inconsistency.
4. The method of claim 1 , wherein the two or more transaction sequences of the plurality of transaction sequences are reconciled into a global transaction sequence.
5. The method of claim 1 , further comprising:
processing, by the processing unit of the database management system, a set of rules to generate the semantic preserving transform.
6. The method of claim 5 , wherein the set of rules comprise generalized instructions for processing the two or more assertions associated with the two or more transactions sequences to generate the semantic preserving transform.
7. The method of claim 1 , further comprising:
sending, by the interface coupled to the processing unit of the database management system, a message to one or more of the client systems associated with the two or more assertions associated with the two or more transaction sequences to solicit user input for resolving the inconsistency; and
receiving, by the interface coupled to the processing unit of the database management system, a response indicating the user input.
8. The method of claim 7 , further comprising:
processing, by the processing unit of the database management system, the user input and the two or more assertions associated with the two or more transaction sequences to generate the semantic preserving transform.
9. The method of claim 1 , wherein the resources comprise other database management systems in the distributed database system.
10. The method of claim 1 , wherein the resources comprise storage management systems in the distributed database system.
11. 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:
detecting, by the processing unit of the database management system, an inconsistency among assertions associated with two or more database transactions from two or more transaction sequences of a 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;
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; and
reconciling, by the processing unit of the database management system, one or more uncommitted database transactions by applying the semantic preserving transform to the one or more assertions.
12. The method of claim 11 , further comprising:
receiving, by an interface coupled to the processing unit of the database management system, the plurality of database transactions associated with the plurality of transaction sequences from a plurality of client systems in the distributed database system, wherein each transaction sequence indicates the 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.
13. The method of claim 11 , wherein the semantic preserving transform indicates a modification that, when applied to the one or more assertions, eliminates the inconsistency.
14. The method of claim 11 , wherein the two or more transaction sequences of the plurality of transaction sequences are reconciled into a global transaction sequence.
15. The method of claim 11 , further comprising:
processing, by the processing unit of the database management system, a set of rules in addition to the two or more assertions to generate the semantic preserving transform.
16. The method of claim 15 , wherein the set of rules comprise generalized instructions for processing the two or more assertions associated with the two or more transactions sequences to generate the semantic preserving transform.
17. The method of claim 11 , further comprising:
sending, by an interface coupled to the processing unit of the database management system, a message to one or more of the client systems associated with the two or more assertions associated with the two or more transaction sequences to solicit user input for resolving the inconsistency; and
receiving, by the interface coupled to the processing unit of the database management system, a response indicating the user input.
18. The method of claim 17 , further comprising:
processing, by the processing unit of the database management system, the user input and the two or more assertions associated with the two or more transaction sequences to generate the semantic preserving transform.
19. A database management system comprising:
a processing unit;
an interface configured to receive 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;
a memory unit having instructions stored thereon, wherein the instructions, when executed by the processing unit, cause the processing unit to detect an inconsistency among assertions associated with two or more uncommitted database transactions from two or more transaction sequences of the plurality of transaction sequences, and process 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.
20. The database management system of claim 19 , 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.
21. The database management system of claim 19 , wherein the instructions, when executed by the processing unit, further cause the processing unit to:
reconcile the uncommitted database transactions by applying the semantic preserving transform to the one or more of the assertions.
22. The database management system of claim 21 , wherein the semantic preserving transform indicates a modification that, when applied to the one or more assertions, eliminates the inconsistency.
23. The database management system of claim 19 , wherein the two or more transaction sequences of the plurality of transaction sequences are reconciled into a global transaction sequence.
24. The database management system of claim 19 , wherein the instructions, when executed by the processing unit, further cause the processing unit to:
process a set of rules in addition to the two or more assertions to generate the semantic preserving transform.
25. The database management system of claim 24 , wherein the set of rules comprise generalized instructions for processing the two or more assertions associated with the two or more transactions sequences to generate the semantic preserving transform.
26. The database management system of claim 25 , wherein the interface is further configured to:
sending a message to one or more of the client systems associated with the two or more assertions associated with the two or more transaction sequences to solicit user input for resolving the inconsistency; and
receive a response indicating the user input.
27. The database management system of claim 26 , wherein the instructions, when executed by the processing unit, further cause the processing unit to:
process the user input and the two or more assertions associated with the two or more transaction sequences to generate the semantic preserving transform.
28. A database management system comprising:
means for detecting an inconsistency among assertions associated with two or more database transactions from two or more transaction sequences of a 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;
means for processing 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; and
means for reconciling uncommitted database transactions by applying the semantic preserving transform to the one or more assertions.