1． 函数依赖定义
　　设关系模式R（U），属性集合U={A1，A2，…，An}，X，Y为属性集合U的子集，如果对于关系模式R(U)的任一可能的关系r，r中的任意两个元组u、v，若有u[X]=v[X]，就有u[Y]=v[Y]，则称X函数决定Y，或称Y函数依赖于X。用符号X→Y表示。其中X为决定因素，Y为被决定因素。
若对于R（U）的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值性等，而在Y上的属性值不等。
　(1) 函数依赖是语义范畴的概念，只能根据语义来确定一个函数依赖关系。
　(2) 函数依赖X→Y的定义要求关系模式R的任何可能的关系r中的元组都满足函数依赖条件。
例如：有学生关系模式R(SNO, SNAME, SSEX)，即学号SNO，学生姓名SNAME，学生性别SSEX三个属性。由于在现实世界中，我们规定一个学校中学生的学号是学生的唯一标识，任何一个学生，他的学号一经确定，他的名字和性别就唯一的确定了。这就是我们为每个学生分配一个唯一学号的现实语义。对于这个关系模式，在学生关系中，有可能在某个特定的时刻，关系中只有两个学生，一个男生和一个女生，他们的性别不同，他们的学号和姓名也不相同，但是我们不能就此判断SSEX→SNO或者SS