基本概念
如果有一个关系模式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,记为xy。
单属性作为候选键时它是完全依赖。
一些术语和符号
设有关系模式R(A1,A2, ... An),x和y均为{A1,A2, ... An}的子集,则有以下结论:
(1)如果xy,但y不包含于x,则称x
y是非平凡的函数依赖。如不做特别说明,我们讨论的都是非平凡的函数依赖。
(2)如果y不函数依赖于x,

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

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



