Database

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

To Do:

• Accept Relation
• Accept FDs
• Output closures
• Output minimal basis
• Output BCNF Decomposition
• Output 3NF Decomposition

Optional To Do:

• Accept MVD (optional)
• Output 4NF Decomposition
• Display step by step details