Alternatives and similar repositories for SQLSolver:

Users that are interested in SQLSolver are comparing it to the libraries listed below

• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• VeriEQL / VeriEQL
  ☆11Updated last month
• qaqcatz / impomysql
  Detecting Logic Bugs in MySQL through Implication Oracle
  ☆16Updated last year
• microsoft / dsb
  The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…
  ☆52Updated 4 months ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated this week
• Nathaniel-Han / End-to-End-CardEst-Benchmark
  A new CardEst Benchmark to Bridge AI and DBMS
  ☆120Updated 2 years ago
• itrummer / dbbert
  DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.
  ☆57Updated last year
• rabbit721 / QPPNet
  ☆37Updated last year
• learnedsystems / CEB
  Cardinality Estimation Benchmark
  ☆78Updated last year
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• RyanMarcus / TreeConvolution
  PyTorch implementation of binary tree convolution
  ☆49Updated 5 years ago
• XuanheZhou / LearnedRewrite
  An online logical query rewrite demo (schema+sql only)!
  ☆36Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆37Updated 4 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated last week
• tidb-incubator / vldbss-2021
  ☆21Updated 3 years ago
• vldbss-2022 / vldbss2022
  ☆29Updated 2 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• Blondig / Lero-on-PostgreSQL
  ☆28Updated last year
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆11Updated 8 months ago
• CloudOLTP / Cornus
  ☆21Updated 2 years ago
• DBHammer / PaperDiscussion
  本仓库维护DBHammer实验室的讨论班记录
  ☆12Updated 3 months ago
• fzhedu / db-imv
  Reducing the cache misses of SIMD vectorization using IMV
  ☆28Updated 2 years ago
• learnedsystems / BaoForPostgreSQL
  A prototype implementation of Bao for PostgreSQL
  ☆195Updated 6 months ago
• Wind-Gone / awesome-ai4db-paper
  Paper related to AI4DB techniques
  ☆58Updated last week
• Eilowangfang / LPCE
  This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"
  ☆18Updated 2 years ago
• CASP-Systems-BU / Gadget
  A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores
  ☆17Updated 11 months ago
• balsa-project / balsa
  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
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆72Updated 4 years ago