原创力文档- 1、本文档共187页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
;第6章关系数据理论;第6章关系数据理论;6.1问题的提出;1.问题-什么是一个好的数据库逻辑设计;一个例子;一个例子;关系模式存在的问题;关系模式存在的问题;关系模式存在的问题;6.1问题的提出;2.什么是数据依赖：一个例子;2.什么是数据依赖;一个例子;6.1问题的提出;3.关系模式的简化表示;第6章关系数据理论;6.2.1函数依赖
6.2.2码
6.2.3范式
6.2.42NF
6.2.53NF
6.2.6BCNF
6.2.7多值依赖
6.2.84NF;6.2.1函数依赖
6.2.2码
6.2.3范式
6.2.42NF
6.2.53NF
6.2.6BCNF
6.2.7多值依赖
6.2.84NF
;定义6.1
给定关系模式R(U,F)，X，Y是U的子集。若对于R(U,F)的任意一个
可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等
，则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。
X称为这个函数依赖的决定属性组，也称为决定因素(determinant)。
例：STUDENT（Sno,School,Mname,Cno,Grade）
F＝{Sno→School,School→Mname,(Sno,Cno)→Grade｝
;;2.如何确定函数依赖;由下面的关系表,能否得出Sno→School;3.平凡函数依赖与非平凡函数依赖;4.完全函数依赖与部分函数依赖;5.传递函数依赖;思考题;6.2.1函数依赖回顾;6.2.1函数依赖
6.2.2码
6.2.3范式
6.2.42NF
6.2.53NF
6.2.6BCNF
6.2.7多值依赖
6.2.84NF
;6.2.2码—主码;6.2.2码;6.2.2码：外部码—外码;6.2.2码;6.2.1函数依赖
6.2.2码
6.2.3范式
6.2.42NF
6.2.53NF
6.2.6BCNF
6.2.7多值依赖
6.2.84NF
;6.2.3范式;第一范式;回顾基础篇：关系模型的数据结构;第一范式（续）;第一范式（续）;第一范式（续）;第一范式（续）;第一范式（续）;第一范式（续）;第一范式（续）;第一范式（续）;第一范式（续）;第一范式（续）;6.2.1函数依赖
6.2.2码
6.2.3范式
6.2.42NF
6.2.53NF
6.2.6BCNF
6.2.7多值依赖
6.2.84NF
;6.2.42NF;2NF（续）;2NF（续）;2NF（续）;2NF（续）;2NF（续）;2NF（续）;2NF（续）;2NF（续）;思考;6.2.1函数依赖
6.2.2码
6.2.3范式
6.2.42NF
6.2.53NF
6.2.6BCNF
6.2.7多值依赖
6.2.84NF
;6.2.53NF;3NF（续）;6.2.1函数依赖
6.2.2码
6.2.3范式
6.2.42NF
6.2.53NF
6.2.6BCNF
6.2.7多值依赖
6.2.84NF
;一个例子;一个例子;一个例子;一个例子;一个例子;一个例子;BCNF;BCNF（续）;BCNF（续??;BCNF（续）;6.2.7多值依赖;6.2.7多值依赖;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;6.2.84NF;6.2.84NF;4NF（续）;规范化小结（续）;;规范化小结（续）;规范化小结（续）;思考题;第6章关系数据理论;6.3数据依赖的公理系统;1.Armstrong公理系统;2.导出规则;3.函数依赖闭包;F的闭包;3.函数依赖闭包;3.函数依赖闭包;3.函数依赖闭包;3.函数依赖闭包;4.Armstrong公理系统的有效性与完备性;4.Armstrong公理系统的有效性与完备性;4.Armstrong公理系统的有效性与完备性;4.Armstrong公理系统的有效性与完备性;4.Armstrong公理系统的有效性与完备性;4.Armstrong公理系统的有效性与完备性;4.Armstrong公理系统的有效性与完备性;5.函数依赖集等价;5.函数依赖集等价;5.函数依赖集等价;6.最小依赖集;6.最小依赖集;7.极小化过程;7.极小化过程;7.极小化过程;7.极小化过程;7
文档评论（0）