bme-db-lab / Functional-Dependency-Calculator
Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal form)
☆25Updated 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
- Refinery: an efficient graph solver for generating well-formed models☆16Updated this week
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- The Melange Language Workbench☆29Updated last year
- RA (radb): A relational algebra interpreter over relational databases☆65Updated last year
- ☆12Updated 6 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆36Updated last year
- ☆44Updated last year
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated 2 months ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated last year
- ☆20Updated last year
- Code to extract functional dependencies (FDs) and conditional functional dependencies (CFDs) from data☆36Updated 4 years ago
- ☆18Updated 5 years ago
- The Next Generation Logic Library☆142Updated 5 months ago
- Linearizability Visualizer☆10Updated 10 years ago
- Lab materials for the Software and Systems Verification (VIMIMA01) course☆30Updated 2 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Final Year Masters Project: modal logic solver tableaux☆23Updated 2 years ago
- gemoc-studio☆27Updated 2 months ago
- The Train Benchmark framework for evaluating incremental model validation performance☆12Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 2 months ago
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- A Tool for Multi-Paradigm Modeling☆24Updated 7 months ago
- Compilation and Verification of Data-Centric Languages☆58Updated 9 months ago
- Spoofax runtime☆143Updated last week
- Whole Platform Language Workbench☆27Updated 11 months ago
- a book about declarative language definition☆23Updated 9 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆14Updated 6 months ago
- Pluggable type-checking for Java☆21Updated this week