junyang / radbLinks
RA (radb): A relational algebra interpreter over relational databases
☆66Updated 2 years ago
Alternatives and similar repositories for radb
Users that are interested in radb are comparing it to the libraries listed below
Sorting:
- ☆85Updated 3 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆47Updated last year
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆74Updated 7 years ago
- Python interpreter for TLA+ specifications☆115Updated last year
- a datalog implementation in Python☆300Updated last year
- Extension of the rdf3x engine and the translatesparql tool.☆44Updated 12 years ago
- CMDBAC - Carnegie Mellon Database Application Catalog☆36Updated 4 years ago
- Prototype compiler from SaneQL to SQL☆86Updated last year
- SQLite TPCH database☆39Updated 8 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- OpenCypher to SQL Mapper☆107Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Your worst case is our best case.☆143Updated 8 years ago
- ☆53Updated 5 months ago
- ☆15Updated 7 years ago
- C++11 port of the PostgreSQL DBMS☆70Updated 9 years ago
- Code and Benchmarks for JOSIE (SIGMOD 2019)☆18Updated 2 years ago
- A python module that gives access to PostgreSQL's query parser, for turning SQL into a parse tree.☆164Updated 3 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆29Updated 2 months ago
- Educational tool for relational algebra☆92Updated last year
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆145Updated last week
- ☆84Updated this week
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Testing framework for PostgreSQL and its extensions☆150Updated last week
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 12 years ago
- ☆42Updated 2 years ago
- Relational Algebra Interpreter writting in Python and Qt☆32Updated last month
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated 2 years ago
- A very minimal implementation of the core idea of Hypothesis☆139Updated last year
- ☆71Updated 4 years ago