{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T22:49:46Z","timestamp":1770331786077,"version":"3.49.0"},"reference-count":96,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T00:00:00Z","timestamp":1746662400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T00:00:00Z","timestamp":1746662400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1007\/s00778-025-00922-y","type":"journal-article","created":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T02:24:24Z","timestamp":1746671064000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["DBSP: automatic incremental view maintenance for rich query languages"],"prefix":"10.1007","volume":"34","author":[{"given":"Mihai","family":"Budiu","sequence":"first","affiliation":[]},{"given":"Leonid","family":"Ryzhyk","sequence":"additional","affiliation":[]},{"given":"Gerd","family":"Zellweger","sequence":"additional","affiliation":[]},{"given":"Ben","family":"Pfaff","sequence":"additional","affiliation":[]},{"given":"Lalith","family":"Suresh","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Kassing","sequence":"additional","affiliation":[]},{"given":"Abhinav","family":"Gyawali","sequence":"additional","affiliation":[]},{"given":"Matei","family":"Budiu","sequence":"additional","affiliation":[]},{"given":"Tej","family":"Chajed","sequence":"additional","affiliation":[]},{"given":"Frank","family":"McSherry","sequence":"additional","affiliation":[]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,8]]},"reference":[{"key":"922_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"922_CR2","doi-asserted-by":"crossref","unstructured":"Ahmad, Y., Koch, C.: DBToaster: A SQL compiler for high-performance delta processing in main-memory databases. Proc. VLDB Endow. 2(2), 1566\u20131569 (2009)","DOI":"10.14778\/1687553.1687592"},{"issue":"2","key":"922_CR3","doi-asserted-by":"publisher","first-page":"1566","DOI":"10.14778\/1687553.1687592","volume":"2","author":"Y Ahmad","year":"2009","unstructured":"Ahmad, Y., Koch, C.: DBToaster: A SQL compiler for high-performance delta processing in main-memory databases. Proc. VLDB Endow. 2(2), 1566\u20131569 (2009)","journal-title":"Proc. VLDB Endow."},{"issue":"2","key":"922_CR4","doi-asserted-by":"publisher","first-page":"1566","DOI":"10.14778\/1687553.1687592","volume":"2","author":"Y Ahmad","year":"2009","unstructured":"Ahmad, Y., Koch, C.: DBToaster: A SQL compiler for high-performance delta processing in main-memory databases. Proc. VLDB Endow. 2(2), 1566\u20131569 (2009)","journal-title":"Proc. VLDB Endow."},{"key":"922_CR5","doi-asserted-by":"crossref","unstructured":"Akidau, T., Barbier, P., Cseri, I., Hueske, F., Jones, T., Lionheart, S., Mills, D., Pauliukevich, D., Probst, L., Semmler, N., Sotolongo, D., Zhang, B.: What\u2019s the difference? Incremental processing with change queries in Snowflake. Proc. ACM Manag. Data 1(2), (2023)","DOI":"10.1145\/3589776"},{"key":"922_CR6","doi-asserted-by":"crossref","unstructured":"Akidau, T., Bradshaw, R., Chambers, C., Chernyak, S., Fern\u00e1ndez-Moctezuma, R. J., Lax, R., McVeety, S., Mills, D., Perry, F., Schmidt, E., Whittle, S.: The dataflow model: a practical approach to balancing correctness, latency, and cost in massive-scale, unbounded, out-of-order data processing. Proc. VLDB Endow. 8(12), 1792\u20131803 (2015)","DOI":"10.14778\/2824032.2824076"},{"key":"922_CR7","doi-asserted-by":"crossref","unstructured":"Akidau, T., Hueske, F., Kloudas, K., Papke, L., Semmler, N., Sommerfeld, J.: Continuous data ingestion and transformation in Snowflake. In: Proceedings of the 18th ACM International Conference on Distributed and Event-Based Systems, DEBS \u201924, pp. 195\u2013198 (2024)","DOI":"10.1145\/3629104.3672430"},{"issue":"12","key":"922_CR8","doi-asserted-by":"publisher","first-page":"1792","DOI":"10.14778\/2824032.2824076","volume":"8","author":"T Akidau","year":"2015","unstructured":"Akidau, T., Bradshaw, R., Chambers, C., Chernyak, S., Fern\u00e1ndez-Moctezuma, R.J., Lax, R., McVeety, S., Mills, D., Perry, F., Schmidt, E., Whittle, S.: The dataflow model: a practical approach to balancing correctness, latency, and cost in massive-scale, unbounded, out-of-order data processing. Proc. VLDB Endow. 8(12), 1792\u20131803 (2015)","journal-title":"Proc. VLDB Endow."},{"issue":"12","key":"922_CR9","doi-asserted-by":"publisher","first-page":"1792","DOI":"10.14778\/2824032.2824076","volume":"8","author":"T Akidau","year":"2015","unstructured":"Akidau, T., Bradshaw, R., Chambers, C., Chernyak, S., Fern\u00e1ndez-Moctezuma, R.J., Lax, R., McVeety, S., Mills, D., Perry, F., Schmidt, E., Whittle, S.: The dataflow model: a practical approach to balancing correctness, latency, and cost in massive-scale, unbounded, out-of-order data processing. Proc. VLDB Endow. 8(12), 1792\u20131803 (2015)","journal-title":"Proc. VLDB Endow."},{"key":"922_CR10","doi-asserted-by":"crossref","unstructured":"Alvarez-Picallo, M., Eyers-Taylor, A., Jones, M. P., Luke Ong, C.-H.: Fixing incremental computation. In: European Symposium on Programming Languages and Systems (ESOP), pp. 525\u2013552. Prague, Czech Republic, April 6\u201311 (2019)","DOI":"10.1007\/978-3-030-17184-1_19"},{"key":"922_CR11","doi-asserted-by":"crossref","unstructured":"Armbrust, M., Das, T., Sun, L., Yavuz, B., Zhu, S., Murthy, M., Torres, J., van Hovell, H., Ionescu, A., \u0141uszczak, A., \u015awitakowski, M., Szafra\u0144ski, M., Li, X., Ueshin, T., Mokhtar, M., Boncz, P., Ghodsi, A., Paranjpye, S., Senster, P., Xin, R., Zaharia, M.: Delta lake: high-performance ACID table storage over cloud object stores. Proc. VLDB Endow. 13(12):3411-3424, aug (2020)","DOI":"10.14778\/3415478.3415560"},{"key":"922_CR12","doi-asserted-by":"crossref","unstructured":"Begoli, E., Camacho-Rodr\u00edguez, J., Hyde, J., Mior, M. J., Lemire, D.: Apache calcite: a foundational framework for optimized query processing over heterogeneous data sources. In: International Conference on Management of Data (IDMD), pp. 221\u2013230 (2018)","DOI":"10.1145\/3183713.3190662"},{"key":"922_CR13","unstructured":"Bello, R.G., Dias, K., Downing, A., Feenan, Jr., J.J., Finnerty, J. L., Norcott, W. D., Sun, H., Witkowski, A., Ziauddin, M.: Materialized views in Oracle. In: Proceedings of 24rd International Conference on Very Large Data Bases (VLDB\u201998), pp. 659\u2013664 August 24\u201327 (1998)"},{"key":"922_CR14","doi-asserted-by":"crossref","unstructured":"Bentley, J.L., Yao, A.C.-C.: An almost optimal algorithm for unbounded searching. Inf. Process. Lett. 5(3), 82\u201387 (1976)","DOI":"10.1016\/0020-0190(76)90071-5"},{"issue":"3","key":"922_CR15","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/0020-0190(76)90071-5","volume":"5","author":"JL Bentley","year":"1976","unstructured":"Bentley, J.L., Yao, A.C.-C.: An almost optimal algorithm for unbounded searching. Inf. Process. Lett. 5(3), 82\u201387 (1976)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"922_CR16","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1016\/0020-0190(76)90071-5","volume":"5","author":"JL Bentley","year":"1976","unstructured":"Bentley, J.L., Yao, A.C.-C.: An almost optimal algorithm for unbounded searching. Inf. Process. Lett. 5(3), 82\u201387 (1976)","journal-title":"Inf. Process. Lett."},{"key":"922_CR17","doi-asserted-by":"crossref","unstructured":"Blakeley, J.\u00a0A., Larson, P.-A., Tompa, F. W.: Efficiently updating materialized views. In: ACM SIGMOD International conference on Management of data (SIGMOD), SIGMOD \u201986, pp.\u00a061\u201371 (1986)","DOI":"10.1145\/16894.16861"},{"key":"922_CR18","doi-asserted-by":"crossref","unstructured":"Bonifati, A., Dumbrava, S., Arias, E. J. G.: Certified graph view maintenance with regular datalog. Theory Pract Log. Program. 18(3\u20134), 372\u2013389 (2018)","DOI":"10.1017\/S1471068418000224"},{"issue":"3\u20134","key":"922_CR19","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1017\/S1471068418000224","volume":"18","author":"A Bonifati","year":"2018","unstructured":"Bonifati, A., Dumbrava, S., Arias, E.J.G.: Certified graph view maintenance with regular datalog. Theory Pract Log. Program. 18(3\u20134), 372\u2013389 (2018)","journal-title":"Theory Pract Log. Program."},{"issue":"3\u20134","key":"922_CR20","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1017\/S1471068418000224","volume":"18","author":"A Bonifati","year":"2018","unstructured":"Bonifati, A., Dumbrava, S., Arias, E.J.G.: Certified graph view maintenance with regular datalog. Theory Pract Log. Program. 18(3\u20134), 372\u2013389 (2018)","journal-title":"Theory Pract Log. Program."},{"key":"922_CR21","doi-asserted-by":"crossref","unstructured":"Budiu, M., Chajed, T., McSherry, F., Ryzhyk, L., Tannen, V.: DBSP: automatic incremental view maintenance for rich query languages. In: Proceedings of the VLDB Endowment (VLDB), volume 16, pp. 1601\u20131614, Vancouver, Canada, August (2023)","DOI":"10.14778\/3587136.3587137"},{"issue":"3","key":"922_CR22","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/320083.320099","volume":"4","author":"OP Buneman","year":"1979","unstructured":"Buneman, O.P., Clemons, E.K.: Efficiently monitoring relational databases. ACM Trans. Datab. Syst. 4(3), 368\u2013382 (1979)","journal-title":"ACM Trans. Datab. Syst."},{"key":"922_CR23","unstructured":"Chajed, T.: DBSP formalization. https:\/\/github.com\/tchajed\/dbsp-theory December (2022)"},{"key":"922_CR24","doi-asserted-by":"crossref","unstructured":"Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.E.: Bigtable: a distributed storage system for structured data. ACM Trans. Comput. Syst. 26(2) (2008)","DOI":"10.1145\/1365815.1365816"},{"key":"922_CR25","unstructured":"Chaudhuri, S., Krishnamurthy, R., Potamianos, S., Shim, K.: Optimizing queries with materialized views. In: International Conference on Data Engineering (ICDE), pp. 190\u2013200 (1995)"},{"key":"922_CR26","volume-title":"Materialized Views","author":"R Chirkova","year":"2012","unstructured":"Chirkova, R., Yang, J.: Materialized Views. Now Publishers Inc., Hanover (2012)"},{"issue":"12","key":"922_CR27","doi-asserted-by":"publisher","first-page":"1137","DOI":"10.14778\/2994509.2994530","volume":"9","author":"Z Chothia","year":"2016","unstructured":"Chothia, Z., Liagouris, J., McSherry, F., Roscoe, T.: Explaining outputs in modern data analytics. Proc. VLDB Endow. 9(12), 1137\u20131148 (2016)","journal-title":"Proc. VLDB Endow."},{"issue":"12","key":"922_CR28","doi-asserted-by":"publisher","first-page":"1137","DOI":"10.14778\/2994509.2994530","volume":"9","author":"Z Chothia","year":"2016","unstructured":"Chothia, Z., Liagouris, J., McSherry, F., Roscoe, T.: Explaining outputs in modern data analytics. Proc. VLDB Endow. 9(12), 1137\u20131148 (2016)","journal-title":"Proc. VLDB Endow."},{"key":"922_CR29","doi-asserted-by":"crossref","unstructured":"Colby, L.\u00a0S., Kawaguchi, A., Lieuwen, D.\u00a0F., Mumick, I.\u00a0S., Ross, K.\u00a0A.: Supporting multiple view maintenance policies. SIGMOD Rec. 26(2):405\u2013416 (1997)","DOI":"10.1145\/253262.253353"},{"issue":"2","key":"922_CR30","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/253262.253353","volume":"26","author":"LS Colby","year":"1997","unstructured":"Colby, L.S., Kawaguchi, A., Lieuwen, D.F., Mumick, I.S., Ross, K.A.: Supporting multiple view maintenance policies. SIGMOD Rec. 26(2), 405\u2013416 (1997)","journal-title":"SIGMOD Rec."},{"issue":"2","key":"922_CR31","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/253262.253353","volume":"26","author":"LS Colby","year":"1997","unstructured":"Colby, L.S., Kawaguchi, A., Lieuwen, D.F., Mumick, I.S., Ross, K.A.: Supporting multiple view maintenance policies. SIGMOD Rec. 26(2), 405\u2013416 (1997)","journal-title":"SIGMOD Rec."},{"key":"922_CR32","unstructured":"de Lima, B. R. C. A.: PyDBSP. https:\/\/github.com\/brurucy\/pydbsp September (2024)"},{"key":"922_CR33","unstructured":"de Moura, L., Kong, S., Avigad, J., van Doorn, F., von Raumer, J.: The Lean theorem prover. In: International Conference on Automated Deduction (CADE-25), Berlin, Germany (2015)"},{"key":"922_CR34","unstructured":"Debezium. https:\/\/debezium.io\/. Retrieved September 2024"},{"issue":"2","key":"922_CR35","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF00962282","volume":"1","author":"HM Dewan","year":"1992","unstructured":"Dewan, H.M., Ohsie, D., Stolfo, S.J., Wolfson, O., Da Silva, S.: Incremental database rule processing in PARADISER. J. Intell. Inf. Syst. 1(2), 177\u2013209 (1992)","journal-title":"J. Intell. Inf. Syst."},{"issue":"2","key":"922_CR36","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF00962282","volume":"1","author":"HM Dewan","year":"1992","unstructured":"Dewan, H.M., Ohsie, D., Stolfo, S.J., Wolfson, O., Da Silva, S.: Incremental database rule processing in PARADISER. J. Intell. Inf. Syst. 1(2), 177\u2013209 (1992)","journal-title":"J. Intell. Inf. Syst."},{"key":"922_CR37","unstructured":"Feldera Inc. Feldera repository. https:\/\/github.com\/feldera\/feldera. Retrieved August (2024)"},{"key":"922_CR38","unstructured":"Google. Google pub\/sub. https:\/\/cloud.google.com\/pubsub?hl=en. Retrieved September (2024)"},{"issue":"2","key":"922_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-031-01854-1","volume":"7","author":"S Greco","year":"2015","unstructured":"Greco, S., Molinaro, C.: Datalog and logic databases. Synth. Lect. Data Manag. 7(2), 1\u2013169 (2015)","journal-title":"Synth. Lect. Data Manag."},{"issue":"2","key":"922_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-031-01854-1","volume":"7","author":"S Greco","year":"2015","unstructured":"Greco, S., Molinaro, C.: Datalog and logic databases. Synth. Lect. Data Manag. 7(2), 1\u2013169 (2015)","journal-title":"Synth. Lect. Data Manag."},{"issue":"2","key":"922_CR41","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/s00224-011-9323-x","volume":"49","author":"TJ Green","year":"2011","unstructured":"Green, T.J., Ives, Z.G., Tannen, V.: Reconcilable differences. Theory Comput. Syst. 49(2), 460\u2013488 (2011)","journal-title":"Theory Comput. Syst."},{"key":"922_CR42","doi-asserted-by":"crossref","unstructured":"Griffin, T., Libkin, L.: Incremental maintenance of views with duplicates. In: ACM SIGMOD International conference on Management of data (SIGMOD), pp. 328\u2013339 (1995)","DOI":"10.1145\/223784.223849"},{"issue":"3","key":"922_CR43","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/290593.290597","volume":"27","author":"T Griffin","year":"1998","unstructured":"Griffin, T., Kumar, B.: Algebraic change propagation for semijoin and outerjoin queries. SIGMOD Rec. 27(3), 22\u201327 (1998)","journal-title":"SIGMOD Rec."},{"key":"922_CR44","unstructured":"Gupta, A., Mumick, I. S., et\u00a0al.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3\u201318 (1995)"},{"issue":"2","key":"922_CR45","first-page":"3","volume":"18","author":"A Gupta","year":"1995","unstructured":"Gupta, A., Mumick, I.S., et al.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3\u201318 (1995)","journal-title":"IEEE Data Eng. Bull."},{"issue":"2","key":"922_CR46","first-page":"3","volume":"18","author":"A Gupta","year":"1995","unstructured":"Gupta, A., Mumick, I.S., et al.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3\u201318 (1995)","journal-title":"IEEE Data Eng. Bull."},{"issue":"6","key":"922_CR47","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1016\/j.is.2004.11.011","volume":"31","author":"H Gupta","year":"2006","unstructured":"Gupta, H., Mumick, I.S.: Incremental maintenance of aggregate and outerjoin expressions. Inf. Syst. 31(6), 435\u2013464 (2006)","journal-title":"Inf. Syst."},{"key":"922_CR48","doi-asserted-by":"crossref","unstructured":"Hanson, E.N.: A performance analysis of view materialization strategies. SIGMOD Rec. 16(3), 440\u2013453 (1987)","DOI":"10.1145\/38714.38759"},{"issue":"3","key":"922_CR49","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/38714.38759","volume":"16","author":"EN Hanson","year":"1987","unstructured":"Hanson, E.N.: A performance analysis of view materialization strategies. SIGMOD Rec. 16(3), 440\u2013453 (1987)","journal-title":"SIGMOD Rec."},{"key":"922_CR50","unstructured":"Hirn, D., Grust, T.: A fix for the fixation on fixpoints. In: Conference on Innovative Data Systems Research (CIDR), Amsterdam, Netherlands, January (2023)"},{"key":"922_CR51","unstructured":"https:\/\/en.wikipedia.orag\/wiki\/Change_data_capture. Retrieved March 2024"},{"key":"922_CR52","doi-asserted-by":"crossref","unstructured":"Idris, M., Ugarte, M., Vansummeren, S., Voigt, H., Lehner, W.: Conjunctive queries with inequalities under updates. Proc. VLDB Endow. 11(7), 733\u2013745 (2018)","DOI":"10.14778\/3192965.3192966"},{"key":"922_CR53","doi-asserted-by":"crossref","unstructured":"Idris, M., Ugarte, M., Vansummeren, S., Voigt, H., Lehner, W.: Efficient query processing for dynamically changing datasets. SIGMOD Rec. 48(1), 33\u201340 (2019)","DOI":"10.1145\/3371316.3371325"},{"key":"922_CR54","doi-asserted-by":"crossref","unstructured":"Idris, M., Ugarte, M., Vansummeren, S.: The dynamic Yannakakis algorithm: compact and efficient query processing under updates. In: ACM SIGMOD International conference on Management of data (SIGMOD), pp. 1259-1274 (2017)","DOI":"10.1145\/3035918.3064027"},{"issue":"7","key":"922_CR55","doi-asserted-by":"publisher","first-page":"733","DOI":"10.14778\/3192965.3192966","volume":"11","author":"M Idris","year":"2018","unstructured":"Idris, M., Ugarte, M., Vansummeren, S., Voigt, H., Lehner, W.: Conjunctive queries with inequalities under updates. Proc. VLDB Endow. 11(7), 733\u2013745 (2018)","journal-title":"Proc. VLDB Endow."},{"issue":"7","key":"922_CR56","doi-asserted-by":"publisher","first-page":"733","DOI":"10.14778\/3192965.3192966","volume":"11","author":"M Idris","year":"2018","unstructured":"Idris, M., Ugarte, M., Vansummeren, S., Voigt, H., Lehner, W.: Conjunctive queries with inequalities under updates. Proc. VLDB Endow. 11(7), 733\u2013745 (2018)","journal-title":"Proc. VLDB Endow."},{"issue":"1","key":"922_CR57","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/3371316.3371325","volume":"48","author":"M Idris","year":"2019","unstructured":"Idris, M., Ugarte, M., Vansummeren, S., Voigt, H., Lehner, W.: Efficient query processing for dynamically changing datasets. SIGMOD Rec. 48(1), 33\u201340 (2019)","journal-title":"SIGMOD Rec."},{"issue":"1","key":"922_CR58","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/3371316.3371325","volume":"48","author":"M Idris","year":"2019","unstructured":"Idris, M., Ugarte, M., Vansummeren, S., Voigt, H., Lehner, W.: Efficient query processing for dynamically changing datasets. SIGMOD Rec. 48(1), 33\u201340 (2019)","journal-title":"SIGMOD Rec."},{"key":"922_CR59","unstructured":"IVM\u00a0Development Group. pg_ivm. https:\/\/github.com\/sraoss\/pg_ivm. Retrieved September (2024)"},{"key":"922_CR60","unstructured":"Jafarpour, H., Desai, R., Guy, D.: KSQL: streaming SQL engine for Apache Kafka. In: International Conference on Extending Database Technology (EDBT), pp. 524\u2013533. Lisbon, Portugal, March 26\u201329 (2019)"},{"key":"922_CR61","doi-asserted-by":"crossref","unstructured":"Kara, A., Ngo, H.Q., Nikolic, M., Olteanu, D., Zhang, H.: Maintaining triangle queries under updates. ACM Trans. Datab. Syst. 45(3), (2020)","DOI":"10.1145\/3396375"},{"key":"922_CR62","doi-asserted-by":"crossref","unstructured":"Katsis, Y., Ong, K.\u00a0W., Papakonstantinou, Y., Zhao, K.\u00a0K.: Utilizing ids to accelerate incremental view maintenance. In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, SIGMOD \u201915, pp. 1985\u20132000 (2015)","DOI":"10.1145\/2723372.2750546"},{"key":"922_CR63","doi-asserted-by":"crossref","unstructured":"Koch, C., Lupei, D., Tannen, V.: Incremental view maintenance for collection programming. In: Symposium on Principles of Database Systems (PODS), pp. 75-90. San Francisco, California, USA (2016)","DOI":"10.1145\/2902251.2902286"},{"key":"922_CR64","doi-asserted-by":"crossref","unstructured":"Koch, C.: Incremental query evaluation in a ring of databases. In: Symposium on Principles of Database Systems (PODS), pp. 87\u201398, Indianapolis, Indiana, USA, (2010)","DOI":"10.1145\/1807085.1807100"},{"key":"922_CR65","doi-asserted-by":"crossref","unstructured":"Kotowski, J., Bry, F., Brodt, S.: Reasoning as axioms change\u2014incremental view maintenance reconsidered. In: Web Reasoning and Rule Systems RR, volume 6902 of Lecture Notes in Computer Science, pp. 139\u2013154. Springer, Galway, Ireland, August 29\u201330 (2011)","DOI":"10.1007\/978-3-642-23580-1_11"},{"key":"922_CR66","unstructured":"Kreps, J., Narkhede, N., Rao, J., et\u00a0al. Kafka: a distributed messaging system for log processing. In: Proceedings of NetDB, number 2011, pp. 1\u20137, Athens, Greece (2011)"},{"key":"922_CR67","unstructured":"Labio, W., Yang, J., Cui, Y., Garcia-Molina, H., Widom, J.: Performance issues in incremental warehouse maintenance. In: Proceedings of the 26th International Conference on Very Large Data Bases, VLDB \u201900, pp. 461\u2013472. Morgan Kaufmann Publishers Inc, San Francisco, CA (2000)"},{"key":"922_CR68","doi-asserted-by":"crossref","unstructured":"Larson, P.-A., Zhou, J.: Efficient maintenance of materialized outer-join views. In: International Conference on Data Engineering (ICDE), pp. 56\u201365 (2007)","DOI":"10.1109\/ICDE.2007.367851"},{"key":"922_CR69","unstructured":"McSherry, F.: Differential dataflow rust library. https:\/\/github.com\/TimelyDataflow\/differential-dataflow. Retrieved September (2024)"},{"key":"922_CR70","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.artint.2018.12.004","volume":"269","author":"B Motik","year":"2019","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Maintenance of datalog materialisations revisited. Artif. Intell. 269, 76\u2013136 (2019)","journal-title":"Artif. Intell."},{"key":"922_CR71","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.artint.2018.12.004","volume":"269","author":"B Motik","year":"2019","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Maintenance of datalog materialisations revisited. Artif. Intell. 269, 76\u2013136 (2019)","journal-title":"Artif. Intell."},{"key":"922_CR72","doi-asserted-by":"crossref","unstructured":"Murray, D.G., McSherry, F., Isaacs, R., Isard, M., Barham, P., Abadi, M.: Naiad: a timely dataflow system. In: ACM Symposium on Operating Systems Principles (SOSP), pp. 439\u2013455. Farminton, Pennsylvania (2013)","DOI":"10.1145\/2517349.2522738"},{"key":"922_CR73","doi-asserted-by":"crossref","unstructured":"Nikolic, M., Dashti, M., Koch, C.: How to win a hot dog eating contest: distributed incremental view maintenance with batch updates. In: Proceedings of the 2016 International Conference on Management of Data, SIGMOD \u201916, pp. 511\u2013526 (2016)","DOI":"10.1145\/2882903.2915246"},{"issue":"12","key":"922_CR74","doi-asserted-by":"publisher","first-page":"1634","DOI":"10.14778\/3137765.3137770","volume":"10","author":"SA Noghabi","year":"2017","unstructured":"Noghabi, S.A., Paramasivam, K., Pan, Y., Ramesh, N., Bringhurst, J., Gupta, I., Campbell, R.H.: Samza: stateful scalable stream processing at LinkedIn. Proc. VLDB Endow. 10(12), 1634\u20131645 (2017)","journal-title":"Proc. VLDB Endow."},{"issue":"12","key":"922_CR75","doi-asserted-by":"publisher","first-page":"1634","DOI":"10.14778\/3137765.3137770","volume":"10","author":"SA Noghabi","year":"2017","unstructured":"Noghabi, S.A., Paramasivam, K., Pan, Y., Ramesh, N., Bringhurst, J., Gupta, I., Campbell, R.H.: Samza: stateful scalable stream processing at LinkedIn. Proc. VLDB Endow. 10(12), 1634\u20131645 (2017)","journal-title":"Proc. VLDB Endow."},{"key":"922_CR76","doi-asserted-by":"crossref","unstructured":"O\u2019Neil, P., Cheng, E., Gawlick, D., O\u2019Neil, E.: The log-structured merge-tree (LSM-tree). Acta Informatica 33, 351\u2013385 (1996)","DOI":"10.1007\/s002360050048"},{"key":"922_CR77","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s002360050048","volume":"33","author":"P O\u2019Neil","year":"1996","unstructured":"O\u2019Neil, P., Cheng, E., Gawlick, D., O\u2019Neil, E.: The log-structured merge-tree (LSM-tree). Acta Informatica 33, 351\u2013385 (1996)","journal-title":"Acta Informatica"},{"key":"922_CR78","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s002360050048","volume":"33","author":"P O\u2019Neil","year":"1996","unstructured":"O\u2019Neil, P., Cheng, E., Gawlick, D., O\u2019Neil, E.: The log-structured merge-tree (LSM-tree). Acta Informatica 33, 351\u2013385 (1996)","journal-title":"Acta Informatica"},{"key":"922_CR79","doi-asserted-by":"crossref","unstructured":"Palankar, M.\u00a0R., Iamnitchi, A., Ripeanu, M., Garfinkel, S.: Amazon S3 for science grids: a viable solution? In: Proceedings of the 2008 International Workshop on Data-Aware Distributed Computing, DADC \u201908, pp. 55\u201364 (2008)","DOI":"10.1145\/1383519.1383526"},{"key":"922_CR80","doi-asserted-by":"crossref","unstructured":"Palpanas, T., Sidle, R., Cochrane, R., Pirahesh, H.: Incremental maintenance for non-distributive aggregate functions. In: Proceedings of the 28th International Conference on Very Large Data Bases, VLDB \u201902, pp.\u00a0802\u2013813. VLDB Endowment (2002)","DOI":"10.1016\/B978-155860869-6\/50076-7"},{"key":"922_CR81","unstructured":"Rabiner, L.R., Gold, B. (eds): Theory and Application of Digital Signal Processing. Prentice-Hall, Hoboken (1975)"},{"key":"922_CR82","volume-title":"Theory and Application of Digital Signal Processing","year":"1975","unstructured":"Rabiner, L.R., Gold, B. (eds.): Theory and Application of Digital Signal Processing. Prentice-Hall, Hoboken (1975)"},{"key":"922_CR83","volume-title":"Theory and Application of Digital Signal Processing","year":"1975","unstructured":"Rabiner, L.R., Gold, B. (eds.): Theory and Application of Digital Signal Processing. Prentice-Hall, Hoboken (1975)"},{"key":"922_CR84","unstructured":"Ryzhyk, L., Budiu, M.: Differential datalog. In: Datalog 2.0, Philadelphia, PA, June 4\u20135 (2019)"},{"key":"922_CR85","unstructured":"sqllogictest. https:\/\/www.sqlite.org\/sqllogictest\/doc\/trunk\/about.wiki. Last Accessed March 2023"},{"key":"922_CR86","unstructured":"Staudt, M., Jarke, M.: Incremental maintenance of externally materialized views. In: International Conference of Very Large Data Bases (VLDB), pp.\u00a075\u201386. Mumbai (Bombay), India, September 3\u20136 (1996)"},{"key":"922_CR87","doi-asserted-by":"crossref","unstructured":"Svingos, C., Hernich, A., Gildhoff, H., Papakonstantinou, Y., Ioannidis, Y.: Foreign keys open the door for faster incremental view maintenance. Proc. ACM Manag. Data 1(1), (2023)","DOI":"10.1145\/3588720"},{"key":"922_CR88","unstructured":"The Aurora project (2004). http:\/\/cs.brown.edu\/research\/aurora\/. Retrieved September 2024"},{"key":"922_CR89","doi-asserted-by":"crossref","unstructured":"The Mathlib Community: The lean mathematical library. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, pp. 367\u2013381. Association for Computing Machinery, New York, NY, USA (2020)","DOI":"10.1145\/3372885.3373824"},{"key":"922_CR90","doi-asserted-by":"crossref","unstructured":"Toshniwal, A., Taneja, S., Shukla, A., Ramasamy, K., Patel, J. M., Kulkarni, S., Jackson, J., Gade, K., Fu, M., Donham, J., Bhagat, N., Mittal, S., Ryaboy, D.: Storm@twitter. In: Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, SIGMOD \u201914, pp. 147\u2013156 (2014)","DOI":"10.1145\/2588555.2595641"},{"key":"922_CR91","unstructured":"Tucker, P., Tufte, K., Papadimos, V., Maier, D.: Nexmark\u2014a benchmark for queries over data streams (draft). Technical report (2008)"},{"key":"922_CR92","doi-asserted-by":"crossref","unstructured":"Wang, G., Chen, L., Dikshit, A., Gustafson, J., Chen, B., Sax, M.\u00a0J., Roesler, J., Blee-Goldman, S., Cadonna, B., Mehta, A., Madan, V., Rao, J.: Consistency and completeness: rethinking distributed stream processing in Apache Kafka. In: Proceedings of the 2021 International Conference on Management of Data, SIGMOD \u201921, pp. 2602\u20132613 (2021)","DOI":"10.1145\/3448016.3457556"},{"key":"922_CR93","doi-asserted-by":"crossref","unstructured":"Wang, Q., Yi, K.: Maintaining acyclic foreign-key joins under updates. In: ACM SIGMOD International conference on Management of data (SIGMOD), pp. 1225\u20131239. Portland, OR, USA (2020)","DOI":"10.1145\/3318464.3380586"},{"key":"922_CR94","unstructured":"Wes, M.: Python for Data Analysis, 1 edn. O\u2019Reilly Media Inc. (2012)"},{"key":"922_CR95","doi-asserted-by":"crossref","unstructured":"Wolfson, O., Dewan, H. M., Stolfo, S. J., Yemini, Y.: Incremental evaluation of rules and its relationship to parallelism. In: ACM SIGMOD International conference on Management of Data (SIGMOD), pp. 78\u201387. ACM Press, Denver, Colorado, May 29\u201331 (1991)","DOI":"10.1145\/115790.115799"},{"key":"922_CR96","doi-asserted-by":"crossref","unstructured":"Zaharia, M., Das, T., Li, H., Hunter, T., Shenker, S., Stoica, I.: Discretized streams: fault-tolerant streaming computation at scale. In: ACM Symposium on Operating Systems Principles (SOSP), pp. 423\u2013438. Farminton, Pennsylvania (2013)","DOI":"10.1145\/2517349.2522737"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-025-00922-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00778-025-00922-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-025-00922-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T13:29:45Z","timestamp":1757165385000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00778-025-00922-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,8]]},"references-count":96,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["922"],"URL":"https:\/\/doi.org\/10.1007\/s00778-025-00922-y","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,8]]},"assertion":[{"value":"21 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 April 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 May 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"39"}}