SJTU-IPADS / SQLSolver
An automated prover that verifies the equivalence of SQL queries
☆35Updated 7 months ago
Alternatives and similar repositories for SQLSolver:
Users that are interested in SQLSolver are comparing it to the libraries listed below
- ☆22Updated 3 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆57Updated last year
- ☆37Updated last year
- ☆11Updated 2 weeks ago
- Detecting Logic Bugs in MySQL through Implication Oracle☆15Updated last year
- 本仓库维护DBHammer实验室的讨论班记录☆12Updated 2 months ago
- Tool for checking whether two SQL queries are equivalent☆37Updated last year
- ☆29Updated 2 years ago
- ☆30Updated 2 years ago
- Reducing the cache misses of SIMD vectorization using IMV☆27Updated 2 years ago
- PyTorch implementation of binary tree convolution☆48Updated 5 years ago
- A Database System for Research and Fast Prototyping☆102Updated last month
- M2Bench: A Database Benchmark for Multi-Model Analytic Workloads☆22Updated this week
- ☆21Updated 2 years ago
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆52Updated 3 months ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆18Updated 2 years ago
- Cardinality Estimation Benchmark☆75Updated last year
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated last year
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆68Updated 11 months ago
- An online logical query rewrite demo (schema+sql only)!☆36Updated last year
- ☆52Updated last year
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 10 months ago
- ☆27Updated last year
- ☆24Updated 3 years ago
- GPU library for writing SQL queries☆71Updated 9 months ago
- [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure☆62Updated 8 months ago
- ☆62Updated 10 months ago
- A new cardinality estimation scheme for join query estimation☆33Updated 2 months ago
- In Spec We Trust☆32Updated 2 months ago