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:
- ☆30Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆46Updated 8 months ago
- An automated prover that verifies the equivalence of SQL queries☆41Updated last week
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆51Updated 2 weeks ago
- ☆38Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 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…☆140Updated 3 years ago
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆69Updated last year
- SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.☆46Updated 3 years ago
- Auto-Steer☆47Updated 6 months ago
- Paper list about adopting machine learning techniques into data management tasks.☆37Updated 4 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆61Updated last year
- Prototype compiler from SaneQL to SQL☆82Updated last year
- Factorized Incremental View Maintenance for Queries and Analytics☆21Updated 5 months ago
- A Database System for Research and Fast Prototyping☆104Updated last month
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆56Updated 7 months ago
- Query engine synthesizer based on, our domain-specific language, VOILA☆13Updated 4 years ago
- Cardinality Estimation Benchmark☆78Updated last year
- SkinnerDB is an analytical database management system. It uses adaptive processing and reinforcement learning to find near-optimal join o…☆49Updated last year
- A prototype implementation of Bao for PostgreSQL☆199Updated 9 months ago
- A benchmark for serverless analytic databases.☆22Updated 9 months ago
- In Spec We Trust☆36Updated last month
- Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"☆24Updated last year
- ☆11Updated 4 months ago
- Query Optimizer Testing Framework for Postgres compatible DBs☆20Updated last month
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Updated 11 months ago
- BI benchmark with user generated data and queries☆66Updated 6 months ago
- Query Optimizer Service☆65Updated 3 weeks ago
- This is a paper list for new hardware database systems especially for gpu.