Composition of State-based CRDTs

Citation:
Moreno CB, Almeida PS, Cunha A, Ferreira C.  2015.  Composition of State-based CRDTs.

Report Date:

05/25

Abstract:

State-based CRDTs are rooted in mathematical structures called join-semilattices (more simply lattices, in this context). These order structures ensure that the replicated states of the defined data types evolve and increase in a partial order in a sufficiently defined way, so as to ensure that all concurrent evolutions can be merged deterministically. In order to build, or understand the building principles, of state-based CRDTs it is necessary to understand the basic building blocks of the support lattices and how lattices can be composed.

Citation Key:

2294
PreviewAttachmentSize
crdtcompositionreport.pdf212.47 KB