2020-12-22

关系数据理论范式

最低要求：第一范式（1NF）
作为一个二维表，每一个分量必须是不可分得数据项；即满足第一范式
比如有一项是你的工资，但他由基本工资，住房公基金，餐饮补贴等等构成，即不满足；
第二范式（2NF）
不允许存在非主属性对码得部分函数依赖；即所有非主属性都完全依赖于一个候选码；
比如有一个二维表，码是（学生学号+课程号）；其中学生的系，可以由学生学号决定，不需要学号和课程号一起决定，则系部分依赖于码；你符合第二范式；
第三范式（3NF）
不允许有非主属性对码的传递函数依赖，如果没有传毒函数依赖，自然没有不部分函数依赖；
比如你的学号决定你的系，你的系有决定你的宿舍楼，则宿舍楼就对学号传递依赖，不符合第三范式
BCNF（介于第三和第四范式之间）
任何非平凡函数依赖，决定因素必含有码；
比如，每个教师教一门课，一门课可以有很多教师，学生可以选择很多课；
但选定了一门课，这门课就只有一个老师教这个学生。
显然学生和课程的组合键，学生和老师的组合建都是候选码；但老师可以决定课程，课程不包含键，所以不符合BCNF；但其符合第三范式；
第四范式（4NF）：
关系模式的属性之间，不允许有非平凡且非函数的多值依赖，也就是说所有的非平凡的多值依赖都是函数依赖
第五范式（5NF）
当且仅当R中每个连接依赖均为R的候选码所蕴含。一般只做了解