This repository contains all sources for my Masterthesis "Expressing CRDTs with Datalog" in "Data Engineering and Analytics" at the Technical University of Munich (TUM). The thesis is supervised by Dr. Martin Kleppmann from the University of Cambridge and the chair of Prof. Dr. Viktor Leis gives the project a formal home at TUM. Project outline:
| Folder | Description |
|---|---|
implementation/ |
Contains the prototype implementation of the incremental Datalog query engine in Rust |
thesis/ |
Contains the LaTeX sources of the thesis and final presentation slides |
proposal/ |
Contains the LaTeX sources of the proposal |
The thesis' PDF is available under the GitHub releases of this repository. In case of questions and remarks, feel free to open an issue or contact me via the handles in my GitHub profile.