原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
1971 E.F.Codd 提出
1NF 2NF 3NF BCNF 4NF 5NF
规范化
函数依赖
模式分解
1
4.1 问题 的提 出
关系模式
R (U，D，dom，I，F)
数据依赖 ：关系中属性 间互相
依存 、互相制约的关系。
[函数依赖 、多值依赖、连接
依赖、分层依赖和相互依赖]
2
学号 课程名称 成绩
系部 系主任
例：U={学号，系部，系主任，课程名称，成绩}
F {学号→系部，系部→系主任,
(学号，课程名称) →成绩}
3
学号 系部 系主 课程 成
任 名称 绩
02101 CS X AA A
缺点
02101 CS X BB B
1、冗余太大
02101 CS X CC A
2 、操作异常
02102 MA M AA B 1 ）插入异常
02102 MA M DD A 2 ）删除异常
02103 MA M EE C 3 ）修改异常
02104 IS J EE B
02105 IS J BB A
4
通过适 当地进行模式分解
可以避免上述问题：
1、冗余太大
学生（学号，系部）
2 、操作异常
1 ）插入异常 系部（系部，系主任）
2 ）删除异常 选课（学号，课程名称，
3 ）修改异常 成绩）
原模式分解为三个子模式
5
适 当地进行模式分解
• 关系规范化理论
–即适当地进行模式分解的理论，包括：
4.2 函数依赖和范式理论
4.3 ArmStrong公理系统
4
文档评论（0）