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 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Functional-Dependency-Calculator
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆25Updated 2 months ago
- ☆43Updated 9 months ago
- Refinery: an efficient graph solver for generating well-formed models☆15Updated last week
- The Melange Language Workbench☆28Updated last year
- ☆12Updated 6 years ago
- The Next Generation Logic Library☆135Updated 2 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 11 months ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- An editor for interactively building natural deduction proofs☆20Updated 6 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- JPL: The Prolog <-> Java interface☆54Updated this week
- Programming in Tabled Prolog by David S Warren☆22Updated 4 years ago
- A Datalog compiler and library☆19Updated 3 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated last month
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- A lazy-grounding Answer-Set Programming system☆58Updated 3 weeks ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆13Updated 2 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- general value printing within compiled programs☆29Updated 4 years ago
- Crate for reading TPTP files.☆12Updated 2 years ago
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]☆13Updated last month