Dedalus: Datalog in Time and Space

Max Golubev will present Alvaro et al.'s "Dedalus: Datalog in Time and Space" and show us his implementation of it. http://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-173.pdf

Keeping the distributed timekeeping theme from last PWL meeting with
hybrid logical clocks, this next meeting will present a different
approach to the problem via Dedalus, a subset of the declarative
Datalog language that nevertheless introduces new concepts such as
negation, aggregate functions, and choice. Together with a successor
relation, this makes Dedalus a suitable modelling language for
communication and synchronisation of a distributed system.

See you soon at our next PWL!