Datalog and Equality Saturation

Max Willsey (UC Berkeley)
https://simons.berkeley.edu/talks/max...
Logic and Algebra for Query Evaluation

This talk will cover recent connections between Datalog and equality saturation, an approach for search-based compiler optimizations. Topics will include an overview of equality saturation and its applications, its relationship to Datalog and the chase, and new query evaluation techniques needed to run queries on a "canonicalized" database. We will also touch on some preliminary and future work including a discussion of termination, as well as generalizing the approach beyond a single equivalence relation.