See also:

  • datalog
  • rust (timely dataflow/ differential dataflow)
  • note on Databases Streaming

Incremental λ-Calculus giarusso

differential dataflow v datalog Uses magic sets in incrmenetal system in a cool way. Datalog is dataflow system with giant fixpoint around it. Generic join in a rust macro

Szabo thesis

Incremental Datalog with Differential Dataflows blog 3df I guess this is a company / consulting service associated with differential dataflow.

Differential Dataflow is kind of semi naive on steroids. Instead of just having a totally ordered iteration time, it keeps a partially ordered set of previous times. This means we have to store more than just good, new, delta. We have to store a bunch of deltas until we can coalesce them.

Yihong described it as “2d seminaive”. 1 dimension is datalog iteration number, and the other dimension is incoming user data time.

Timestamps kind of are like reference counts or arena cleanup. They can trigger caolascing, compaction, or gabarge collection events. Watermarks are garbage collecting events

Incrmenetal dataflow is semi naive without the fixpoint. Instead the deltas are coming in from outside in a streaming like situation.

Hmm. Do queries go backwards? A lens? holy shit is magic set a lens?

Adaptive function programming Self adjusting computation adapton incremnetal salsa salsa.jl

Man I really need to decided where this stuff should go. DRed paper Recursive Computation of Regions and Connectivity in Networks

seminaive for higher order languages