第9章关系规范化理论

最新推荐文章于 2023-10-31 00:44:07 发布

wangqian--57

最新推荐文章于 2023-10-31 00:44:07 发布

阅读量162

点赞数

文章标签：数据库开发

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/Serendipity57_/article/details/125006412

版权

9.1 关系模式设计问题

数据冗余问题

数据更新问题

数据插入问题

数据删除问题

解决方法：模式分解（把一个关系模式分解成两个或多个关系模式，在分解的过程中消除那些“不良”的函数依赖，从而获得良好的关系模式）

9.2函数依赖

基本概念

设有关系模式R(A1,A2,....,An),X和Y均为{A1,A2,....,An}的子集，r是R的任一具体关系，t1，t2是r中的任意两个元组。如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y]，则称X函数决定Y，或Y函数依赖于X，记为X $\rightarrow$ Y。

一些术语和符号

设有关系模式R(A1,A2,....,An)，X和Y均为{A1,A2,....,An}的子集，则有以下结论：

（1）如果X $\rightarrow$ Y，但Y不包含于X，则称XY是非平凡的函数依赖。如不做特别说明，我们讨论的都是非平凡的函数依赖。

（2）如果Y不函数依赖于X，则记作X $\nrightarrow$ Y。

（3）如果X $\rightarrow$ Y，则称X为决定因子。

（4）如果X $\rightarrow$ Y，并且Y $\rightarrow$ X，则记作X $\leftrightarrow$ Y。

（5）如果X $\rightarrow$ Y，并且对于X的一个任意真子集X‘都有X’ $\nrightarrow$ Y，则称Y完全函数依赖于X，记作X $\overset{f}{\rightarrow}$ Y；如果X' $\rightarrow$ Y成立，则称Y部分函数依赖于X，记作X $\overset{p}{\rightarrow}$ Y。

（6）如果X $\rightarrow$ Y（非平凡函数依赖，并且Y $\nrightarrow$ X）、Y $\rightarrow$ Z，则称Z传递函数依赖于X。

（7）设K为关系模式R的一个属性或属性组，若满足：

K $\overset{f}{\rightarrow}$ A1，K $\overset{f}{\rightarrow}$ A2，...，K $\overset{f}{\rightarrow}$ An

则称K为关系模式R的候选键（或候选码）。称包含在候选键中的属性为主属性，不包含在任何候选码中的属性称为非主属性。

函数依赖的推理过程

Armstrong公理

（1）自反律

若Y $\subseteq$ X $\subseteq$ U，则X $\rightarrow$ Y在R上成立。即一组属性函数决定它的所有子集。

（2）增广律

若X $\rightarrow$ Y 在R 上成立，且属性集Z 包含于属性集U，则XZ $\rightarrow$ YZ 在R 上成立。

（3）传递律

若X $\rightarrow$ Y 和Y $\rightarrow$ Z在R 上成立，则则X $\rightarrow$ Z 在R 上成立。

Armstrong公理推论

（1）合并规则

若X $\rightarrow$ Y和X $\rightarrow$ Z在R上成立，则X $\rightarrow$ YZ在R上也成立。

（2）分解规则

若X $\rightarrow$ W和Z $\subseteq$ Y在R上成立，则X $\rightarrow$ Z在R上也成立。

（3）伪传递规则

若X $\rightarrow$ Y和YW $\rightarrow$ Z在R上成立，则XW $\rightarrow$ Z在R上也成立。

（4）复合规则

若X $\rightarrow$ Y和W $\rightarrow$ Z在R上成立，则XW $\rightarrow$ YZ在R上也成立。

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
1
评论
第9章关系规范化理论

9.1 关系模式设计问题数据冗余问题数据更新问题数据插入问题数据删除问题解决方法：模式分解（把一个关系模式分解成两个或多个关系模式，在分解的过程中消除那些“不良”的函数依赖，从而获得良好的关系模式）9.2函数依赖基本概念设有关系模式R(A1,A2,....,An),X和Y均为{A1,A2,....,An}的子集，r是R的任一具体关系，t1，t2是r中的任意两个元组。如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y]，则称X函数决定Y，或Y函数依赖于X，记为XY。
复制链接

扫一扫

评论 1

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。