如何判断关系数据库表EMP的范式是1NF,2NF,3NF还是BCNF?

为了确定一个关系数据库表是否符合第一范式（1NF）、第二范式（2NF）、第三范式（3NF）和Boyce-Codd范式（BCNF），需要理解每个范式的定义及其要求。以下是判断各个范式的步骤和标准：
第一范式（1NF）
要求：每个字段的值都是原子的（不可再分的单一值）。
检查方法：
1. 确认表中每个字段都只有一个值，即没有多值属性或重复的组。
2. 确保所有列的数据都是同类数据，没有复合属性或嵌套表。

第二范式（2NF）
要求：满足1NF，并且所有非主属性完全依赖于主键。
检查方法：
1. 确认表已经在1NF。
2. 如果主键是单一属性，则表已经满足2NF（因为单一主键无法部分依赖）。
3. 如果主键是复合键（由多个属性组成），确认每个非主属性完全依赖于整个复合键，而不是部分依赖于其中的某个属性。如果有部分依赖，则将相关的非主属性和部分键分离到一个新的表中。

第三范式（3NF）
要求：满足2NF，并且所有非主属性直接依赖于主键，而不是通过其他非主属性间接依赖。
检查方法：
1. 确认表已经在2NF。
2. 检查是否存在传递依赖（即一个非主属性依赖于另一个非主属性，而后者再依赖于主键）。如果存在传递依赖，则将相关属性分离到一个新的表中。

 Boyce-Codd范式（BCNF）
要求： 满足3NF，并且每个决定因素（决定属性的集合）都是候选键。
检查方法：
1. 确认表已经在3NF。
2. 检查每个决定因素是否是候选键。如果存在决定因素不是候选键，则需要重新分解表结构，确保每个决定因素都是候选键。

 示例
假设有一个学生选课表，包含以下属性：
 学生ID (StudentID)
 课程ID (CourseID)
 课程名 (CourseName)
 教授名 (ProfessorName)

1NF检查：
 每个字段都只包含单一值，没有多值属性。

2NF检查：
 主键为 (StudentID, CourseID) 复合键。
 课程名和教授名应该仅依赖于 CourseID，而不依赖于整个复合键，这意味着它们部分依赖，需要将课程信息拆分到另一个表。

3NF检查：
 新表1: 学生选课 (StudentID, CourseID)
 新表2: 课程信息 (CourseID, CourseName, ProfessorName)
 确认课程名和教授名没有通过其他非主属性间接依赖主键，若有，再进一步分解。

BCNF检查：
确认所有决定因素 (决定课程名和教授名的 CourseID) 都是候选键。
通过这些步骤，可以系统地将一个数据库表规范化，确保其结构优化且消除数据冗余。