User-Aware Conflict Resolution

Abstract

A large-scale system that prioritizes high availability over extensive synchroniza- tion must make a design trade-off and implement a weaker form of consistency. Conflict-free Replicated Data Types(CRDTs) can enable replicas in the sys- tem to communicate asynchronously and achieve strong eventual consistency. SynQLite aims to implement CRDTs on top of relational databases with its addition of Conflict-free Replicated Relation CRR. SynQLite enforces integrity constraints defined by an application, in a strictly automatic manner. However, enabling user-aware conflict resolution, where the user can make application specific altercation to conflict resolution, can remedy some of the limitations of the last-write-protocol used in SynQLite.