关系数据库的规范理论

1.数据冗余：数据冗余是指同一数据被反复存储的情况。 2.更新异常：数据冗余将导致存储空间的浪费和潜在的数据不一致及修改等问题。 3.插入异常：数据插入操作异常是指应该插入到数据库中的数据不能执行插入操作的情况。 4.删除异常：数据的删除异常操作是指不应该删去的数据别删除的情形。

函数依赖之关系中属性的对应关系，如下： 设R为任一给定关系，如果对于R中的属性X的每一个值，R中的属性Y只有唯一的值与值对应，则称X函数决定Y或称Y函数依赖于X，记作X→Y。其中，X称为决定因素。

设R任一给定关系，X、Y为其属性集，若X→Y,且·X中的任何真子集x都有x 不→ y，则称Y完全函数依赖于X。

设R任一给定关系，X、Y为其属性集，若X→Y,且·X中的任何真子集存在一个x→Y，则称 Y部分函数依赖于X.

设R任一给定关系，X、Y、Z为其不同属性子集，若X→Y，Y不→X，Y→Z，则有X→Z，则称Z传递函数依赖于X