函数依赖
定义：设R(U)是属性集U上的关系模式，X,Y是U的子集。若对于R（U)的任意一个可能的关系r，r中不可能存在来给你个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记作X->Y.
第一范式：
每一个分量必须是不可分的数据项。满足这个条件的是第一范式
第二范式：
在第一范式的基础上，属性完全依赖于码。
第三范式：
在第二范式的基础上，属性不依赖于其他的非主属性。
BCNF
关系模式R<U，F>∈1NF。若函数依赖集合F中的所有函数依赖X→Y（Y不包含于X）的左部都包含R的任一候选键，则R∈BCNF。换言之，BCNF中的所有依赖的左部都必须包含候选键。
第四范式
这个打个问号？提供几个网址，希望网友看到的可以帮忙补充一下？？