Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers - INRIA - Institut National de Recherche en Informatique et en Automatique
Journal Articles Proceedings of the VLDB Endowment (PVLDB) Year : 2024

Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers

Amela Fejza
  • Function : Author
  • PersonId : 1089701
Pierre Genevès
Nabil Layaïda

Abstract

Query optimizers built on the transformation-based Volcano/Cascades framework are used in many database systems. Transformations proposed earlier on the logical query dag (LQDAG) data structure, which is key in such a framework, focus only on recursion-free queries. In this paper, we propose the recursive logical query dag (RLQDAG) which extends the LQDAG with the ability to capture and transform recursive queries, leveraging recent developments in recursive relational algebra. Specifically, this extension includes: (i) the ability of capturing and transforming sets of recursive relational terms thanks to (ii) annotated equivalence nodes used for guiding transformations that are more complex in the presence of recursion; and (iii) RLQDAG rewrite rules that transform sets of subterms in a grouped manner, instead of transforming individual terms in a sequential manner; and that (iv) incrementally update the necessary annotations. Core concepts of the RLQDAG are formalized using a syntax and formal semantics with a particular focus on subterm sharing and recursion. The result is a clean generalization of the LQDAG transformation-based approach, enabling more efficient explorations of plan spaces for recursive queries. An implementation of the proposed approach shows significant performance gains compared to the state-of-the-art.
Fichier principal
Vignette du fichier
main.pdf (1.16 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03692274 , version 1 (09-06-2022)
hal-03692274 , version 2 (24-10-2022)
hal-03692274 , version 3 (13-01-2023)
hal-03692274 , version 4 (28-07-2023)
hal-03692274 , version 5 (09-11-2023)
hal-03692274 , version 6 (04-12-2023)
hal-03692274 , version 7 (03-04-2024)

Licence

Identifiers

Cite

Amela Fejza, Pierre Genevès, Nabil Layaïda. Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers. Proceedings of the VLDB Endowment (PVLDB), 2024, 17 (11), pp.3095--3108. ⟨doi:10.14778/3681954.3681986⟩. ⟨hal-03692274v7⟩
1886 View
468 Download

Altmetric

Share

More