Conflict-free Replicated Relation (CRR)

The objective is always-available databases across the cloud and the edge. We apply CRDTs (Conflict-free Replicated Data Types) to relational data models. Two sub-projects are SynQLite, which augments SQLite databases with CRR, and PRAD (Parallel, Replicated and Asynchronous Datalog), which turns Datalog programs into data streams that are always available at specified sites.