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 ...