函数依赖与2NF、3NF和BCNF.pdfVIP

5.5 函数依赖与 2NF、3NF和BCNF 函数依赖是关系模式中数据语义较小但是很基本的一个部分。函数依赖引起的问题主 要是数据冗余及其数据操作异常，解决的办法是进行关系模式的合理分解。那么，分解时 应当遵循怎样的思路？分解到怎样的程度才算是“规范”模式？本节就着重讨论这些问题。 5.5.1 第一范式——1NF 如果一个关系模式 R 中每个属性值都是一个不可分解的数据量，则称该关系模式满足 第一范式(First Normal Form)，记为R ∈1NF。 第一范式规定了一个关系中的属性值必须是“原子”的，它排斥了属性值为元组、数 组或某种复合数据的可能性，使得关系数据库中所有关系的属性值都是“最简形式”，这 样要求的意义在于可以做到起始结构简单，为以后复杂情形讨论带来方便。一般而言，每 一个关系模式都必须满足第一范式，1NF 是对关系模式的起码要求。 例 5-12 考察如图 5.12 所示的信息表，图 5.13 是分解转换后的 1NF 形式。 学号 姓名 系别 选修课程 图5.12 非1NF 其中的属性“选修课程”是个集合，不符合第一范式的要求，我们可以将此集合转换 单个的课程名，如果一个学生选三门课，则需要三个元组表示他所选的课程，这就叫作纵 向展开，如图5.13 所示。 学号 姓名 系别 课程名称 图5.13 1NF 形式 考察如图 5.14 所示的信息表。 职工姓名 部门 住址 省 市 街道 邮编 图5.14 非1NF 其中的属性“住址”具有复合结构，可以横向展开为多个属性，如图 5.15 所示。 职工姓名 部门 省 市 街道 邮编 数据库理论及应用基础 33 图 5.15 1NF 形式 5.5.2 第二范式——2NF 1. 问题的引入——关系模式的确定 一般对于一个关系 R 而言，除了要确定 R 的属性 U 之外，还要根据 R 的语义确定这 个关系模式上的所有函数依赖 F ，这样一个关系模式就是由三元组 R 、U 和 F 确定的一个 整体，可以写为 R(U,F) 。需要注意的是，这里的表达式仅仅表示一个三元组，并不表示通 常“谓词”或者关系。 例 5-13 假设有一个关系 SCG，它由属性 S#、Sn、Sd、Ss、C#和 G，其中 Ss 表示学 生所学专业，其他含义同前。这个关系的若干语义如下： 每个学生属于一个且仅属于一个系与一个专业。 每个学生修读的每门课程有且仅有一个成绩。 各个系无相同专业。 按照上述语义和其他信息，上述属性之间的函数依赖关系可以表示如下： S#→Sn，S#→Sd，S#→Ss，Ss→Sd(S#,C#)→G 此时有关系模式 SCG(U,F) ，其中： SCG(U,F)U={S#,Sn,Sd,Ss,C#,G} ； F={ S#→Sn,S#→Sd,S#→Ss,Ss→Sd,(S#,C#)→G} 。 可以看出，SCG 的候选键是{ S#,C#}，对于非主属性 Sn、Sd、S 和 G 而言，除了有 (S#,C#) F P P P ⎯⎯→G 之外，还有：{ S#,C#}⎯⎯→Sn，{ S#,C#}⎯⎯→Sd，{S#,C#}⎯⎯→Ss， 即存在着多个部分函数依赖，从而存在数据冗余。 确定了函数依赖集合 F 的关系模式R 就可以进行规范化工作了。规范化的核心是对关