Input relation and its functional dependencies
NOTE: Needs MVD if 4NF is gonna be available
Output
- Closures
- Decomposition via 3NF / BCNF / 4NF(?)
- Minimal Basis / Cover
- Accept Relation
- Accept FDs
- Output closures
- Output minimal basis
- Output BCNF Decomposition
- Output 3NF Decomposition
- Accept MVD (optional)
- Output 4NF Decomposition
- Display step by step details