【论文研读】Better Together:Unifying Datalog and Equality Saturation
最近研究ReassociatePass整的头大,翻两篇Datalog的论文看看。今天看的一篇是比较新的文章,23年4月贴到arxiv上的。本文的主要贡献是提出了egglog,将Datalog和Eqsat结合起来,继承了Datalog的efficientincrementalexecution,cooperatinganalysisandlattice目录Introduction部分BackGrou