Sun.Sep 01, 2019

article thumbnail

IPA: invariant-preserving applications for weakly consistent replicated databases

The Morning Paper

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.