SJTU-IPADS / SQLSolverLinks
An automated prover that verifies the equivalence of SQL queries
☆44Updated this week
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 last year
- [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics☆19Updated 3 months ago
- Detecting Logic Bugs in MySQL through Implication Oracle☆1Updated last year
- An online logical query rewrite demo (schema+sql only)!☆39Updated last year
- Automated Testing Tool for Graph-processing Systems.☆12Updated last month
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆18Updated 2 years ago
- M2Bench: A Database Benchmark for Multi-Model Analytic Workloads☆22Updated this week
- Tool for checking whether two SQL queries are equivalent☆36Updated 2 years ago
- Cardinality Estimation Benchmark☆79Updated last year
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated 2 years ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆40Updated this week
- 本仓库维护DBHammer实验室的讨论班记录☆13Updated 2 months ago
- In Spec We Trust☆36Updated 2 weeks ago
- ☆29Updated 2 years ago
- A new CardEst Benchmark to Bridge AI and DBMS☆126Updated 2 years ago
- Balsa is a learned SQL query optimizer. It tailor optimizes your SQL queries to find the best execution plans for your hardware and engin…☆141Updated 3 years ago
- PyTorch implementation of binary tree convolution☆50Updated 5 years ago
- Reducing the cache misses of SIMD vectorization using IMV☆28Updated 3 years ago
- ☆11Updated last week
- Supplementary Material for "LlamaTune: Sample-Efficient DBMS Configuration Tuning"☆35Updated 2 years ago
- ☆53Updated 2 years ago
- Putting Database Meeting Reports Together☆34Updated last year
- Auto-Steer☆48Updated 7 months ago
- A prototype implementation of Bao for PostgreSQL☆202Updated 10 months ago
- ☆27Updated 4 months ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Updated last year
- Paper related to AI4DB techniques☆87Updated 2 weeks ago
- A Database System for Research and Fast Prototyping☆105Updated last month
- A new cardinality estimation scheme for join query estimation☆39Updated 7 months ago
- ☆21Updated 3 years ago