egg

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

本文介绍了如何使用 Rust 中的 Egg 框架构建 SQL 优化器，涵盖常量折叠、谓词下推、连接重排序等技术，并采用基于规则和基于成本的优化，代码量不到一千行。