《多值依赖》-公开课件（设计）.pptVIP

5.2.7 多值依赖 属于BCNF的关系模式是不是很完美了呢？ 教材P178例子 存在问题？ 如何解决？ 5.2.8 4NF 4NF就是限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖 如果一个关系模式是4NF，必定为BCNF 一个关系模式是BCNF，但不是4NF，依然有不好的性质，可以用投影分解的办法解决 例：WSC(仓库W, 保管员S, 商品C) 全码(W,S,C) 存在多值依赖W??S, W??C，WSC? 4NF 可进一步分解使之满足4NF: WS(W,S), WC(W,C) 4NF是多值依赖范畴内最高程度的规范化 5.2.9 规范化理论 规范化 概念：将一个低一级范式的关系模式分解为若干个高一级范式的关系模式的过程 目的：设计正确、良好的关系模式 基本思想：逐步消除关系模式的数据依赖中不合适的部分，使模式达到一定程度的分离，但又不丢失原模式中的信息 模式分解的实质：投影 几个事实 模式分解可以消除冗余，解决更新异常等问题，但也要付出做连接运算等昂贵的代价 需要强调的是：对已知关系模式的范式等级是语义上的，而不仅仅是看某个时刻关系中的数据值，必须考察数据间的依赖 即便是知道了数据依赖，也不能证明一个关系是否3NF。我们只能首先假设这个关系是3NF，而去验证给出的关系中没有违反数据依赖的情形 规范化理论 如何辨别一个关系模式的“好坏”？ 不存在部分和传