SJTU-IPADS / SQLSolverLinks
An automated prover that verifies the equivalence of SQL queries
☆49Updated 3 months 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.☆62Updated 2 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- An online logical query rewrite demo (schema+sql only)!☆40Updated 2 years ago
- [ICDE 2024] VDTuner - Automated Performance Tuning for Vector Data Management Systems (Vector Databases)☆32Updated last year
- GPTuner is a manual-reading database tuning system leveraging domain knowlege automatically and extensively to enhance knob tuning proces…☆118Updated 3 months ago
- Cardinality Estimation Benchmark☆83Updated 2 years ago
- M2Bench: A Database Benchmark for Multi-Model Analytic Workloads☆22Updated 3 months ago
- A new CardEst Benchmark to Bridge AI and DBMS☆132Updated 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…☆143Updated 3 years ago
- Auto-Steer☆49Updated 10 months ago
- ☆16Updated 2 months ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆21Updated 2 years ago
- PilotScope is a middleware to bridge the gaps of deploying AI4DB (Artificial Intelligence for Databases) algorithms into actual database …☆164Updated last year
- PyTorch implementation of binary tree convolution☆50Updated 5 years ago
- A Database System for Research and Fast Prototyping☆109Updated 2 months ago
- AI-powered Autonomous Data System☆61Updated last week
- Automated Testing Tool for Graph-processing Systems.☆12Updated 3 months ago
- ☆21Updated 4 years ago
- Paper related to AI4DB techniques☆99Updated this week
- A prototype implementation of Bao for PostgreSQL☆214Updated last year
- ☆38Updated 2 years ago
- ☆12Updated last month
- Supplementary Material for "LlamaTune: Sample-Efficient DBMS Configuration Tuning"☆36Updated 3 years ago
- ☆71Updated 2 years ago
- [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics☆20Updated last month
- 本仓库维护DBHammer实验室的讨论班记录☆15Updated last week
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆65Updated 11 months ago
- ☆29Updated 3 years ago
- ☆29Updated 7 months ago
- In Spec We Trust☆40Updated 4 months ago