Boyce-Codd Normal Form

Consider a table named "Course_Information" that stores details about courses, including Course ID, Course Name, Professor ID, and Professor Name.

Original Table:

Transformation into BCNF:

Identifying Non-Trivial Dependencies:

• Professor Name depends not only on the Professor ID but also on the Course ID.

Decomposition into BCNF:

Course Table:

Professor Table:

Result:

• The Course Table contains unique course information without non-trivial dependencies.
• The Professor Table separates Professor ID and Professor Name, ensuring each table represents distinct information, fulfilling Boyce-Codd Normal Form (BCNF) criteria by eliminating non-trivial functional dependencies.