Boyce-Codd Normal Form (BCNF)
Boyce-Codd Normal Form
BCNF is an extension of Third Normal Form in strict way. BCNF states that
For any non-trivial functional dependency, X → A, then X must be a super-key.
In the above depicted picture, Stu_ID is super-key in Student_Detail relation and Zip is super-key in ZipCodes relation. So,
Stu_ID → Stu_Name, Zip
Zip → City
Confirms, that both relations are in BCNF.