Y，其中 X 称为决定因素，因为根据函数依赖定义，给定一个 X，就能惟一

决定一个

Y。

　　

(2) 这里讨论的函数关系与数学上的不同，是不能计算的，是一个关系中

属性之间存在的依赖关系

;它是一种语义范畴的概念，只能根据两个属性之间的

语义来确定一个函数依赖是否存在。

　　

2  

、 完全与部分函数依赖：

　　

(1) 在关系模式 R(U)中，如果 XàY 成立，并且对 X 的任何真子集 X’不能

函数决定

Y，则称 Y 对 X 是完全函数依赖，被记作 X---f---àY。

　　

(2) 若 XàY，但 Y 不完全函数依赖于 X，则称 Y 对 X 是部分函数依赖，记

作

X--pàY;

　　

3  

、 传递函数依赖：

　　在关系

R(U)模式中，如果 X 决定 Y，(Y 不属于 X)，Y 不决定 X，Y 决定

Z，则称 Z 对 X 传递函数依赖。

　　

4  

、 平凡与非平凡函数依赖：

　　

(1) 若 X 决定 Y，但 Y 属于 X，则称 XàY 是平凡函数依赖，否则称非平凡

函数依赖

;

　　

(2) 即平凡函数依赖，仅当其右边的属性集是左边属性集的子集时成立;

　　

(3) 非平凡函数依赖，仅当其右边的属性集至少有一个属性不属于左边有

集合时成立

;

　　

(4) 完全非平凡函数依赖：仅当其右边的属性集中属性都不在左边的集合

时成立

;

　　

5  

、 码：

　　

(1) 在关系模式 R(U)中，K 为 R 的属性或属性组，若 K 函数决定

A1.A2….An，则 K 为关系模式 R 的候选码，包含在候选码中的属性称为主属
性，否则为非主属性

;

　　

(2) 若一个关系的候选码不止一个，则选定其中一个作为关系 R 的主码;

　　

(3) 关系的码属性除了必须完全函数决定关系的所有其他属性外，还必须

满足最小化规则，即在关系模式

R(U)中，不存在一个 K 的真子集能够函数决定

R 的其他属性。