Better Together: Unifying Datalog and Equality Saturation

Abstract

We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation (EqSat). Like Datalog, egglog supports efficient incremental execution, cooperating analyses, and lattice-based reasoning. Like EqSat, egglog supports term rewriting, efficient congruence closure, and extraction of optimized terms.

Document Details

• Document Type: Pub Defense Publication
• Publication Date: Jun 06, 2023
• Source ID: 10.1145/3591239

Entities

People

• David Cao
• Eli Rosenthal
• Max Willsey
• Oliver Flatt
• Philip Zucker
• Yihong Zhang
• Yisu Remy Wang
• Zachary Tatlock

Organizations

• Charles Stark Draper Laboratory
• Defense Advanced Research Projects Agency
• Google
• National Science Foundation
• United States Department of Energy
• University of California, San Diego
• University of Washington

Tags

Readers

• Artificial Intelligence
• Mathematical Modeling and Probability Theory.
• Solar Photovoltaics and Thermoelectric Devices.