数据库中的规范化（函数依赖、码、范式）

一个低一级范式的关系模式通过模式分解(schemadecomposition)可以转换为若干个高一级范式的关系模式的集合，这种过程就叫规范化( normalization)。

R(U, D, DOM, F)
这里:
●关系名R是符号化的元组语义。
●U为一组属性。
●D为属性组U中的属性所来自的域。
●DOM为属性到域的映射。
● F为属性组U上的一组数据依赖。
函数依赖：
定义6.1设R(U)是属性集U上的关系模式，X, Y是U的子集。若对于R(U)的任意一个可能的关系r,r中 不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等 ，则称X函数确定Y或Y函数依赖于X,记作X→Y。

就是说：X的属性值如果相等的话，那么Y的属性值也应该对应相等，就是每一个X属性值唯一确定一个Y属性值，那么就是Y函数依赖于X，或者说X确定了Y

函数依赖和别的数据依赖一样是语义范畴的概念，只能根据语义来确定一个函数依赖。例如，姓名→年龄这个函数依赖只有在该部门没有同名人的条件下成立。如果允许有同名人，则年龄就不再函数依赖于姓名了。

注意，函数依赖不是指关系模式R的某个或某些关系满足的约束条件，而是指R的一切