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.SE2026
BugForge: Constructing and Utilizing DBMS Bug Repository to Enhance DBMS Testing
Dawei Li, Qifan Liu, Yuxiao Guo +7
DBMSs are complex systems prone to bugs that may lead to system failures or compromise data integrity. Establishing unified DBMS bug repositories is crucial for systematically orga…