Symbolicsql
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Data Science Cheatsheet | 2,181 | a year ago | 5 | TeX | ||||||
| Handwriting | 64 | 4 years ago | mit | TeX | ||||||
| A SQL implementation of an ancient handwriting recognition algorithm. | ||||||||||
| Intro Database Sql | 5 | 3 months ago | gpl-3.0 | TeX | ||||||
| Introduction to SQL and Database Design | ||||||||||
| Symbolicsql | 5 | 7 years ago | TeX | |||||||
| Gradesk | 5 | 3 years ago | mit | TeX | ||||||
| Grade management software for teachers developed using Python 3, PySimpleGUI and an Oracle Database | ||||||||||
| Inf115 Kraesjkurs | 2 | a year ago | gpl-2.0 | TeX | ||||||
| Denne repositorien inneholder presentasjonen til INF115-kræsjkurset 2022 inkluderende LaTeX-kildekode | ||||||||||
| Beg Pl Sql | 2 | 6 years ago | other | TeX | ||||||
| Source code for 'Beginning PL/SQL' by Donald Bales | ||||||||||
| Restaurant Recommendation System Using Relational Database | 2 | 5 years ago | mit | TeX | ||||||
| Restaurant Recommendation System Using Relational Database | ||||||||||
| Livermore | 2 | 10 years ago | TeX | |||||||
Alternatives To SymbolicsqlSelect To Compare
Alternative Project Comparisons
Readme
SymbolicSQL
How to use?
Install dependencies
- You need to install Racket.
- 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/run-tests.sh.
Reference
- Query Reformulation with Constraints. Alin Deutsch, et al.
- Qex: Symbolic SQL Query Explorer. Margus Veanes, et al.
- A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications. Michael Marcozzi, et al.
- Equivalence of SQL queries in presence of embedded dependencies. Rada Chirkova and Michael R. Genesereth.
- 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.
Sql
Tex
Symbolic Execution