Recent Increments in Incremental View Maintenance (2404.17679v1)
Abstract: We overview recent progress on the longstanding problem of incremental view maintenance (IVM), with a focus on the fine-grained complexity and optimality of IVM for classes of conjunctive queries. This theoretical progress guided the development of IVM engines that reported practical benefits in academic papers and industrial settings. When taken in isolation, each of the reported advancements is but a small increment. Yet when taken together, they may well pave the way to a deeper understanding of the IVM problem. This paper accompanies the invited Gems of PODS 2024 talk with the same title. Some of the works highlighted in this paper are based on prior or on-going collaborations with: Ahmet Kara, Milos Nikolic, and Haozhe Zhang in the F-IVM project; and Mahmoud Abo Khamis, Niko G\"obel, Hung Ngo, and Dan Suciu at RelationalAI.
- Foundations of differential dataflow. In A. M. Pitts, editor, FoSSaCS, volume 9034, pages 71–83, 2015.
- Insert-Only versus Insert-Delete in Dynamic Query Evaluation. CoRR, abs/2312.09331, 2023.
- FAQ: Questions Asked Frequently. In PODS, pages 13–28, 2016.
- Answering Conjunctive Queries Under Updates. In PODS, pages 303–318, 2017.
- Answering UCQs under Updates and in the Presence of Integrity Constraints. In ICDT, pages 8:1–8:19, 2018.
- C. Berkholz and M. Merz. Probabilistic databases under updates: Boolean query evaluation and ranked enumeration. In PODS, pages 402–415, 2021.
- DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow., 16(7):1601–1614, 2023.
- R. Chirkova and J. Yang. Materialized Views. Found. & Trends Datab., 4(4):295–405, 2012.
- Reachability is in dynfo. J. ACM, 65(5):33:1–33:24, 2018.
- Parallel batch-dynamic k-clique counting. In APOCS, pages 129–143, 2021.
- A. Durand and E. Grandjean. First-order Queries on Structures of Bounded Degree are Computable with Constant Delay. ACM Trans. Comput. Logic, 8(4):21, 2007.
- Rewriting with acyclic queries: Mind your head. Log. Methods Comput. Sci., 19(4), 2023.
- Provenance Semirings. In PODS, pages 31–40, 2007.
- Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture. In STOC, pages 21–30, 2015.
- The dynamic yannakakis algorithm: Compact and efficient query processing under updates. In SIGMOD, pages 1259–1274, 2017.
- General dynamic yannakakis: Conjunctive queries with theta joins under updates. VLDB J., 29(2-3):619–653, 2020.
- Tractable conjunctive queries over static and dynamic relations, 2024. Tech. rep.
- Counting triangles under updates in worst-case optimal time. In ICDT, pages 4:1–4:18, 2019.
- Maintaining triangle queries under updates. ACM Trans. Database Syst., 45(3):11:1–11:46, 2020.
- Trade-offs in static and dynamic evaluation of hierarchical queries. In PODS, pages 375–392, 2020.
- Conjunctive queries with free access patterns under updates. In ICDT, pages 17:1–17:20, 2023.
- F-IVM: Analytics over Relational Databases under Updates. VLDB J., 2023.
- Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries. Log. Methods Comput. Sci., 19(3), 2023.
- Conjunctive queries with free access patterns under updates, 2024.
- C. Koch. Incremental Query Evaluation in a Ring of Databases. In PODS, pages 87–98, 2010.
- Dbtoaster: Higher-order delta processing for dynamic, frequently fresh views. VLDB J., 23(2):253–278, 2014.
- Incremental view maintenance for collection programming. In PODS, pages 75–90, 2016.
- Query optimization through the looking glass, and what we found running the join order benchmark. VLDB J., 27(5):643–668, 2018.
- S. Lu and Y. Tao. Towards optimal dynamic indexes for approximate (and exact) triangle counting. In ICDT, pages 6:1–6:23, 2021.
- Maintenance of datalog materialisations revisited. Artif. Intell., 269:76–136, 2019.
- Worst-case Optimal Join Algorithms. J. ACM, 65(3):16:1–16:40, 2018.
- LINVIEW: incremental view maintenance for complex analytical queries. In SIGMOD, pages 253–264, 2014.
- M. Nikolic and D. Olteanu. Incremental view maintenance with triple lock factorization benefits. In SIGMOD, pages 365–380, 2018.
- F-IVM: learning over fast-evolving relational data. In SIGMOD, pages 2773–2776, 2020.
- SPROUT: lazy vs. eager query plans for tuple-independent probabilistic databases. In ICDE, pages 640–651, 2009.
- D. Olteanu and J. Závodný. Factorised representations of query results: Size bounds and readability. In ICDT, pages 285–298, 2012.
- D. Olteanu and J. Závodný. Size Bounds for Factorised Representations of Query Results. ACM Trans. Database Syst., 40(1):2:1–2:44, 2015.
- J. Schwabe. Cavier: Cascading view ttrees. Master’s thesis, University of Zurich, Switzerland, July 2023.
- Sketches of dynamic complexity. SIGMOD Rec., 49(2):18–29, 2020.
- Probabilistic Databases. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, 2011.
- Y. Tao and K. Yi. Intersection joins under updates. J. Comput. Syst. Sci., 124:41–64, 2022.
- T. L. Veldhuizen. Triejoin: A simple, worst-case optimal join algorithm. In ICDT, pages 96–106, 2014.
- Change propagation without joins. Proc. VLDB Endow., 16(5):1046–1058, 2023.
- V. V. Williams. Some open problems in fine-grained complexity. SIGACT News, 49(4):29–35, 2018.
- M. Yannakakis. Algorithms for acyclic database schemes. In VLDB, pages 82–94, 1981.