函数依赖与键

（1）functional dependency: 如果在关系R上有两个元组在属性A1,A2,A3,……Am上一致（即对应的属性的分量值都相等），那么它们必定在其他属性B1，B2，B3……Bm上也一致。该函数依赖可以表示为：A1,A2,A3,……Am → B1，B2，B3……Bm，即A1,A2,A3,……Am可以决定B1，B2，B3……Bm

（2）关系的键：属性集合{A1，A2……An}满足下列两个条件，就成为关系R的键。

1.决定了关系R中所有其它属性（函数依赖）

2.在{A1，A2……An}的所有真子集中，没有一个可以决定R所有其它属性（最小性）

（3）超键

包含键的属性集合，满足条件1，不一定满足条件2