-
Edit Attributes
-
Learning Resources
-
Load Example
-
Find a minimal cover
-
Find all Candidate Keys
-
Check normal form
-
Normalize to 2NF
-
Normalize to 3NF method 1
-
Normalize to 3NF method 2
-
Normalize to BCNF
-
{{attribute}}
Functions
About this tool
Attributes in Table
Separate attributes using a comma ( , )
Functional Dependencies
Save This Table
Save this table to your PC and you can use it next time.
Filename to Save As:
Check Normal Form
2NF
The table is in 2NF
2NF
The table is not in 2NF.
3NF
The table is in 3NF
3NF
The table is not in 3NF.
BCNF
The table is in BCNF
BCNF
The table is not in BCNF.
Show Steps
2NF
3NF
BCNF
Find Minimal Cover
{{attribute}}
{{attribute}}
Show Steps
Step 1: Rewrite the FD into those with only one attribute on RHS. We obtain:
{{attribute}}
{{attribute}}
Step 2: Remove trivial FDs (those where the RHS is also in the LHS). We obtain:
{{attribute}}
{{attribute}}
Step 3: Minimize LHS of each FD. We obtain:
{{attribute}}
{{attribute}}
Step 4: Remove redundant FDs (those that are implied by others). We obtain:
{{attribute}}
{{attribute}}
Find Candidate Keys
Candidate Keys Found
{{errorMessage}}
Show Steps
Normalize to 2NF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}
Show Steps
Normalize to 3NF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}
Show Steps
Normalize to BCNF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}
Show Steps
1NF to 3NF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}
Show Steps
© ICT of Griffith University 2015
Attributes in Table

Functional Dependencies



Save This Table

Filename to Save As:
Check Normal Form

2NF
The table is in 2NF

2NF
The table is not in 2NF.

3NF
The table is in 3NF

3NF
The table is not in 3NF.

BCNF
The table is in BCNF

BCNF
The table is not in BCNF.
Show Steps
2NF
3NF
BCNF
Find Minimal Cover
{{attribute}}
{{attribute}}

Show Steps
Step 1: Rewrite the FD into those with only one attribute on RHS. We obtain:
{{attribute}}
{{attribute}}

Step 2: Remove trivial FDs (those where the RHS is also in the LHS). We obtain:
{{attribute}}
{{attribute}}

Step 3: Minimize LHS of each FD. We obtain:
{{attribute}}
{{attribute}}

Step 4: Remove redundant FDs (those that are implied by others). We obtain:
{{attribute}}
{{attribute}}

Find Candidate Keys
Candidate Keys Found
{{errorMessage}}
Show Steps
Normalize to 2NF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}

Show Steps
Normalize to 3NF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}

Show Steps
Normalize to BCNF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}

Show Steps
1NF to 3NF
Attributes
{{attribute}}
Functional Dependencies
{{attribute}}
{{attribute}}

Show Steps
© ICT of Griffith University 2015