for anyone interested, but without the time, he focuses on monotonic processes (things that only get bigger, in a sense, which are the kinds of things that become eventually consistent - think of the max of some values, or the set of all instances in a collection that is accumulated).
then he expands on a language that uses datalog (without deletion, presumably) to implement this (which makes an awful lot of sense, as - iirc - datalog systems were implemented by constructing all possible solutions, which looks like it's going to be monotonic as you accumulate data and functions...)
it really is a good talk if you know nothing about all this (as i didn't).
then he expands on a language that uses datalog (without deletion, presumably) to implement this (which makes an awful lot of sense, as - iirc - datalog systems were implemented by constructing all possible solutions, which looks like it's going to be monotonic as you accumulate data and functions...)
it really is a good talk if you know nothing about all this (as i didn't).