2 papers
cs.PL2025
Vbox: Efficient Black-Box Serializability Verification
Weihua Sun, Zhaonian Zou
Verifying the serializability of transaction histories is essential for users to know if the DBMS ensures the claimed serializable isolation level without potential bugs. Black-box…
cs.DB2023
Query Generation based on Generative Adversarial Networks
Weihua Sun, Run-An Wang, Zhaonian Zou
Many problems in database systems, such as cardinality estimation, database testing and optimizer tuning, require a large query load as data. However, it is often difficult to obta…