I was studying incremental computation and I found that Polonius used to be based on differential dataflow.
I wonder if the computation has anything to do with incremental-ness? Or if it's the other way around, how was differential dataflow useful for that case?
(I haven't fully understood Datalog yet, apology for that.)
differential dataflow just happened to be a very fast datalog engine; we were not using its incremental capabilities, though one can imagine doing that in the future