egg

SIGPLAN 博客回顾了等式饱和（equality saturation）与 e-graph 技术自 egg 论文以来的发展，介绍了 CACM Research Highlight、Dagstuhl 研讨会及 EGRAPHS 工作坊等进展，并以"不完整性"为主题讨论了该技术的现状、挑战与未来方向。

This article explains how to build a SQL optimizer using the Egg framework in Rust, covering techniques like constant folding, predicate pushdown, and join reordering with rule- and cost-based optimization, using under a thousand lines of code.