georgia-tech-db / spes
Tool for checking whether two SQL queries are equivalent
☆37Updated last year
Alternatives and similar repositories for spes:
Users that are interested in spes are comparing it to the libraries listed below
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆67Updated 10 months ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆46Updated 7 months ago
- ☆30Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆45Updated 3 months ago
- An automated prover that verifies the equivalence of SQL queries☆32Updated 5 months ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 years ago
- A Database System for Research and Fast Prototyping☆98Updated 2 weeks ago
- ☆36Updated last year
- Auto-Steer☆45Updated last month
- Balsa is a learned SQL query optimizer. It tailor optimizes your SQL queries to find the best execution plans for your hardware and engin…☆133Updated 2 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆57Updated last year
- Cardinality Estimation Benchmark☆73Updated last year
- ☆19Updated 3 years ago
- ☆10Updated 4 months ago
- SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.☆45Updated 3 years ago
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆51Updated 2 months ago
- An efficient storage and compute engine for both on-prem and cloud-native data analytics.☆141Updated last week
- Paper list about adopting machine learning techniques into data management tasks.☆37Updated 4 years ago
- A Relational Optimizer and Executor☆66Updated last month
- A prototype implementation of Bao for PostgreSQL☆194Updated 4 months ago
- An online logical query rewrite demo (schema+sql only)!☆36Updated last year
- In Spec We Trust☆32Updated last month
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆72Updated 9 months ago
- Prototype compiler from SaneQL to SQL☆75Updated last year
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated last year
- Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025)☆42Updated last week
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆252Updated 6 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- ☆15Updated last month
- ☆70Updated 6 months ago