关系数据理论
关系模式: 关系模式是个五元组,其中两项对模式设计关系不大,可以用一个三元组来表示,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范式) 限制关系模式的属性之间不允许有非平凡非函数依赖的多值依赖。用投影的方法消除多值依赖。