SJTU-IPADS / SQLSolverLinks
An automated prover that verifies the equivalence of SQL queries
☆45Updated last month
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☆36Updated 2 years ago
- Automated Testing Tool for Graph-processing Systems.☆12Updated last month
- ☆15Updated last month
- [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics☆20Updated 5 months ago
- Cardinality Estimation Benchmark☆82Updated 2 years ago
- PyTorch implementation of binary tree convolution☆50Updated 5 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
- Reducing the cache misses of SIMD vectorization using IMV☆28Updated 3 years ago
- M2Bench: A Database Benchmark for Multi-Model Analytic Workloads☆22Updated last month
- An online logical query rewrite demo (schema+sql only)!☆39Updated 2 years ago
- ☆21Updated 4 years ago
- In Spec We Trust☆37Updated 2 months ago
- GPTuner is a manual-reading database tuning system leveraging domain knowlege automatically and extensively to enhance knob tuning proces…☆113Updated last month
- A prototype implementation of Bao for PostgreSQL☆206Updated 11 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆40Updated last month
- A new CardEst Benchmark to Bridge AI and DBMS☆130Updated 2 years ago
- ☆53Updated 2 years ago
- ☆29Updated 2 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- ☆38Updated 2 years ago
- Source code for Spitfire: A Three-Tier Buffer Manager for Volatile and Non-Volatile Memory☆39Updated 2 years ago
- ☆11Updated 3 weeks ago
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆74Updated last year
- ☆34Updated 3 years ago
- [ICDE 2024] VDTuner - Automated Performance Tuning for Vector Data Management Systems (Vector Databases)☆31Updated last year
- A Database System for Research and Fast Prototyping☆106Updated last week
- 本仓库维护DBHammer实验室的讨论班记录☆14Updated 3 months ago
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆63Updated 9 months ago
- A fuzzing framework for finding transactional bugs in DBMSs☆53Updated 2 years ago