关系数据理论

一、函数依赖

若t1(X)=t2(X),必有t1(Y)=t2(Y),那么我们称属性组X函数确定属性组Y，或者说Y函数依赖于X。记为X->Y，其中X叫决定因素，Y叫依赖因素。

平凡函数依赖与非平凡函数依赖：

  

二、1-BCNF

评价关系模式“好坏”的理论标准就是范式。

范式：是设计数据库结构中所要遵循的规则和指导方式，表示的是关系模式的规范化程度。

范式由低到高分:1NF,2NF,3NF,BCNF,4NF,5NF

 关系模式的规范化：把一个低一级的关系模式分解为高一级的关系模式的过程。

规范化程度越高，数据冗余越小，数据更新（增删改）操作的复杂度越低。

1NF存在的问题：数据冗余、修改异常、插入异常、删除异常