关系数据库的规范化设计.ppt

关系数据库的规范化设计 4.1.1 关系的外延和内涵 关系的外延（Extension） 关系的内涵（Intension） 4.1.2 关系模式的冗余和异常问题 4.1.2 关系模式的冗余和异常问题（三） 4.2 函数依赖4.2.1 函数依赖的定义（一） 定义4.1 设有关系模式R(U)，X和Y是属性集U的子集，函数依赖（Functional Dependency，简记为FD）是形为X→Y的一个命题，只要r是R的当前关系，对r中任意两个元组t和s，都有t[X]=s[X]蕴涵t[Y]=s[Y]，那么称FD X→Y在关系模式R (U)中成立。 X→Y读作“X函数决定Y”，或者“Y函数依赖于X”。 4.2.1 函数依赖的定义（二） 例4.2 4.2.1 函数依赖的定义（三） 例4.3 有一个关于学生选课、教师任课的关系模式： R（S#，SNAME，C#，GRADE，CNAME，TNAME，TAGE） 如果规定，每个学号只能有一个学生姓名，每个课程号只能决定一门课程，那么可写成下列FD形式： S#→SNAME C#→CNAME 每个学生每学一门课程，有一个成绩，那么可写出下列FD： （S#，C#）→GRADE 还可以写出其他一些FD： C#→（CNAME，TNAME，TAGE） TNAME→TAGE 4.2.2 FD的逻辑蕴涵 定义4.2 设F是在关系模式R上成立的函数依赖的集合，X→Y是一个函数依赖。如果对于R的每个满足F的关系r也满足X→Y，那么称F逻辑蕴涵X→Y，记为F ?X→Y。 定义4.3 设F是函数依赖集，被F逻辑蕴涵的函数依赖全体构成的集合，称为函数依赖集F的闭包（Closure），记为F+。即： F+=｛X→Y | F?X→Y ｝。 4.2.3 FD的推理规则（一） 设U是关系模式R的属性集，F是R上成立的只涉及到U中属性的函数依赖集。FD的推理规则有以下三条： A1（自反性，Reflexivity）：若Y?X?U，则X→Y在R上成立。 A2（增广性，Augmentation）：若X→Y在R上成立，且Z?U，则XZ→YZ在R上成立。 A3（传递性，Transitivity）：若X→Y和Y→Z在R上成立，则X→Z在R上成立。 4.2.3 FD的推理规则（二） 定理4.1 FD推理规则A1、A2和A3是正确的。也就是，如果X→Y是从F用推理规则导出，那么X→Y在F+中。 证明：根据FD的定义使用反证法来证明。 定理4.2 FD的其他五条推理规则: (1) A4（合并性，Union）：{ X→Y，X→Z }?X→YZ。 (2) A5（分解性，Decomposition）：{X→Y，Z?Y }? X→Z 。 (3) A6（伪传递性）：{ X→Y，WY→Z }? WX→Z。 (4) A7（复合性，Composition）： {X→Y，W→Z } ? XW→YZ。 (5) A8 { X→Y，W→Z }?X∪(W－Y)→YZ。”通用一致性定理” 4.2.3 FD的推理规则（三） 例4.5 已知关系模式R（ABC），F={A→B，B→C }，求F+。 根据FD的推理规则，可推出F的F+有43个FD。 例如，据规则A1可推出A→φ（φ表示空属性集），A→A，…。据已知的A→B及规则A2可推出AC→BC，AB→B，A→AB，…。据已知条件及规则A3可推出A→C等。作为习题，读者可自行推出这43个FD。 4.2.3 FD的推理规则（四） 定义4.4 对于FD X→Y，如果Y?X，那么称X→Y是一个“平凡的FD”，否则称为“非平凡的FD”。 定理4.3 如果A1…An是关系模式R的属性集，那么X→ A1…An成立的充分必要条件是X→Ai（i=1，…，n）成立。 4.2.4 FD和关键码的联系 定义4.5 设关系模式R的属性集是U，X是U的一个子集。如果X→U在R上成立，那么称X是R的一个超键。如果X→U在R上成立，但对于X的任一真子集X1都有X1→U不成立，那么称X是R上的一个候选键。 例4.6 在学生选课、教师任课的关系模式中： R(S#，SNAME，C#，GRADE，CNAME，TNAME，TAGE) 如果规定：每个学生每学一门课只有一个成绩；每个学生只有一个姓名；每个课程号只有一个课程名；每门课程只有一个任课教师。 根据这些规则，可以知道(S#，C#)能函数决定R的全部属性，并且是一个候选键。虽然(S#，SNAM