Building a Join Optimizer for Soufflé

1 · The Soufflé Project · Sept. 9, 2022, 2 p.m.
The paper Building a Join Optimizer for Soufflé has been published in LOPSTR 2022: The 32nd International Symposium on Logic-Based Program Synthesis and Transformation. The paper describes the design of a feedback-directed join optimizer for compiling Datalog engines such as Soufflé. The join optimizer automatically finds high-performance join orders that are competitive with hand-tuned orders found by experts. As a result, Datalog programmers can unlock high-performance execution without unders...