{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T18:14:56Z","timestamp":1760552096910,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGMOD Rec."],"published-print":{"date-parts":[[2024,5,14]]},"abstract":"<jats:p>We describe DBSP, a framework for incremental computation. Incremental computations repeatedly evaluate a function on some input values that are \"changing\". The goal of an efficient implementation is to \"reuse\" previously computed results. Ideally, when presented with a new change to the input, an incremental computation should only perform work proportional to the size of the changes of the input, rather than to the size of the entire dataset.<\/jats:p>","DOI":"10.1145\/3665252.3665271","type":"journal-article","created":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T22:04:33Z","timestamp":1715724273000},"page":"87-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["DBSP: Incremental Computation on Streams and Its Applications to Databases"],"prefix":"10.1145","volume":"53","author":[{"given":"Mihai","family":"Budiu","sequence":"first","affiliation":[{"name":"Feldera"}]},{"given":"Tej","family":"Chajed","sequence":"additional","affiliation":[{"name":"Univ. of Wisconsin-Madison"}]},{"given":"Frank","family":"McSherry","sequence":"additional","affiliation":[{"name":"Materialize Inc."}]},{"given":"Leonid","family":"Ryzhyk","sequence":"additional","affiliation":[{"name":"Feldera"}]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]}],"member":"320","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"https:\/\/en.wikipedia.org\/wiki\/Integral. Retrieved March 2024."},{"key":"e_1_2_1_2_1","unstructured":"https:\/\/en.wikipedia.org\/wiki\/Antiderivative. Retrieved March 2024."},{"volume-title":"\/\/en.wikipedia.orag\/wiki\/Change_data_capture. Retrieved","year":"2024","key":"e_1_2_1_3_1","unstructured":"https: \/\/en.wikipedia.orag\/wiki\/Change_data_capture. Retrieved March 2024."},{"volume-title":"https:\/\/en.wikipedia.org\/wiki\/Causal_system. Retrieved","year":"2024","key":"e_1_2_1_4_1","unstructured":"Causal system. https:\/\/en.wikipedia.org\/wiki\/Causal_system. Retrieved March 2024."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.14778\/3587136.3587137"},{"key":"e_1_2_1_6_1","volume-title":"December","author":"Budiu M.","year":"2022","unstructured":"M. Budiu, F. McSherry, L. Ryzhyk, and V. Tannen. DBSP: A language for expressing incremental view maintenance for rich query languages. https:\/\/github.com\/feldera\/feldera\/blob\/main\/papers\/spec.pdf, December 2022."},{"key":"e_1_2_1_7_1","volume-title":"Dec.","author":"Chajed T.","year":"2022","unstructured":"T. Chajed. DBSP formalization. https:\/\/github.com\/tchajed\/dbsp-theory, Dec. 2022."},{"key":"e_1_2_1_8_1","volume-title":"International Conference on Automated Deduction (CADE-25)","author":"de Moura L.","year":"2015","unstructured":"L. de Moura, S. Kong, J. Avigad, F. van Doorn, and J. von Raumer. The Lean theorem prover. In International Conference on Automated Deduction (CADE-25), Berlin, Germany, 2015."},{"key":"e_1_2_1_9_1","volume-title":"DBSP Rust crate. https:\/\/crates.com\/crates\/dbsp. Retrieved","author":"Feldera Inc.","year":"2024","unstructured":"Feldera Inc. DBSP Rust crate. https:\/\/crates.com\/crates\/dbsp. Retrieved March 2024."},{"key":"e_1_2_1_10_1","volume-title":"SQL to DBSP compiler. https:\/\/github.com\/feldera\/feldera\/tree\/main\/ sql-to-dbsp-compiler. Retrieved","author":"Feldera Inc.","year":"2024","unstructured":"Feldera Inc. SQL to DBSP compiler. https:\/\/github.com\/feldera\/feldera\/tree\/main\/ sql-to-dbsp-compiler. Retrieved March 2024."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01854-1"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-011-9323-x"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"issue":"2","key":"e_1_2_1_14_1","first-page":"3","article-title":"Maintenance of materialized views: Problems, techniques, and applications","volume":"18","author":"Gupta A.","year":"1995","unstructured":"A. Gupta, I. S. Mumick, et al. Maintenance of materialized views: Problems, techniques, and applications. IEEE Data Eng. Bull., 18(2):3--18, 1995.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807085.1807100"},{"key":"e_1_2_1_16_1","volume-title":"Theory and Application of Digital Signal Processing","author":"Rabiner L. R.","year":"1975","unstructured":"L. R. Rabiner and B. Gold, editors. Theory and Application of Digital Signal Processing. Prentice-Hall, 1975."}],"container-title":["ACM SIGMOD Record"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3665252.3665271","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3665252.3665271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:34Z","timestamp":1750294714000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3665252.3665271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,14]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,5,14]]}},"alternative-id":["10.1145\/3665252.3665271"],"URL":"https:\/\/doi.org\/10.1145\/3665252.3665271","relation":{},"ISSN":["0163-5808"],"issn-type":[{"type":"print","value":"0163-5808"}],"subject":[],"published":{"date-parts":[[2024,5,14]]},"assertion":[{"value":"2024-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}