Towards Relational Contextual Equality Saturation

TL;DR

This paper discusses extending equality saturation techniques to relational models using egglog, aiming to improve program optimization with context-aware rewrite rules.

Contribution

It introduces ongoing work to develop relational equality saturation in egglog, combining contextual reasoning with relational models.

Findings

Summarizes existing approaches to contextual equality saturation.

Identifies key challenges in integrating relational models.

Outlines main applications of contextual equality saturation.

Abstract

Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appears in an expression. Existing work has brought contextual reasoning to egg; in this paper, we share our ongoing work to extend this to relational equality saturation in egglog. We summarize the existing approaches to contextual equality saturation, outline its main applications, and identify key challenges in combining this approach with relational models.