函数依赖集等价、最小函数依赖集

一、函数依赖集等价

1、定义

假设F、G为一个关系模式上的两个函数依赖集,F^{+}=G^{+},则称F和G是等价的,也可称F和G

互相覆盖。

2、判断

(1)引理3:

F^{+}=G^{+}的充分必要条件是F\subseteq G^{+}G\subseteq F^{+}

(2)两步走:

第一步:对F中的每一个函数依赖X\rightarrow Y,判断Y是否包含在X_{G}^{+}

第二步:对G中的每一个函数依赖X\rightarrow Y,判断Y是否包含在X_{F}^{+}

3、举例:

二、最小函数依赖集

1、定义

函数依赖集F当且仅当满足下列条件时,称为最小函数依赖集,或极小函数依赖集,或最小覆盖。

(1)F中每个函数依赖的右部为单一属性。(右部不能再分解

(2)F中不存在函数依赖X\rightarrow A,使得F-{X\rightarrow A}与F等价。(无冗余的函数依赖

(3)F中不存在函数依赖X\rightarrow AZ\subset X,使得F-{X\rightarrow A}U{Z\rightarrow A}与F等价。(左部不可约

2、寻找过程

3、定理1:

每个函数依赖集F都等价于一个最小函数依赖集Fm

4、举例1:

5、举例2:

结论:函数依赖集的最小函数依赖集不一定是唯一的

三、学生选课数据库中的最小函数依赖集

四、小结

1、函数依赖集表达了关系的属性与属性之间的约束关系

2、寻找最小函数依赖集Fm具有实践上的重要性,也是进行模式分解的基础 

  • 2
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值