- 1、本文档共127页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
下课了。。。 休息一会儿。。。 * * 7. 极小化过程 定理11.3 每一个函数依赖集F均等价于一个极小 函数依赖集Fm。此Fm称为F的最小依赖集 证:构造性证明,依据定义分三步对F进行“极小化处理”,找出F的一个最小依赖集。 (1)逐一检查F中各函数依赖FDi:X→Y, 若Y=A1A2 …Ak,k 2, 则用 { X→Aj |j=1,2,…, k} 来取代X→Y。 引理11.1保证了F变换前后的等价性。 极小化过程 (2)逐一检查F中各函数依赖FDi:X→A, 令G=F-{X→A}, 若A?XG+, 则从F中去掉此函数依赖。 由于F与G =F-{X→A}等价的充要条件是A?XG+ 因此F变换前后是等价的。 极小化过程 (3)逐一取出F中各函数依赖FDi:X→A, 设X=B1B2…Bm, 逐一考查Bi (i=l,2,…,m), 若A ?(X-Bi )F+ , 则以X-Bi 取代X。 由于F与F-{X→A}∪{Z→A}等价的充要条件是A?ZF+ ,其中Z=X-Bi 因此F变换前后是等价的。 极小化过程 由定义,最后剩下的F就一定是极小依赖集。 因为对F的每一次“改造”都保证了改造前后的两个函数依赖集等价,因此剩下的F与原来的F等价。 证毕 定理11.3的证明过程 也是求F极小依赖集的过程 极小化过程 [例3] F = {A→B,B→A,B→C, A→C,C→A} Fm1、Fm2都是F的最小依赖集: Fm1= {A→B,B→C,C→A} ? Fm2= {A→B,B→A,A→C,C→A} F的最小依赖集Fm不一定是唯一的它与对各函数依赖FDi 及X→A中X各属性的处置顺序有关 极小化过程 极小化过程( 定理11.3的证明 )也是检验F是否为极小依赖集的一个算法 若改造后的F与原来的F相同,说明F本身就是一个最小依赖集 极小化过程 在RU,F中可以用与F等价的依赖集G来取代F 原因:两个关系模式R1 U,F,R2U,G,如果F与G等价,那么R1的关系一定是R2的关系。反过来,R2的关系也一定是R1的关系。 第十一章 关系数据库设计理论 11.1 数据依赖 11.2 规范化 11.3 数据依赖的公理系统 11.4 模式的分解 11.4 模式的分解 把低一级的关系模式分解为若干个高一级的关系模式的方法并不是唯一的 只有能够保证分解后的关系模式与原关系模式等价,分解方法才有意义 关系模式分解的标准 三种模式分解的等价定义 ⒈ 分解具有无损连接性 ⒉ 分解要保持函数依赖 ⒊ 分解既要保持函数依赖,又要具有无损连接性 模式的分解(续) 定义11.16 关系模式RU,F的一个分解: ρ={ R1U1,F1,R2U2,F2,…,RnUn,Fn} U=U1∪U2∪…∪Un,且不存在 Ui ? Uj,Fi 为 F在 Ui 上的投影 定义11.17 函数依赖集合{X→Y | X→Y ? F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影 模式的分解(续) 例: SL(Sno, Sdept, Sloc) F={ Sno→Sdept,Sdept→Sloc,Sno→Sloc} SL∈2NF 存在插入异常、删除异常、冗余度大和修改复杂等问题 分解方法可以有多种 模式的分解(续) SL ────────────────── Sno Sdept Sloc ────────────────── 05001 CS A 05002 IS B 05003 MA C 05004 IS B 05005 PH B ────────────────── 模式的分解(续) 1. SL分解为下面三个关系模式: SN(Sno) SD(Sdept) SO(Sloc) 分解后的关系为: SN ────── SD ────── SO ────
您可能关注的文档
- 数控机床原理及应用教学作者何伟第三十讲课件幻灯片.ppt
- 数据库课件CH8查询处理幻灯片.ppt
- 数控机床原理及应用教学作者何伟第三十九讲课件幻灯片.ppt
- 客户服务与管理教学课件作者杨明相关资源第六章网上商城的在线客服幻灯片.ppt
- 数据库课件CH9数据库完整性与安全1章节幻灯片.ppt
- 数控机床原理及应用教学作者何伟第三十六讲课件幻灯片.ppt
- 晶体结构11-2.22堆垛间隙23张2节幻灯片.ppt
- 数控机床原理及应用教学作者何伟第三十七讲课件幻灯片.ppt
- 晶体结构11-3.1-3.3.2-1.5次17+27个幻灯片.ppt
- 客户服务与管理教学课件作者杨明相关资源第七章节客户在线投诉处理课件幻灯片.ppt
- 水利水电工程质量检测员继续教育系统基础考试试题及答案(各种收集).pdf
- 毕业论文设计模板.pdf
- 2025年云南省寻甸县第五中学高三下学期教学质量监测(一)数学试题试卷含解析.doc
- 2025年云南省玉溪市师院附中高三数学试题寒假周考试卷含解析.doc
- 2025年云南省玉溪市新平一中高三第一次教学质量监测(4月)数学试题含解析.doc
- 2025年云南省玉溪市新平一中高三下学期考前模拟考试数学试题含解析.doc
- 2025年云南省宣威市第四中学招生全国统一模拟考试数学试题含解析.doc
- 2025年云南省元江民中高三下学期二模(4月)数学试题含解析.doc
- 2025年云南省元江县民族中学高三质量检查数学试题含解析.doc
- 2025年云南省沾益县第四中学下学期期中考高三试卷数学试题含解析.doc
最近下载
- 小学一年级体育与健康全册教案.pdf VIP
- 部编版三年级上册《道德与法治》教学计划.doc VIP
- 商业计划书模版-商业计划书.ppt VIP
- 气道净化护理(2023年中华护理学会团体标准).pptx VIP
- EN 13034-2005+A1-2009 液体化学品防护服.对液体化学品提供有限保护性能的化学防护服的性能要求(6型和PB[6]设备).pdf
- 小学英语语法大全.pptx VIP
- 阶段测试卷01:内能及其利用(解析版).docx
- HG∕T 20691-2017 高压喷射注浆施工技术规范(可复制版).pdf
- 装箱员考试题库2.doc VIP
- 3-1-1《了解图文编辑》(教案) 高教版信息技术基础模块上册.docx
文档评论(0)