Wow I just found this in some old notes and this page needs a ton of work 😅 Apologies
-
Consistency And Logical Monotonicity (CALM). A program has an eventually consistent, coordination-free evaluation strategy iff it is expressible in (monotonic) Datalog.
monotonic ⇒ EC via pipelined semi-naive evaluation (PSN) positive derivations can “accumulate”
!monotonic ⇒ !EC distributed negation/aggregation the end of the game!