4 papers
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…
Multi-Objective Submodular Maximization with Differential Privacy
Ting Hou, Yanhao Wang, Yiping Wang +3
In this paper, we study multi-objective submodular maximization (MOSM) subject to a cardinality constraint under differential privacy (DP). Specifically, we aim to select a set of…
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…
LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
Ce Lyu, Minghao Zhao, Yanhao Wang +1
Database connectors are critical components enabling applications to interact with underlying database management systems (DBMS), yet their security vulnerabilities often remain ov…