Publications
Theory
The following publications describe DBSP's theoretical foundations:
DBSP: Automatic Incremental View Maintenance for Rich Query Languages Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, and Val Tannen, Proceedings of the VLDB Endowment (VLDB), Vancouver, Canada, August, 2023, pages 1601-1614, best paper award.
DBSP mathematical formalization using the Lean theorem prover, Tej Chajed, 2022