Alternatives and similar repositories for sqlacidtest:

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

• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• VeriEQL / VeriEQL
  ☆11Updated last month
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆72Updated 4 years ago
• substrait-io / duckdb-substrait-extension
  ☆37Updated last week
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated 2 months ago
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆45Updated 3 years ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• amazon-science / redset
  Redset is a dataset containing three months worth of user query metadata that ran on a selected sample of instances in the Amazon Redshif…
  ☆58Updated 6 months ago
• jonamuen / sql-reduce
  A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener
  ☆16Updated 5 months ago
• apavlo / pvldb-announce
  PVLDB Paper Announcement Script
  ☆20Updated 2 weeks ago
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆238Updated this week
• SamArch27 / PRISM
  Strategically Deconstruct UDFs with PRISM for Faster Query Plans
  ☆14Updated 4 months ago
• embryo-labs / EvaluationOfColumnarFormats
  Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17
  ☆51Updated 10 months ago
• dranov / raft-tla
  ☆21Updated 3 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆47Updated 9 months ago
• hydromatic / sql-logic-test
  sql-logic-test
  ☆60Updated last year
• tum-db / user-defined-operators
  Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"
  ☆23Updated last year
• SJTU-IPADS / SQLSolver
  An automated prover that verifies the equivalence of SQL queries
  ☆35Updated 7 months ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆63Updated 3 years ago
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆28Updated last year
• cwida / public_bi_benchmark
  BI benchmark with user generated data and queries
  ☆64Updated 3 months ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆29Updated 3 weeks ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• cwida / duckdb-pgq
  DuckDB is an in-process SQL OLAP Database Management System
  ☆42Updated last week
• wagjamin / inkfuse
  InkFuse - An Experimental Database Runtime Unifying Vectorized and Compiled Query Execution.
  ☆45Updated 10 months ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• t1mm3 / vldb_voila
  Query engine synthesizer based on, our domain-specific language, VOILA
  ☆13Updated 4 years ago
• pdm-book / community
  ☆76Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆197Updated last week
• cwida / FastLanes
  Towards a New File Format
  ☆210Updated 3 weeks ago