- 1、本文档共81页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
主讲: 顾 曦
电话Email:guxi@
;主要内容;;1.1 回顾:关系模式的形式化定义;简化表示;1.2 数据冗余;出现的问题;数据冗余带来的问题;数据冗余产生原因及解决方法;如何分解;studentNo; 模式分解存在的问题;一个“好”的关系模式;问题?;;2.1 函数依赖定义 ;例;函数依赖说明;2.2 平凡与非平凡函数依赖 ;2.3 完全函数依赖和部分函数依赖 ;举例;2.4 传递函数依赖;[例5.4] ;2.5 码;主属性与非主属性;例:;2.6 外部码;;3.1 函数依赖集闭包 ;函数依赖集闭包;Armstrong公理及推论;函数依赖集闭包计算举例; 3.2 属性集闭包 ; 属性集闭包计算举例;计算属性集闭包的作用;判断属性集是否为候选码举例;3.3 无关属性;[例5.9] 设F={ AB→CD, A→E, E→C },证明C 在AB→CD中为无关属性。
证明:
步骤:
计算F F‘={AB→D, A→E, E→C}下(AB)+:(AB)+=ABCDE;
所以,F‘逻辑蕴含AB→CD,即F‘逻辑蕴含F。
因此,C是AB→CD中的无关属性。证毕。;3.4 正则覆盖;计算F的正则覆盖Fc的步骤;关于验证无关属性的方法;计算正则覆盖举例;去除无关属性:
对于AB→C,根据图5-9(a)的算法可检测 A是无关的。因此,去除无关属性 A后,AB→C变为B→C,而B→C已在F中存在,则F={B→C, A→BC}。
对于B→C,由于其左右两边都为单属性,故不存在无关属性。
对于A→BC,根据图5-9(b)的算法可检测C是无关的。因此,去除无关属性C后,A→BC变为A→B,则F={B→C, A→B}。
F中的函数依赖左半部都是唯一的,且都不存在无关属性,因此Fc={B→C, A→B}。
;正则覆盖说明;函数依赖小结;; 范式概述;各种范式之间存在联系;4.1 第一范式(1NF) ——码 ;问题:例4.1(参考教材 p175);非主属性Sdept和Sloc部分函数依赖于码(Sno, Cno)
;出现的问题:;4.2 第二范式(2NF) ——全部码 ;修改例4.1;问题:;4.3 第三范式(3NF) ——仅仅是码;第三范式的目标是:去掉表中不依赖于主码的数据。
在满足第二范式的实体中,非主属性不能依赖于另一个非主属性,即所有的非主属性应该直接依赖于全部的主属性(即必须完全依赖,这是2NF的要求),并且彼此之间无相互依赖关系(即不能存在部分依赖,这是3NF的要求)。
换一句话说,非主属性不能包括它们自己的属性,如果属性不包括属性,则它们就是真正的实体。;例 3NF解决办法;问题:;问题:;BCNF;推论;3NF的问题;BC范式判断举例;3NF与BCNF比较;关系模式规范化的基本步骤;规范化小结; 5.1 无损连接分解
5.2 保持依赖分解;模式的分解的概念;5.1 无损连接分解 ;无损连接分解判断方法;5.2 保持依赖分解;;定义;模式求精步骤 ;模式求精举例;步骤1. 分析函数依赖关系及判断范式;步骤2. 模式分解;;模式求精举例;小结
您可能关注的文档
- 收货部经、助理时段化新分析.ppt
- 机械设计V带-ZDD一级斜齿圆柱-联轴器分析.docx
- 机械设计基本常识之加工技术分析.ppt
- CRRT时抗生素剂量调整2010-7-27讲解.ppt
- crypto4c-ch11-消息认证和Hash函数讲解.ppt
- crypto4c-ch18-入侵漏洞和防范讲解.ppt
- 机械设计基础课程设计--设计计算主要内容及步骤-hlf分析.ppt
- 机械设计基础课程设计说明书分析.doc
- 收集资料的方法分析.ppt
- 收敛阶-高斯消去法分析.ppt
- 四川省德阳市罗江中学2025届高三考前热身化学试卷含解析.doc
- 山东省枣庄现代实验学校2025届高三下学期第五次调研考试化学试题含解析.doc
- 吉林省长春市十一高中等九校教育联盟2025届高三一诊考试生物试卷含解析.doc
- 2025届江苏省盐城市伍佑中学高考仿真模拟化学试卷含解析.doc
- 2025届广西贺州中学高考冲刺押题(最后一卷)生物试卷含解析.doc
- 安徽省池州市贵池区2025届高三第一次模拟考试生物试卷含解析.doc
- 宁夏银川一中2025届高三(最后冲刺)化学试卷含解析.doc
- 广东省广州市增城区四校联考2025届高考压轴卷化学试卷含解析.doc
- 2025届邯郸市第一中学高考生物必刷试卷含解析.doc
- 2025届安徽省安庆市石化第一中学高考仿真卷化学试卷含解析.doc
文档评论(0)