2 papers
cs.LO2026
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Hubie Chen, Stefan Mengel
A central computational task in database theory, finite model theory, and computer science at large is the evaluation of a first-order sentence on a finite structure. In the contex…
cs.DB2025
Intermediate Relation Size Bounds for Select-Project-Join-Union Query Plans
Hubie Chen, Markus Schneider
We study the problem of statically optimizing select-project-join-union (SPJU) plans where unary key constraints are allowed. A natural measure of a plan, which we call the output…