Skip to main content
Top

2022 | OriginalPaper | Chapter

Magic Sets in Interpolation-Based Rule Driven Query Optimization

Authors : Eva Feng, David Toman, Grant Weddell

Published in: Rules and Reasoning

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Query reformulation under constraints is an essential part of modern query optimizers. This paper introduces an enhancement to an interpolation-based rule-driven query optimizer that extends the space of valid rewritings for a user query in order to find better execution plans otherwise not found. The enhancement is inspired by the so-called magic set transformation (MST). However, in contrast with the traditional use of MST, our approach uses MST-like transformation to derive additional formulae constituting a desirable extension to the space of query plans.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
2.
go back to reference Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic sets and other strange ways to implement logic programs. In: ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS), pp. 1–15. ACM (1986) Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic sets and other strange ways to implement logic programs. In: ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS), pp. 1–15. ACM (1986)
3.
go back to reference Benedikt, M.: How can reasoners simplify database querying (and why haven’t they done it yet)? In: ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), pp. 1–15. ACM (2018) Benedikt, M.: How can reasoners simplify database querying (and why haven’t they done it yet)? In: ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), pp. 1–15. ACM (2018)
4.
go back to reference Benedikt, M., Leblay, J., ten Cate, B., Tsamoura, E.: Generating plans from proofs: the interpolation-based approach to query reformulation. Synth. Lect. Data Manag. 8(1), 1–205 (2016)CrossRefMATH Benedikt, M., Leblay, J., ten Cate, B., Tsamoura, E.: Generating plans from proofs: the interpolation-based approach to query reformulation. Synth. Lect. Data Manag. 8(1), 1–205 (2016)CrossRefMATH
6.
go back to reference Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symb. Logic 22(3), 269–285 (1957)MathSciNetCrossRefMATH Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symb. Logic 22(3), 269–285 (1957)MathSciNetCrossRefMATH
9.
go back to reference Toman, D., Weddell, G.: Fundamentals of Physical Design and Query Compilation. Synthesis Lectures on Data Management, Morgan & Claypool Publishers, San Rafael (2011)CrossRefMATH Toman, D., Weddell, G.: Fundamentals of Physical Design and Query Compilation. Synthesis Lectures on Data Management, Morgan & Claypool Publishers, San Rafael (2011)CrossRefMATH
10.
go back to reference Toman, D., Weddell, G.E.: An interpolation-based compiler and optimizer for relational queries (system design report). In: Eiter, T., Sands, D., Sutcliffe, G., Voronkov, A. (eds.) IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations. Kalpa Publications in Computing, vol. 1. EasyChair (2017) Toman, D., Weddell, G.E.: An interpolation-based compiler and optimizer for relational queries (system design report). In: Eiter, T., Sands, D., Sutcliffe, G., Voronkov, A. (eds.) IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations. Kalpa Publications in Computing, vol. 1. EasyChair (2017)
Metadata
Title
Magic Sets in Interpolation-Based Rule Driven Query Optimization
Authors
Eva Feng
David Toman
Grant Weddell
Copyright Year
2022
DOI
https://doi.org/10.1007/978-3-031-21541-4_13

Premium Partner