第1讲2 SQL server 2005 数据库技术 清华大学出版社.pptVIP

5. 第3范式——消除传递依赖 定义6 设R是一个满足第1范式条件的关系模式，X是R的任意属性集，如果X非传递依赖于R的任意一个候选关键字，称R满足第3范式，简记为3NF。 定理 若关系模式R符合3NF条件，则R一定符合2NF条件。 例：将属于第二范式的SL进行投影分解，消除其中的传递函数依赖, 就可达到第三范式。 SD(Sno, Sdept) ∈3NF DL(Sdept, Sloc) ∈3NF 6. Boyce-Codd范式 定义7 设R是一个关系模式，若R的每一个函数依赖关系的左部都是R的一个候选关键字，称R满足Boyce-Codd范式，简记为BCNF。 可以证明，BCNF是比3NF更强的规范(证明略)，即符合BCNF条件的关系模式一定符合3NF条件，但反过来却不成立。 BCNF是对3NF的改进，但是在具体实现时有时是有问题的。这里不再就这个问题展开进一步的讨论，有兴趣的读者可以参考有关书籍。 （1）规范化的目的 解决 数据冗余、插入异常、删除异常、修改困难 等问题 7、范式小结 （2）规范化的基本思想 逐步消除不合适的数据依赖， 让一个关系描述一个概念、一个实体或实体间的一种联系。即“一事一地”的模式设计原则。 1、数据库设计的任务和目标 一个成功的管理系统 =%50的业务+%50的