SJTU-IPADS / SQLSolver
An automated prover that verifies the equivalence of SQL queries
☆20Updated last month
Related projects: ⓘ
- ☆22Updated 3 years ago
- ☆29Updated last year
- Putting Database Meeting Reports Together☆34Updated 10 months ago
- ☆21Updated last year
- ☆68Updated 2 months ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆17Updated last year
- ☆30Updated 2 years ago
- Cardinality Estimation Benchmark☆72Updated last year
- A new CardEst Benchmark to Bridge AI and DBMS☆102Updated last year
- Paper related to AI4DB techniques☆42Updated this week
- A new cardinality estimation scheme for join query estimation☆29Updated 8 months ago
- A collection of work related to Database Optimization.☆43Updated 2 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆20Updated last year
- ☆23Updated last year
- Codes for building an AI-native database☆68Updated last month
- Sundial: A distributed OLTP database testbed.☆37Updated 3 years ago
- GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database☆71Updated 5 months ago
- A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores☆17Updated 4 months ago
- Reducing the cache misses of SIMD vectorization using IMV☆27Updated 2 years ago
- ☆69Updated last year
- Source code for Spitfire: A Three-Tier Buffer Manager for Volatile and Non-Volatile Memory☆36Updated last year
- ☆32Updated last year
- Paper related to OLAP techniques☆50Updated last week
- ☆34Updated 2 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆57Updated last year
- In Spec We Trust☆28Updated 2 months ago
- Tiered Indexing is a general way to improve the memory utilization of buffer-managed data structures including B+tree, Hashing, Heap, and…☆26Updated 4 months ago
- OLxPBench emphasizes that real-time queries, semantically consistent schema, and domain-specific workloads are essential in benchmarking,…☆15Updated 2 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆110Updated last year
- ☆56Updated last year