- 1、本文档共31页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
关系与数据库的规范化理论
第四章 关系数据库的规范化理论;本章内容;4.1 问题的提出;;4.2关系模式的函数依赖;4.2.2 函数依赖的类型;;;4.2.3 关键字的相关定义;4.2.4 函数依赖的推理规则;4.2 函数依赖理论
一个关系模式可能存在很多个函数依赖,它们构成了该关系模式的函数依赖集。
该集合是很大的,如果仅依靠语义分析的方法去找出一个关系模式的所有函数依赖是一件很不 容易的事情,实际上也没有必要。
1,逻辑蕴涵:用推理的方法,从一个已知的函数依赖集去推导出另一个函数依赖集,这样两个函数依赖集之间的互为因果关系称之为逻辑蕴涵。
因此,我们给出一个函数依赖集闭包的定义。
;;;;
定义4.9 设F是属性集合U上的一个函数依赖集,X?U,称
为属性集X关于F的闭包。
P110
引理4.2 设F是属性集U上的函数依赖集,X,Y是U的子集,则X?Y能由F根据Armstrong公理导出的充分必??条件是 。;;;;;4.3 关系范式;4.3.1 范式的定义及规范化;;;;;;;;;;
您可能关注的文档
- 六年与级下册人教版黄冈小状元数学作业本答案.ppt
- 六年与级下册人教版数学黄冈小状元作业本答案.ppt
- 六年与级数学下册 立体图形的认识复习教案 苏教版.doc
- 六年与级数学练兵题答案.doc
- 六年与级数学下册复习导学案.doc
- 六年与级数学集体备课.doc
- 六年与级班队活动记录表.doc
- 六年与级英语下下册第三单元教案.doc
- 六年与级英语第四单元教案.doc
- 六年与级英语总复习计划课件.ppt
- 2024广播影视职业技能鉴定考试黑钻押题及完整答案详解(各地真题).docx
- 2024广播影视职业技能鉴定考试黑钻押题及参考答案详解(研优卷).docx
- 2024广播影视职业技能鉴定考试黑钻押题及完整答案详解【必刷】.docx
- 2024广播影视职业技能鉴定考试黑钻押题及参考答案详解(达标题).docx
- 2024广播影视职业技能鉴定考试黑钻押题及参考答案详解(模拟题).docx
- 整式中数字类和图形类规律探究问题 (3知识点+6大题型+过关测) (学生版)2025年新七年级数学.pdf
- 2024广播影视职业技能鉴定考试黑钻押题精编答案详解.docx
- 2024广播影视职业技能鉴定考试黑钻押题标准卷附答案详解.docx
- 2024广播影视职业技能鉴定考试黑钻押题带答案详解(达标题).docx
- 2025年深圳市光明区光明街道办事处一般类岗位专干招聘考试模拟试题(含答案) .pdf
最近下载
- 悦纳自己——爱自己的100种方式(课件)高一下学期心理健康课(通用版).pptx VIP
- 浙江省消防技术规范难点问题操作技术指南-2025修订稿(定稿).docx
- 再生医学技术:2025年关节软骨修复研究前沿报告.docx
- 《电梯监督检验和定期检验规则》(TSG T7001-2023).docx VIP
- T CNAS 32─2023 注射相关感染预防与控制.pdf VIP
- 罗宾斯组织行为学第18版中文ppt1.pptx VIP
- 浙商中拓(000906)公司2023年财务分析研究报告.pdf
- 食材食品质量问题退换货方案.docx VIP
- 智能找车系统(数字1对1)调试手册.doc VIP
- 工业智能控制.pdf VIP
文档评论(0)