函数依赖与模式分解讲解_去掉部分函数依赖关系的分解过程 - CSDN文库

函数依赖与模式分解

需积分: 11 182 浏览量更新于2023-03-16 评论收藏 111KB DOC 举报

身份认证购VIP最低享 7 折!

领优惠券(最高得80元）

资源详情

资源评论

资源推荐

5.3 数据依赖的公理系统

 定义 5.11 F 逻辑蕴含 X→Y

对于关系模式 R〈U，F〉，其任

何一个具体关系 r，若函数依赖

X→Y 都成立（即 r 中任意两元组

s，t，若 t[X]=s[X]，则

t[Y]=s[Y]），则称函数依赖集

F

逻辑蕴含

X→Y

 Armstrong 公理系统

o A1 自反律

若 YXU，则 X→Y 为 F 所

蕴含(平凡的函数依赖天然成

立)

剩余38页未读，继续阅读

评论0

yunfengshi

粉丝: 0
资源: 2

会员权益专享

图片转文字

全年可省5，000元立即开通

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈