Publications
The following publications and awards describe Feldera's theoretical foundation, DBSP.
Awards
Publications
-
DBSP: Incremental Computation on Streams and Its Applications to Databases Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, and Val Tannen SIGMOD Research Highlights, Vol. 53, March, 2024 A shorter and simpler version of the VLDB 2023 DBSP paper.
-
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