From the 1 of 2 linked papers with an AI index.
2 papers
cs.DB2026
Revisiting the Algebraic Foundation of Relational Data
Yisu Remy Wang, Paul Talma
The paper reexamines Tarski's Algebra of Relations as a basis for relational databases and introduces Prela, a new query language built on this algebra.
cs.PL2025
Semantic foundations of equality saturation
Dan Suciu, Yisu Remy Wang, Yihong Zhang
Equality saturation is an emerging technique for program and query optimization developed in the programming language community. It performs term rewriting over an E-graph, a data…