北京工业大学研究生数据库复试笔试chap4 关系数据库理论128.ppt

* 熟练掌握：函数依赖概念；函数依赖Armstrong公理系统和推理规则；属性集A关于函数依赖集F的闭包计算；BCNF、3NF、2NF和1NF的概念；判定关系模式属于第几范式；从函数依赖集计算关系模式的键；关系模式分解的函数依赖投影计算；具有无损连接性分解到BCNF的算法。保持函数依赖分解到3NF的算法。判定无损连接性的算法。 掌握：函数依赖集闭包概念；多值依赖与4NF；关系投影；具有无损连接性分解和保持函数依赖分解的概念；低范式关系模式的缺点。 理解：数据冗余及其影响问题。 BCNF 所有函数依赖左边含键 非键属性，所以是3NF 传递依赖 BE是键盘 BE-C C-A 非键属性A传递地依赖于键 * * 例： Movies(title,year,length,genre, studioName,starName) (title,year,starName)是唯一键 (title,year) (length,genre,studioName) 是BCNF违例 分解为: M1{title,year, length,genre,studioName} 和M2{title,year, starName} 用算法可印证M1，M2都属于BCNF * 例： MovieStudios(title,year,length,genre, studioName,studioAddr) (title,year)唯一键 studioName studioAddr 是BCNF违例 分解为: S1{studioName, studioAddr } 和S2{studioName, title,year,length,genre} 用算法可印证S1，S2都是BCNF * 例： MSP{title,year,studioName,president,presAddr} title,year是键 title,year studioName studioName president是BCNF违例 president presAddr是BCNF违例 由studioName president,presAddr分解 选不满足BCNF的函数依赖时,右侧应含尽量多属性（闭包） * MSP{title,year,studioName,president,presAddr} 由studioName president,presAddr 分解为: MSP1{studioName, president,presAddr} 经算法判定 不是BCNF 和 MSP2{studioName, title,year} 经算法判定是BCNF * 对于MSP1{studioName, president,presAddr} 由BCNF违例 president presAddr 分解为MSP11{president, presAddr} 和MSP12{president, studioName} 都是BCNF 最终分解为: MSP2 {studioName, title,year} MSP11{president, presAddr} MSP12{president, studioName} * 五、 从分解中恢复信息 模式分解的标准： * 保持依赖的分解 子关系的函数依赖集可蕴涵原函数依赖集 * 无损连接的分解 由子关系经连接运算可恢复原关系 * 考虑：R（A，B，C） B C是BCNF的违例 分解为R1（A，B） R2（B，C） 若A是键 A B B C