Alternatives To Symbolicsql
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Data Science Cheatsheet2,181
a year ago5TeX
4 years agomitTeX
A SQL implementation of an ancient handwriting recognition algorithm.
Intro Database Sql5
3 months agogpl-3.0TeX
Introduction to SQL and Database Design
7 years agoTeX
3 years agomitTeX
Grade management software for teachers developed using Python 3, PySimpleGUI and an Oracle Database
Inf115 Kraesjkurs2
a year agogpl-2.0TeX
Denne repositorien inneholder presentasjonen til INF115-kræsjkurset 2022 inkluderende LaTeX-kildekode
Beg Pl Sql2
6 years agootherTeX
Source code for 'Beginning PL/SQL' by Donald Bales
Restaurant Recommendation System Using Relational Database2
5 years agomitTeX
Restaurant Recommendation System Using Relational Database
10 years agoTeX
Alternatives To Symbolicsql
Select To Compare

Alternative Project Comparisons


How to use?

Install dependencies

  1. You need to install Racket.
  2. Install rosette raco pkg install rosette.

Write and verify your own rewriting rules

Examples can be find in ./src/tests, like ./src/tests/simpleRA.rkt. You need to write two SQL queries in our DSL and call (verify (same q1 q2)).

Run the scalability benchmark

Run ./src/


  1. Query Reformulation with Constraints. Alin Deutsch, et al.
  2. Qex: Symbolic SQL Query Explorer. Margus Veanes, et al.
  3. A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications. Michael Marcozzi, et al.
  4. Equivalence of SQL queries in presence of embedded dependencies. Rada Chirkova and Michael R. Genesereth.
  5. Symbolic Query Exploration. Margus Veanes, et al.
Popular Sql Projects
Popular Tex Projects
Popular Data Processing Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Symbolic Execution