1 citations · 1 across the 1 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2021
Testing DBMS Performance with Mutations
Xinyu Liu, Qi Zhou, Joy Arulraj +1
Because database systems are the critical component of modern data-intensive applications, it is important to ensure that they operate correctly. To this end, developers extensivel…
cs.DB2020
A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
Qi Zhou, Joy Arulraj, Shamkant Navathe +2
In database-as-a-service platforms, automated verification of query equivalence helps eliminate redundant computation in the form of overlapping sub-queries. Researchers have propo…