SJTU-IPADS / SQLSolverLinks
An automated prover that verifies the equivalence of SQL queries
☆61Updated 2 months ago
Alternatives and similar repositories for SQLSolver
Users that are interested in SQLSolver are comparing it to the libraries listed below
Sorting:
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆61Updated 2 years ago
- [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics☆21Updated 5 months ago
- In Spec We Trust☆42Updated 7 months 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…☆147Updated 3 years ago
- Automated Testing Tool for Graph-processing Systems.☆12Updated 6 months ago
- Cardinality Estimation Benchmark☆85Updated 2 years ago
- PyTorch implementation of binary tree convolution☆49Updated 6 years ago
- 本仓库维护DBHammer实验室的讨论班记录☆17Updated 3 weeks ago
- A new CardEst Benchmark to Bridge AI and DBMS☆135Updated 2 years ago
- An online logical query rewrite demo (schema+sql only)!☆41Updated 2 years ago
- GPTuner is a manual-reading database tuning system leveraging domain knowlege automatically and extensively to enhance knob tuning proces…☆122Updated 7 months ago
- M2Bench: A Database Benchmark for Multi-Model Analytic Workloads☆22Updated 2 months ago
- A fuzzing framework for finding transactional bugs in DBMSs☆54Updated 2 years ago
- A prototype implementation of Bao for PostgreSQL☆216Updated last year
- A Database System for Research and Fast Prototyping☆113Updated 2 months ago
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆79Updated last year
- ☆21Updated last month
- ☆12Updated 5 months ago
- Supplementary Material for "LlamaTune: Sample-Efficient DBMS Configuration Tuning"☆38Updated 3 years ago
- ☆38Updated 2 years ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Updated last year
- ☆29Updated 3 years ago
- A basic repository for a Clang-based tool, with CMake integration.☆10Updated 2 years ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆72Updated 5 years ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆21Updated 3 years ago
- ☆34Updated 2 years ago
- ☆72Updated 3 years ago
- Reducing the cache misses of SIMD vectorization using IMV☆29Updated 3 years ago
- ☆31Updated 10 months ago