Reactive Datalog for Datomic
summary
A system called 3DF compiles Datalog queries to differential dataflow so queries become continuous subscriptions over the Datomic transaction log rather than one‑off reads. It runs as a distributed cluster, preserves recursive and iterative Datalog semantics under arbitrary retractions, and emits only deltas so downstream views update incrementally. The demo shows queries automatically receiving consistent timestamped adds and retracts and the implementation interoperates with Rust differential dataflow as a backend for reactive Datalog.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 0:53What are reactive systems
- 1:18The web after tomorrow
- 5:40Demo
- 13:51What is 3DF
- 18:26Transparency
- 21:26Differential Dataflow
- 26:16Generalization
- 27:57Performance
- 29:42Conclusion
