Publications

The following publications and awards describe Feldera's theoretical foundation, DBSP.

Awards

• 🏆 DBSP in ACM SIGMOD Research Highlights
• 🏆 DBSP wins Best Paper award at VLDB 2023

Publications

• DBSP: automatic incremental view maintenance for rich query languages Mihai Budiu, Leonid Ryzhyk, Gerd Zellweger, Ben Pfaff, Lalith Suresh, Simon Kassing, Abhinav Gyawali, Matei Budiu, Tej Chajed, Frank McSherry, and Val Tannen, VLDB Journal, Vol 34 no 39, April 2025. A longer version of the paper.

• 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 specification.

• DBSP mathematical formalization using the Lean theorem prover, Tej Chajed, 2022