Push versus pull-based loop fusion in query engines. (10th April 2018)

• Record Type: Journal Article
• Authors: SHAIKHHA, AMIR; DASHTI, MOHAMMAD; KOCH, CHRISTOPH
• Is Part Of: Journal of functional programming. Volume 28(2018)
• Publication Date: 2018-04-10
• Subjects: Functional programming (Computer science) -- Periodicals
• DOI: 10.1017/S0956796818000102
• Languages: English
• ISSNs: 0956-7968

Abstract

Abstract: Database query engines use pull-based or push-based approaches to avoid the materialization of data across query operators. In this paper, we study these two types of query engines in depth and present the limitations and advantages of each engine. Similarly, the programming languages community has developed loop fusion techniques to remove intermediate collections in the context of collection programming. We draw parallels between databases (DB) and programming language (PL) research by demonstrating the connection between pipelined query engines and loop fusion techniques. Based on this connection, we propose a new type of pull-based engine, inspired by a loop fusion technique, which combines the benefits of both approaches. Then, we experimentally evaluate the various engines, in the context of query compilation, for the first time in a fair environment, eliminating the biasing impact of ancillary optimizations that have traditionally only been used with one of the approaches. We show that for realistic analytical workloads, there is no considerable advantage for either form of pipelined query engine, as opposed to what recent research suggests. Also, by using micro-benchmarks, which demonstrate certain edge cases on which one approach or the other performs better, we show that our proposed engine dominates the existing engines by combining the benefits of both.