IPA: invariant-preserving applications for weakly consistent replicated databases
The Morning Paper
SEPTEMBER 1, 2019
IPA: invariant-preserving applications for weakly consistent replicated databases Balegas et al., VLDB’19. IPA for developers, happy days! Last we week looked at automating checks for invariant confluence , and extending the set of cases where we can show that an object is indeed invariant confluent. I’m not going to re-cover that background in this write-up, so I suggest you head over there for a quick catch-up before reading on if you missed it first time around.
Let's personalize your content