• Datalog, Coordination and Monotonicity - Bas Ketsman

  • Abstract:
    During the last decade, several extensions of the Datalog query language have been introduced to model and program distributed algorithms. In this talk I will give an overview of formal theoretical results and insights within this domain.  I will start by giving a brief introduction on why Datalog is considered such a natural language in the distributed context.  The talk will then focus on the relationship between model-theoretic concepts, like monotonicity and preservation under extensions; syntactical properties of Datalog programs, like positivity; and desirable behaviour of distributed programs, like guaranteed eventual consistency and avoidance of coordination.