给定一个X，能唯一确定一个Y，就称X确定Y，或者说Y依赖于×，例如Y=X*X函数。

函数依赖又可扩展以下两种规则：

部分函数依赖：

A可确定C，(A,B)也可确定C，(A,B)中的十部分（即A）可以确定C，称为部分函数依赖。

传递函数依赖：

当A和B不等价时，A可确定B，B可确定C，则A可确定C，是传递函数依赖；若A和B等价，则不存在传递，直接就可确定C。

函数依赖的公理系统(Armstrong）

设关系模式R，U是关系模式R的属性全集，F是关系模式R的一个函数依赖集。对于R来说有
以下的：

自反律：

若Y⊆X⊆U，则X->Y为F所逻辑蕴含，ps:⊆意思是,X包含Y，Y是X的子集

增广律：

若X→Y为F所逻辑蕴含，且Z⊆U，则XZ>YZ为F所逻辑蕴含，速记ps:两边都增加相同的Z

传递律：

若X→Y和Y>Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

合并规则：

若X→Y，X>Z，则X→YZ为F所蕴涵，速记ps:右边合并

伪传递率：

若X-→>Y，WY→>Z，则XW→Z为F所蕴涵，速记ps:在传递律的左边增加W

分解规则：

若X→>Y，Z⊆Y，则X>Z为F所蕴涵

超键：

能唯一标识此表的属性的组合。

候选键：

超键中去掉冗余的属性，剩余的属性就是候选键。

主键：

任选一个候选键，即可作为主键。

外键：

其他表中的主键。

主属性：

候选键内的属性为主属性（是多个候选键的并集），其他属性为非主属性。

实体完整性约束：

即主键约束，主键值不能为空，也不能重复。

参照完整性约束：

即外键约束，外键必须是其他表中已经存在的主键的值，或者为空。

用户自定义完整性约束：

自定义表达式约束，如设定年龄属性的值必须在0到150之间。