数据库-第四章(无多值依赖).pptVIP

数据库系统原理教程Database Systems Armstrong 公理 设F是在关系模式R(U)上成立的函数依赖集， X，Y是 U的子集。如果从F推导出X?Y也在R(U)上成立，那么称F逻辑蕴涵X?Y，记做 F|＝ X?Y。 函数依赖集F的闭包（closure）是F所逻辑蕴涵的所有的函数依赖的集合，记为F+，即 F+＝{X?Y|F|= X?Y} 增广律（augmentation）：若A?B在R上成立，则对任意的属性组C且C∈U，AC?BC在R上成立。 例如： empID ?empName (empID, sex) ?(empName, sex) (empID, sex, birthdate) ?(empName,  sex, birthdate) … 合并律（union）：若A?B和A?C成立，则A? BC成立。 例如： empID ?empName, empID ?sex 则： empID ?empName, sex 异常的原因 数据依赖的约束 解决方法 数据库设计的规范化→分解 范式(Normal Forms) 规范化 一个关系满足某个范式所规定的一系列条件时,它就属于该范式 可以用规范化要求来设计数据库 也可以用来验证设计结果的合理性，用其指导优化过程 1NF→2NF→3NF→BCNF→4NF 第一范式(1NF) 当且仅当一个关系R中，每一个元组的每一个属性 只含有一个值时，该关系属于第一范式。 要求属性是原子的 第二范式(2NF) 对于关系R，若R∈1NF，且每一个非主属性完全 函数依赖于码，则R∈2NF。 不能部分依赖于码 sc(sno,sname,cno,grade) sno,cno→grade sno→sname 第三范式(3NF) 对于关系R，若R∈2NF，且每个非主属性都不传 递依赖于码，则R∈3NF。 主属性可以传递依赖于码 Boyce/Codd范式(BCNF) 对于关系R，若R∈1NF，且所有非平凡的函数依赖， 其决定因素是候选码，则R∈BCNF。 最高范式 BCNF是基于函数依赖的最高范式 但不是数据库模式设计的最高范式 范式优化 分解 {A1,A2,…,An} = {B1,B2,…,Bn}∪{C1,C2,…,Cn} 分解的要求 无损连接 B∩C→B或B∩C→C 保持依赖 范式要求 Grade Sno Cno Sdept Sloc 插入异常 删除异常 数据冗余太大 修改复杂 满足1NF，但是存在下述问题： sno cno grade sname 完全依赖 非完全依赖 分解成2NF模式集的方法： 设关系模式R(WXYZ), 主码是WX，R上还存在FD X→Z，则存在部分函数依赖（WX →Z） 此时应把R分解成两个关系模式： R1（XZ），主码X； R2（WXY），主码WX，外码X 利用主码和外码可以连接R1和R2重新得到R 如果R1和R2还不是2NF，则重复上述过程，一直到数据库模式中每一个关系模式都是2NF。 例如：SC( Sno , Cno , Grade ) SL( Sno , Sdept , Sloc ) Grade Sno Cno Sdept Sloc Sno 插入异常 删除异常 数据冗余太大 修改复杂 例：设关系模式 R(sno,cno,grade,tname,taddr) sno,cno为候选码 R上FD： （sno，cno）→（tname，taddr） cno→（tname，taddr） 存在局部函数依赖，非2NF, 分解成2NF R1（cno，tname，taddr） R2(sno,cno,grade) 插入异常 删除异常 数据冗余太大 修改复杂 SD( Sno , Sdept ) DL( Sdept , Sloc ) Sno Sdept Sloc Sdept DL中可以插入无在校生的系信息 某系学生全部毕业，只删除SD中相应元组，DL中该系信息仍存在 系住处信息只在DL中存储一次 调整某系学生住处时，只修改DL中相应属性Sloc 定义4.8：关系模式RU,F中，若不存在这样的码X，属性组 Y及非主属性Z（ Z ? Y）使得X ? Y， Y ? Z， Y ? X成立，则称R? 3NF。 STJ ( S , T , J ) 某学生选定某门课，则确定了一个固定的教师 S T J S T J //学生，课程，教师 T→J //每位教师只上一门课 (S,J)→T (S,T)→T //每门课有若干位教