SJTU-IPADS / SQLSolver
An automated prover that verifies the equivalence of SQL queries
☆37Updated 8 months ago
Alternatives and similar repositories for SQLSolver:
Users that are interested in SQLSolver are comparing it to the libraries listed below
- Cardinality Estimation Benchmark☆78Updated last year
- An online logical query rewrite demo (schema+sql only)!☆38Updated last year
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆59Updated last year
- ☆71Updated 2 years ago
- PyTorch implementation of binary tree convolution☆49Updated 5 years ago
- A new CardEst Benchmark to Bridge AI and DBMS☆122Updated 2 years ago
- Supplementary Material for "LlamaTune: Sample-Efficient DBMS Configuration Tuning"☆35Updated 2 years ago
- ☆21Updated 3 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated last year
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆18Updated 2 years ago
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆53Updated 5 months ago
- ☆29Updated last year
- ☆11Updated 2 months ago
- ☆35Updated 2 months ago
- ☆31Updated 2 years ago
- Paper related to AI4DB techniques☆63Updated this week
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆24Updated 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…☆139Updated 2 years ago
- Auto-Steer☆47Updated 4 months ago
- 本仓库维护DBHammer实验室的讨论班记录☆12Updated last week
- A customized and efficient database tuning system [VLDB'22]☆33Updated last year
- A prototype implementation of Bao for PostgreSQL☆196Updated 7 months ago
- ☆30Updated 2 years ago
- ☆37Updated last year
- AI-powered Autonomous Data System☆56Updated this week
- ☆16Updated this week
- Reducing the cache misses of SIMD vectorization using IMV☆28Updated 2 years ago
- ☆24Updated 3 years ago
- This repository includes the code base used in the paper "Is Your Learned Query Optimizer Behaving As You Expect? A Machine Learning Pers…☆14Updated last year
- Codes for building an AI-native database☆74Updated 8 months ago