Conceptos Básicos
Recent theoretical advances have enabled the development of efficient incremental view maintenance engines that can outperform classical approaches in both theory and practice.
Resumen
The paper overviews recent progress on the problem of incremental view maintenance (IVM), with a focus on understanding the fine-grained complexity and optimality of IVM for classes of conjunctive queries.
Key highlights:
- IVM is a fundamental problem in databases, where the goal is to maintain the output of a query under updates to the input database.
- Recent work has aimed to mirror the development of worst-case optimal join algorithms in the static setting, but in the more general dynamic setting.
- Techniques like delta queries, materialized views, and heavy/light data partitioning have enabled achieving lower complexity and faster runtime compared to classical IVM approaches.
- A remarkable result is the precise syntactic characterization of all conjunctive queries without self-joins that admit the best possible maintenance, i.e., constant update time and constant enumeration delay.
- This development has been implemented in open-source prototypes and commercial systems, showing significant speedups over classical IVM.
- Challenges remain in understanding the optimality of IVM for the entire language of conjunctive queries, requiring bridging database theory to recent developments in fine-grained complexity.