版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA版权协议,转载请附上原文出处链接和本声明。
一.规范化程度判断
4NF: 消除了非平凡且非函数依赖的多值依赖 BCNF: 关系模式R中,若每一个决定因素都包含有码,则属于BCNF范式 消除了插入删除异常,消除了主属性对码的部分和传递依赖 3NF: 设关系模式R是1NF,若R中不存在这样的码X,属性组Y及非主属性Z(Z不包含U),使得X->Y,Y->Z,Y->\X 消除了非主属性传递依赖 2NF: 若R是1NF,且每一个非主属性完全依赖于任何一个候选码,则R是2NF; 消除了非主属性部分函数依赖例5 关系模式R(U,F),其中U={A,B,C,D},函数依赖集F={B→D,AB→C},试求R最高属于第几范式。