research
∙
07/28/2023
No More Nulls!
Since the inception of SQL, nulls have frustrated database users and bui...
share
research
∙
04/10/2023
Better Together: Unifying Datalog and Equality Saturation
We present egglog, a fixpoint reasoning system that unifies Datalog and ...
research
∙
01/25/2023
Free Join: Unifying Worst-Case Optimal and Traditional Joins
Over the last decade, worst-case optimal join (WCOJ) algorithms have eme...
research
∙
02/21/2022
Optimizing Recursive Queries with Program Synthesis
Most work on query optimization has concentrated on loop-free queries. H...
research
∙
08/23/2021
Rewrite Rule Inference Using Equality Saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
research
∙
08/04/2021
Relational E-Matching
We present a new approach to e-matching based on relational join; in par...
research
∙
05/30/2021
Convergence of Datalog over (Pre-) Semirings
Recursive queries have been traditionally studied in the framework of da...
research
∙
01/05/2021
Equality Saturation for Tensor Graph Superoptimization
One of the major optimizations employed in deep learning frameworks is g...
research
∙
04/07/2020
egg: Fast and Extensible E-graphs
An e-graph efficiently represents a congruence relation over many expres...
research
∙
04/07/2020
egg: Easy, Efficient, and Extensible E-graphs
An E-graph is a data structure that can efficiently encode the congruenc...
research
∙
02/19/2020