For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output
Output 0 of 0 in the submission
Output title

Adding magic to an optimising datalog compiler

Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the ACM SIGMOD International Conference on Management of Data
Volume number
-
Issue number
-
First page of article
553
ISSN of proceedings
0730-8078
Year of publication
2008
Number of additional authors
2
Additional information

<08>

The magic-sets transformation is a powerful optimisation, but successful implementations have required integration with the database optimiser to guide the sideways information-passing strategy (SIPS). This paper reports on the addition of magic-sets to a fully automatic optimising compiler from Datalog to SQL with no support from the database optimiser. It presents an algorithm for making a good choice of SIPS using heuristics based on the sizes of relations as estimated using an abstract interpretation of Datalog programs. Evaluation over a substantial set of queries shows that our technique often improves and, more importantly, never significantly degrades query performance.

Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-