（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