jonamuen / sql-reduce
A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener
☆16Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sql-reduce
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- A list of bugs found by SQLancer☆13Updated 9 months ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆69Updated 4 years ago
- fuzzing for config☆13Updated 4 years ago
- Jepsen and Elle based Consistency Checking Interface☆21Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆43Updated last month
- scripts for testing TiDB☆10Updated 8 months ago
- Tool for checking whether two SQL queries are equivalent☆34Updated last year
- Detecting Logic Bugs in MySQL through Implication Oracle☆13Updated 8 months ago
- This is the iiBench benchmark (aka the Index Insertion Benchmark) implemented as a sysbench workload☆15Updated 2 years ago
- personal git mirror of sqllogictest☆38Updated 2 months ago
- The command-line frontend to transactional consistency checkers for black-box databases☆27Updated 2 weeks ago
- Query engine synthesizer based on, our domain-specific language, VOILA☆12Updated 3 years ago
- ☆12Updated 11 months ago
- Prototype compiler from SaneQL to SQL☆72Updated 10 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- go-sqlancer☆74Updated 4 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆50Updated last year
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 4 years ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆36Updated 5 months ago
- go-sqlsmith is a port of sqlsmith☆35Updated 11 months ago
- In-memory, columnar, arrow-based database.☆44Updated 2 years ago
- ☆12Updated 5 years ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 3 years ago
- ☆30Updated 2 years ago
- This is a modified version of PostgreSQL with just-in-time compiler for expressions. Current base version is 9.6.1.☆55Updated 8 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago