georgia-tech-db / spes
Tool for checking whether two SQL queries are equivalent
☆34Updated last year
Related projects ⓘ
Alternatives and complementary repositories for spes
- ☆30Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆43Updated last month
- SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.☆43Updated 3 years ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆70Updated 4 years ago
- An automated prover that verifies the equivalence of SQL queries☆27Updated 3 months ago
- A code-generating database system with incorporated versioning commands in SQL.☆14Updated 3 years ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆36Updated 5 months ago
- Prototype compiler from SaneQL to SQL☆72Updated 11 months ago
- Query engine synthesizer based on, our domain-specific language, VOILA☆12Updated 3 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…☆128Updated 2 years ago
- ☆36Updated last year
- ☆9Updated 2 months ago
- In Spec We Trust☆32Updated 4 months ago
- A Database System for Research and Fast Prototyping☆98Updated 3 weeks ago
- ☆12Updated 3 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆57Updated last year
- Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"☆22Updated 9 months ago
- Auto-Steer☆40Updated last month
- A collection of resources on multi-way worst-case optimal join algorithms☆28Updated 4 months ago
- Reference implementations for the LDBC Social Network Benchmark's Business Intelligence (BI) workload☆36Updated 2 months ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆15Updated last year
- A benchmark for serverless analytic databases.☆19Updated 2 months ago
- ☆37Updated 7 months ago
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆62Updated 8 months ago
- Graphs analytics on collections of views!☆34Updated 11 months ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Updated last month
- Quickstep project☆40Updated 2 weeks ago
- A Relational Optimizer and Executor☆66Updated 3 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago