Data Science & AI Lecture Series
DBSP: A formal model for streaming computation and its applications to incremental computations and databases
Mihai Budiu
DBSP: A formal model for streaming computation and its applications to incremental computations and databases
| When | Wednesday, October 18, 2023, 10:30 AM – 11:45 AM (MT) |
|---|---|
| Where | FASB 295 |
Abstract
DBSP is a simple streaming programming language inspired by Digital Signal Processing [DSP]. DBSP can be used to give a precise definition of incremental computations – operating on changes (deltas, diffs). Moreover, given a DBSP program, a simple algorithm can convert it to a DBSP program that computes on changes. All practical database query operators (the relational algebra, group-by, aggregations, fixed-points, etc) can be expressed in DBSP. As a consequence we obtain an algorithm which can incrementalize essentially any database query. The DBSP theory has been formally verified using a theorem prover, making it the first verified theory of incremental view maintenance.
The DBSP paper has received the best paper award at the 2023 conference on Very Large Databases [VLDB].
Speaker
Mihai Budiu
Feldera
Mihai Budiu is chief scientist at Feldera. He has a Ph.D. in CS from Carnegie Mellon University. He was previously employed at VMware Research, Barefoot Networks, and Microsoft Research. Mihai has worked on reconfigurable hardware, computer architecture, compilers, security, distributed systems, big data platforms, large-scale machine learning, programmable networks and P4, data visualization, and databases; four of his papers have received “test of time” awards. He has also received two technology transfer awards.
Tags: algorithms & theory data management
Part of the Data Science & AI Lecture Series. Something wrong on this page? Edit _data/talks/2023-10-18-mihai-budiu.toml.