数据库原理与应用---9.2函数依赖的推理规则及闭包

本文介绍了数据库理论中的Armstrong公理系统,包括自反律、增广律、传递律等推理规则,并详细阐述了闭包的概念和候选键的求解方法,提供了具体的例子进行说明。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档


一、Armstrong公里

1)自反律(reflexivity)

若YCXCU,则X→Y在R上成立。即一组属性函数决定它的所有子集例如,对关系模式SC(Sno,Sname,Cno,Credit,Grade),有:(Sno,Cno)→Cno和(Sno,Cno)→Sno

(2)增广律(augmentation)。

若X→Y在R上成立,且ZCU,则XZ→YZ在R上也成立。

(3)传递律(transitivity)。


若X→Y和Y→Z在R上成立,则X→Z在R上也成立。


(3)合并规则(union rule)。


若XY和X→Z在R上成立,则X→YZ在R上也成立。
例如,对关系模式 Student(Sno,Sname,Sdept,Sage),有Sno→(Sname,Sdept),Sno Sage,则有Sno→(Sname,Sdept,Sage)成立。


(2)分解规则(decomposition rule)。


若X→Y和ZCY在R上成立,则X→Z在R上也成立。从合并规则和分解规则可得到如下重要结论:
在系 如果A…A。是关系模

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值