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: 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