georgia-tech-db / spesLinks
Tool for checking whether two SQL queries are equivalent
☆37Updated 2 years ago
Alternatives and similar repositories for spes
Users that are interested in spes are comparing it to the libraries listed below
Sorting:
- An automated prover that verifies the equivalence of SQL queries☆62Updated 2 months ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆68Updated 4 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
- SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.☆48Updated 4 years ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆72Updated 5 years ago
- ☆38Updated 2 years ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Updated last year
- SkinnerDB is an analytical database management system. It uses adaptive processing and reinforcement learning to find near-optimal join o…☆53Updated last year
- Join Order Benchmark (JOB)☆347Updated 11 months ago
- Paper list about adopting machine learning techniques into data management tasks.☆37Updated 5 years ago
- ☆36Updated 3 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆61Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆48Updated last year
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆79Updated last year
- A Database System for Research and Fast Prototyping☆113Updated 3 months ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆24Updated 2 years ago
- Cardinality Estimation Benchmark☆85Updated 2 years ago
- A prototype implementation of Bao for PostgreSQL☆217Updated last year
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆267Updated 7 years ago
- A benchmark for serverless analytic databases.☆25Updated 3 weeks ago
- [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics☆21Updated 5 months ago
- PyTorch implementation of binary tree convolution☆49Updated 6 years ago
- Prototype compiler from SaneQL to SQL☆88Updated 2 years ago
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 5 years ago
- TPC-H Benchmark para MYSQL☆48Updated 6 years ago
- An online logical query rewrite demo (schema+sql only)!☆41Updated 2 years ago
- ☆290Updated 3 years ago
- Query Optimizer Service☆95Updated 8 months ago
- Use PostgreSQL's planner hook to open a side entrance through which we can pass plan trees for immediate execution☆27Updated 8 months ago
- In Spec We Trust☆42Updated 7 months ago