bme-db-lab / Functional-Dependency-CalculatorLinks
Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal form)
☆24Updated 3 years ago
Alternatives and similar repositories for Functional-Dependency-Calculator
Users that are interested in Functional-Dependency-Calculator are comparing it to the libraries listed below
Sorting:
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆160Updated last month
- Python interpreter for TLA+ specifications☆114Updated last year
- ☆37Updated 5 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated this week
- ☆20Updated last year
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- Resources for Learning PLT Redex☆11Updated 4 years ago
- ☆81Updated 2 years ago
- The Melange Language Workbench☆29Updated 2 years ago
- TurnKey artifact for Z3☆39Updated this week
- SMTInterpol interpolating SMT solver☆68Updated 3 weeks ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆47Updated 2 years ago
- Spoofax runtime☆147Updated 4 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- RA (radb): A relational algebra interpreter over relational databases☆66Updated 2 years ago
- Refinery: an efficient graph solver for generating well-formed models☆19Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated this week
- λ² is a tool for synthesizing functional programs from input-output examples.☆70Updated 2 years ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Maude Formal Environment☆17Updated 5 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- Core components for the Scribble Java tools☆56Updated 10 months ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- Aeon programming language☆19Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆19Updated 10 months ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated 3 weeks ago