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
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- ☆12Updated 6 years ago
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 2 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Lab materials for the Software and Systems Verification (VIMIMA01) course☆30Updated 2 years ago
- A Tool for Multi-Paradigm Modeling☆24Updated 4 months ago
- ☆35Updated 5 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
- A library of formal models in the jani-model format.☆10Updated 2 years ago
- Main repository of the GreatSPN framework☆42Updated 8 months ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆14Updated last year
- SMTInterpol interpolating SMT solver☆61Updated 6 months ago
- top-down interpreter for ASP programs with constraints☆15Updated 2 years ago
- The Melange Language Workbench☆29Updated last year
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated 2 months ago
- ⛓️ Extension of clingo to handle constraints over integers☆25Updated this week
- Refinery: an efficient graph solver for generating well-formed models☆16Updated this week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 11 months ago
- Software Language Engineering Body of Knowledge☆48Updated 4 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- action language providing open class mechanism to xtend/java☆25Updated last year
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- A Datalog compiler and library☆19Updated 3 years ago
- Getting started tutorials and cheat sheets for various technologies used in our projects.☆79Updated 5 years ago
- Python interface for SWI-Prolog☆44Updated last week
- RTEC is an Event Calculus implementation optimised for stream reasoning☆86Updated last month
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆79Updated 3 months ago