数据库原理- 关系数据理论.pptVIP

2、子集有效性不同： 若函数依赖X →Y在R（U）上成立，则对于任何Y’属于Y，都有 X →Y’成立。 而多值依赖X →→ Y在R（U）上成立，却不能断言对于任何Y’属于Y，有X →→Y’成立。 5.2.8 4NF 定义5.10 若关系模式R（U，F）∈1NF，如果对于R的每个非平凡多值依赖X →→ Y（Y不包含于X），X都含有码，则称R（U，F）∈4NF。 实质上4NF消除了多值依赖。为什么？ 一个关系模式到了BCNF可能还有不合适的性质 WSC（仓库、管理员、物品）中，仓库的管理员与物品无关，存放的物品也与管理员无关； 每一管理员随物品增加而重复被存储，类似地，每一物品也随管理员增加而重复被存储，存在过度冗余； 三类异常同样存在。 可以通过分解方法将其分解为一组4NF 的关系模式 WSC分解为WS和WC两个关系模式即可使之达到4NF，解决上述问题 5.2.9 规范化小结 1NF：每个分量是不可分的数据项。 ∪ 2NF：非主属性完全函数依赖于码。 ∪ 3NF：非主属性即不部分依赖于码也不传递依赖于码。 ∪ BCNF：所有属性都不部分依赖于码也不传递依赖于码。所有决定因素(属性集)都包含码。 ∪ 4NF：所有非平凡的多值依赖都是函数依赖。 5.3 数据依赖的公理系统 逻辑蕴含： 定义5.11 对于关系模式RU，F，其任何一个关系r，若函数依赖X