06关系规范化.ppt

目录 6.1 问题的提出 关系模式 数据依赖 关系模式的问题 一、关系模式 举例：描述学校教务的数据库 学生的学号（Sno）、所在系（Sdept） 系主任姓名（Mname）、课程号（Cno） 成绩（Grade） 单一的关系模式 ： Student U、F U ＝｛ Sno, Sdept, Mname, Cno, Grade ｝ 数据库的语义： ⒈ 一个系有若干学生， 一个学生只属于一个系； ⒉ 一个系只有一名主任（正职）； ⒊ 一个学生可以选修多门课程， 每门课程有若干学生选修； ⒋ 每个学生所学的每门课程都有一个成绩。 属性组U上的一组函数依赖F： F ＝｛ Sno → Sdept, Sdept → Mname, (Sno, Cno) → Grade ｝ 冗余太大 更新异常 插入异常 删除异常 结论： Student关系模式不是一个好的关系模式。 “好”的关系模式： 不会发生插入异常、删除异常、更新异常， 数据冗余应尽可能少。 Student分解成3个关系模式 S({SNO,SDEPT},{SNO → SDEPT}) SC({SNO,CNO,GRADE}, {(SNO,CNO) → GRADE}) DEPT({SDEPT,MNAME}, {SDEPT → MNAME}) 规范化理论正是用来改造关系模式，通过分解关系模式来消除数据依赖所存在的不好性质，以解决插入异常、删除异常、更新异常和数据冗余问题。 6.2 规范化 函数依赖 码 范式 2NF 3NF 6.2.1 函数依赖 函数依赖 完全函数依赖 部分函数依赖 传递函数依赖 术语和记号： 非平凡的函数依赖（讨论的） 平凡的函数依赖 决定因素 X与Y一一对应 Y不函数依赖于X，记作 X → Y 二、完全函数依赖 1.定义 条件 ：X → Y且 Xˊ→ Y，Xˊ是X的任意真子集 结论 ：Y对X完全函数依赖 2.符号 X Y (FULL) 三、部分函数依赖 1.定义 条件 ：X → Y且Y不完全函数依赖于X 结论 ：Y对X部分函数依赖 2.符号 X Y (PART) 四、传递函数依赖 1.定义 条件 ：X → Y，Y X，Y → X , Y → Z 结论 ：Z对X传递函数依赖 2.符号 X Z X Z (transmit ) 6.2.2 码 候选码 主码 外部码 一、候选码(Candidate Key) 定义：若 K U ，K为R U, F 的属性或属性组，则K为R的候选码。 二、主码（Primary Key） 定义：若候选码多于一个，选定其中的一个为主码。 结论：对于任何一个关系，关系的主码是唯一的，关系的候选码可能不唯一。 如果关系的候选码唯一，码＝主码＝候选码。 三、外部码 / 外码(Foreign Key) 定义：若关系R中的属性或属性组X并非R的码，而是另一关系的码，则X为R的外部码。 6.2.3 范式 范式的定义、种类、联系 1NF 一、范式 2. 种类: 第一范式 1NF 第二范式 2NF 第三范式 3NF 修正的第三范式 BCNF 第四范式 4NF 第五范式 5NF 3. 联系： 1NF ? 2NF? 3NF ?BCNF ? 4NF ? 5NF 二、 1NF(第一范式) 定义：原子属性（即属性是不可再分的数据项），则R∈1NF 结论：1NF的定义也是关系的性质（其中一条），1NF是规范化条件中最基本的一条，关系模型要求关系必须满足1NF。 举例：Student分解成3个关系模式 S({SNO,SDEPT},{SNO → SDEPT}) ∈1NF SC({SNO,CNO,GRADE}, {(SNO,CNO) → GRADE}) ∈1NF DEPT({SDEPT,MNAME}, {SDEPT → MNAME}) ∈1NF 6.2.4 2NF 定义 举例 问题 解决 1.定义 R ∈1NF 且 KEY 非主属性， 则R ∈2NF。 插入异常 删除异常 修改复杂 6.2.5 3NF 定义 举例 解决 1.定义