2 papers
cs.DB2026
A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations
Ce Lyu, Changzheng Wei, Yanhao Wang +6
The query optimizer is a fundamental component of database management systems that determines the most efficient execution strategy for a given query by evaluating alternative quer…
cs.DB2025
Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition
Hao Wu, Changzheng Wei, Yanhao Wang +7
This paper investigates the feasibility of achieving zero-knowledge verifiability for graph databases, enabling database owners to cryptographically prove the query execution corre…