关系数据理论(笔记)

关系数据理论

 

关系模式： 关系模式是个五元组，其中两项对模式设计关系不大，可以用一个三元组来表示，R< U, F>.

                 U是一组属性， F是属性U上的一组数据依赖。

                 当U上的一个关系r满足F时，r称为关系模式R<U,F>的一个关系。

 

 

1NF(一范式)-- 也是一张二维表最起码的要求，每个分量也 就是属性是不可在分的数据项。

                   

    函数依赖：一个属性确定后，另个属性也被确定。身份证号确定后就能确定你的姓名，就是姓名函数依赖与身份证号。

    多值依赖：多个属性才能确定一个属性的叫多值属性。

 

    非平凡函数依赖： X→Y，但是Y不属于X。X 叫决定因素。反之为平凡函数依赖。

 

    完全函数依赖： Y依赖于X， 若对于X的任意子集X‘，都没有Y依赖于X’，则称完全函数依赖

    部分函数依赖： 若不是完全函数依赖，就是部分函数依赖。

 

    设K为R<U,F>中的属性或属性组合，若K→U(U完全依赖与K)，则K为R的候选码. 若候选码多于一个，则选定其中一个为主码

   

    包含在任意一个候选码中的属性叫主属性。不被包含的称为非主属性。

 

2NF(二范式)  每一个非主属性完全函数依赖与码。

 

    2范式产生的问题： 插入异常，删除异常， 修改复杂。

 

3NF(三范式) 每一个非主属性既不部分依赖于码，也不传递依赖于码。

 

BCNF范式 关系模式中，每一个决定因素都包含码。

 

4NF(4范式) 限制关系模式的属性之间不允许有非平凡非函数依赖的多值依赖。用投影的方法消除多值依赖。