第4章 关系规范化理论.pptxVIP

1971 E.F.Codd 提出 1NF 2NF 3NF BCNF 4NF 5NF ;4.1 问题的提出;例： U={学号，系部，系主任，课程名称，成绩} F={学号→系部，系部 →系主任, (学号，课程名称) →成绩};缺点 1、冗余太大 2、操作异常 1）插入异常 2）删除异常 3）修改异常;通过适当地进行模式分解;适当地进行模式分解;4.2 函数依赖和范式理论;定义和判定范式级别——利用函数依赖;一、定义函数依赖;定义4.3：R（U）的属性子集X，Y之间的函数依赖用X → Y表示，它在构成关系R的任意元组r上指定了一个约束。这个约束是：如果对于r中的任何两个元组t1和t2有t1[X]＝t2[X]，则必须也有t1[Y]＝t2[Y]。 ;例如：U={学号，系部，系主任，课程名称，成绩} F={学号→系部，系部 →系主任, (学号，课程名称) →成绩};由函数依赖导出的概念： 1 .决???因素：若X→Y，则X叫做决定因素 2 .互相依赖：若X→Y， Y→X， 则记作X←→Y。 3 .若Y不函数依赖于