Normalization Assistant - DBMS Learning Platform

Define Relation

Relation Name

Attributes (comma-separated) Enter all attributes of your relation

Functional Dependencies

No functional dependencies added yet

→

Example: StudentID → StudentName means StudentID determines StudentName

Attribute Closure

Select attributes to compute closure

Candidate Keys

Analyze the relation to find candidate keys

Normalization Analysis

1NF

First Normal Form

Pending

All attributes must have atomic (indivisible) values.

2NF

Second Normal Form

Pending

No partial dependency of non-prime attributes on candidate key.

3NF

Third Normal Form

Pending

No transitive dependency of non-prime attributes.

BCNF

Boyce-Codd Normal Form

Pending

For every FD X → Y, X must be a superkey.

BCNF Decomposition

Verification

Lossless Join Property

Dependency Preservation