第03章关系数据理论.pptVIP

* 逐一检查F 中各函数依赖X→Y，若Y=A1…Ak，k>=2，则用{X→Aj | j=1,…,k}来取代它（分解规则）；(将函数依赖的右部单属性化) 逐一取出F中各函数依赖X→A，若X=B1B2…Bm，m>=2，则逐一考查Bj（j=1,…,m），如果 ，则F与F-{X→A} ∪ {(X-Bj)→A}等价（引理3.4），故以X-Bj取代X；（去掉函数依赖左部的多余属性，称之为既约化） 逐一检查F中各函数依赖X→A，令G=F-{X→A}，根据引理3.5，如果 ，则F与G等价，故从F中去掉X→A。（去掉多余的函数依赖，称之为无冗余化） 计算最小覆盖的算法算法3.2 给定函数依赖集F，求其最小覆盖的过程如下： 第62页，共110页，编辑于2022年，星期五 * 例：已知F={A→B,B→A,B→C,A→C,C→A}，求F的最小覆盖。 逐一检查F中的函数依赖是否多余，如果多余则可以去除之，最后的结果为： {A → B,B → C,C→A} 第63页，共110页，编辑于2022年，星期五 * 注意：算法3.2的第2、3两步是不可以颠倒的。 第64页，共110页，编辑于2022年，星期五 * 设F={C?A,A ? D,CD ? B,B ? A} 依照算法3.2先既约化后无冗余化 既约化 令G=F-{CD ? B}?{C ? B} 结果G与F等价 G= {C?A,A ? D,C ? B,B ? A} 无冗余化 结果所求最小覆盖为 F’={A ? D,C ? B,B ? A} 第65页，共110页，编辑于2022年，星期五 * 设F={C?A,A ? D,CD ? B,B ? A} 先无冗余化后既约化 无冗余化 结果没有多余的函数依赖 既约化 结果G= {C?A,A ? D,C ? B,B ? A} 它不是最小覆盖，因为C?A这时是多余的函数依赖。 第66页，共110页，编辑于2022年，星期五 * 规范化 规范化的目的就是要设计“好”的关系，使关系尽量减少操作异常甚至拒绝操作异常现象。 第67页，共110页，编辑于2022年，星期五 * 第一范式 每个关系模式都应满足最低要求：所有分量都必须是不可分的最小数据项，并把其称为第一范式（1NF）关系。 第68页，共110页，编辑于2022年，星期五 * 非规范化表格和规范化表格 第69页，共110页，编辑于2022年，星期五 * 第二范式 定义3.7 如果R(U,F) ∈1NF，并且R中的每个非主属性都完全函数依赖于关键字，则R(U,F) ∈2NF。 第70页，共110页，编辑于2022年，星期五 * 库存A关系实例： 数据冗余 插入异常 更新异常 删除异常 第71页，共110页，编辑于2022年，星期五 * 为了解决操作异常分解后的关系： 库存B(仓库号,设备号,数量) 仓库B(仓库号,地点) 第72页，共110页，编辑于2022年，星期五 * 第三范式 定义3.8 如果R(U,F) ∈2NF，并且所有非主属性都不传递依赖于关键字，则R(U,F) ∈3NF。 第73页，共110页，编辑于2022年，星期五 仓库A关系实例 数据冗余 插入异常 更新异常 删除异常 假如插入（“wh30”，“湖北”，400，“邯郸”） 会有哪些问题？ 第74页，共110页，编辑于2022年，星期五 * 为了解决操作异常分解后的关系： 仓库B(仓库号,仓库面积,所在城市) 城市(省,城市) 第75页，共110页，编辑于2022年，星期五 * BC范式 第76页，共110页，编辑于2022年，星期五 * 关系模式实例： 管理(仓库号，设备号，职工号) 它所包含的语义是： ①一个仓库可以有多个职工； ②一名职工仅在一个仓库工作； ③在每个仓库一种设备仅由一名职工保管（但每名职工可以保管多种设备）。 根据以上语义有函数依赖： 职工号→仓库号 (仓库号，设备号)→职工号 第77页，共110页，编辑于2022年，星期五 * Amstrong公理的推论： 推论①-合并规则：如果X→Y、X→Z，则X→YZ； 推论②-分解规则：如果X→YZ，则X→Y、X→Z； 推论③-伪传递规则：如果X→Y、YW→Z，则XW→Z。 第30页，共110页，编辑于2022年，星期五 * 定理：Amstrong公理的三个推论是正确的。 第31页，共110页，编辑于2022年，星期五 * 证明合并规则： 设X→Y、X→Z 根据增广律分别有X→XY、XY→YZ 又根据传递律有X→YZ，合并规则得证。 第32页，共110页，编辑于2022年，星期五