SJTU-IPADS / SQLSolver
An automated prover that verifies the equivalence of SQL queries
☆27Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for SQLSolver
- Detecting Logic Bugs in MySQL through Implication Oracle☆13Updated 8 months ago
- ☆22Updated 3 years ago
- In Spec We Trust☆32Updated 4 months ago
- ☆30Updated 2 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆50Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆23Updated 6 months ago
- Cardinality Estimation Benchmark☆72Updated last year
- ☆51Updated last year
- ☆29Updated 2 years ago
- Reducing the cache misses of SIMD vectorization using IMV☆27Updated 2 years ago
- ☆21Updated 2 years ago
- 本仓库维护DBHammer实验室的讨论班记录☆11Updated last week
- A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores☆17Updated 6 months ago
- A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs☆74Updated last year
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆112Updated last year
- A Database System for Research and Fast Prototyping☆98Updated 3 weeks ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆17Updated last year
- Factorized Incremental View Maintenance for Queries and Analytics☆21Updated last year
- Paper related to AI4DB techniques☆46Updated 3 weeks ago
- ☆36Updated last year
- A new CardEst Benchmark to Bridge AI and DBMS☆107Updated last year
- This is the implementation repository of our OSDI'23 paper: SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory.☆57Updated 3 weeks ago
- Tool for checking whether two SQL queries are equivalent☆34Updated last year
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆21Updated last year
- An online logical query rewrite demo (schema+sql only)!☆32Updated last year
- 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
- Source code for Spitfire: A Three-Tier Buffer Manager for Volatile and Non-Volatile Memory☆36Updated last year
- LiveGraph: a transactional graph storage system with purely sequential adjacency list scans☆50Updated 3 years ago
- A prototype implementation of Bao for PostgreSQL☆183Updated 2 months ago