DBSP: Automatic Incremental View Maintenance for Rich Query Languages [pdf]
feldera.com
feldera.com
Makes me wonder if you could create a toy implementation in a reactive stream library like RxJS but one that is glitch-free[1]. I'll have to give this a try in our Typescript database we're developing that has basic incremental view maintenance currently.
[1] https://en.wikipedia.org/wiki/Reactive_programming#Glitches
and also check out the sections on grouping and aggregation. this is a place where datalog implementations often fall down