The following publications and awards describe Feldera's theoretical foundation, DBSP.
-
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. -
DBSP mathematical formalization using the Lean theorem prover, Tej Chajed, 2022