SJTU-IPADS / SQLSolverLinks
An automated prover that verifies the equivalence of SQL queries
☆56Updated 3 weeks ago
Alternatives and similar repositories for SQLSolver
Users that are interested in SQLSolver are comparing it to the libraries listed below
Sorting:
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆61Updated 2 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- In Spec We Trust☆42Updated 5 months ago
- Automated Testing Tool for Graph-processing Systems.☆12Updated 4 months ago
- A Database System for Research and Fast Prototyping☆112Updated last month
- ☆38Updated 2 years ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆21Updated 2 years ago
- [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics☆21Updated 3 months ago
- Auto-Steer☆51Updated last year
- Cardinality Estimation Benchmark