关系模式设计问题

最新推荐文章于 2024-03-05 16:42:48 发布

kunxxxv

最新推荐文章于 2024-03-05 16:42:48 发布

阅读量138

点赞数

文章标签：数据库

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

本文链接：https://blog.csdn.net/kunxxxv/article/details/125119306

版权

函数依赖数据库数据冗余 Armstrong公理候选键

关键词由CSDN通过智能技术生成

1.数据冗余问题

2.数据更新问题

3.数据插入问题

4.数据删除问题

函数依赖

基本概率：公式：Y=f（x），即X和Y在数量上的对应关系，给定一个X的值，都会有一个Y值与它对应。也可以说，X函数决定Y，或Y函数依赖于X。

一些术语和符号

（1）如果X $\rightarrow$ Y，但X不包含Y，则称X $\rightarrow$ Y是非平凡的函数依赖。

如果X $\rightarrow$ Y，但X包含Y，则称X $\rightarrow$ Y是平凡的函数依赖。

（2）如果Y不函数依赖于X，则记作X-/->Y。

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

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

（5）如果X $\rightarrow$ Y，并且对于X的一个任意真子集 $x^{'}$ 都有 $x^{'}$ -/->Y，则称Y完全函数依赖于X（单属性做主键时），记作X $\overset{f}{\rightarrow}$ Y；如果 $x^{'}$ $\rightarrow$ Y成立，则称Y部分函数依赖于X，记作X $\overset{p}{\rightarrow}$ Y。

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

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

K $\overset{f}{\rightarrow}$ $A_{1}$ K $\overset{f}{\rightarrow}$ $A_{2}$ ..... K $\overset{f}{\rightarrow}$ $A_{n}$

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

函数依赖的推理规则

1.Armstrong公理：

（1）自反律（reflexivity）

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

eg：对关系模式SC（Sno，Sname，Cno，Credit，Grade），有：
（Sno，Cno） $\rightarrow$ Cno和（Sno，Cno） $\rightarrow$ Sno

（2）增广律（augmentation）

若X $\rightarrow$ Y在R上成立，且Z $\subseteq$ U，则XZ $\rightarrow$ YZ在R上成立、

（3）传递律（transitivity）

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

2.Armstrong公理推论

(1)合并规则（union rule）

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

eg：对关系模式Student（Sno，Sname，Sdept，Sage），有Sno $\rightarrow$ （Sname，Sdept），

Sno $\rightarrow$ Sage，则有Sno $\rightarrow$ （Sname，Sdept，Sage）成立。

(2)分解规则（decomposition rule）

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

从合并规则和分解规则可得如下结论：

如果 $A _{1}$ .... $A_{n}$ 是关系模式R的属性集，那么X $\rightarrow$ $A _{1}$ .... $A_{n}$ 成立的充分必要条件是X $\rightarrow$ $A_{i}$ (i=1...n)成立

(3)伪传递规则（pseudo-transitivity rule）

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

(4)复合规则（composition rule）

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

eg：对关系模式SC（Sno，Sname，Cno，Credit，Grade），有：

Sno $\rightarrow$ Sname和Cno $\rightarrow$ Credit成立

则有：（Sno，Cno） $\rightarrow$ （Sname，Credit）

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

评论

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

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

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