关系规范化理论——函数依赖

本文介绍了函数依赖的基本概念,包括函数依赖的定义、非平凡函数依赖、决定因子等,并详细阐述了闭包的概念以及如何求解属性集闭包,同时提供了候选键的求解方法,帮助理解数据库设计中的关键理论。

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

基本概念

如果有一个关系模式R(A1,A2,... An),X和Y为{A1,A2, ... An}的子集,r是R的任一具体关系,那么对于关系r中的任意一个x值,都只有一个y值与之对应,则称x函数决定y或y函数依赖于x。

定义:设有关系模式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\rightarrowy。

单属性作为候选键时它是完全依赖。

一些术语和符号

设有关系模式R(A1,A2, ... An),x和y均为{A1,A2, ... An}的子集,则有以下结论:

(1)如果x\rightarrowy,但y不包含于x,则称x\rightarrowy是非平凡的函数依赖。如不做特别说明,我们讨论的都是非平凡的函数依赖。

(2)如果y不函数依赖于x,

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值