georgia-tech-db / spes
Tool for checking whether two SQL queries are equivalent
☆33Updated last year
Related projects: ⓘ
- SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.☆42Updated 2 years ago
- ☆30Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆41Updated 10 months ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆31Updated 3 months ago
- ☆35Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆68Updated 4 years ago
- Query engine synthesizer based on, our domain-specific language, VOILA☆12Updated 3 years ago
- SkinnerDB is an analytical database management system. It uses adaptive processing and reinforcement learning to find near-optimal join o…☆47Updated 6 months ago
- In Spec We Trust☆28Updated 2 months ago
- ☆16Updated 4 years ago
- Paper list about adopting machine learning techniques into data management tasks.☆37Updated 4 years ago
- An automated prover that verifies the equivalence of SQL queries☆20Updated last month
- ☆11Updated 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…☆122Updated 2 years ago
- ☆16Updated last year
- A Vagrant box that automatically loads the IMDB dataset into Postgres☆61Updated 5 months ago
- Factorized Incremental View Maintenance for Queries and Analytics☆21Updated last year
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 3 years ago
- Cardinality Estimation Benchmark☆72Updated last year
- ☆24Updated 3 years ago
- Auto-Steer☆36Updated 2 months ago
- Graphs analytics on collections of views!☆34Updated 9 months ago
- A collection of resources on multi-way worst-case optimal join algorithms☆28Updated 2 months ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆57Updated last year
- A Relational Optimizer and Executor☆65Updated 3 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 4 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"☆22Updated 7 months ago
- Prototype compiler from SaneQL to SQL☆68Updated 8 months ago
- A Database System for Research and Fast Prototyping☆95Updated 2 months ago