[理学]第5章 关系数据库设计理论.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例如，每门课有几个教师讲，但每个教师只教一门课；每个学生可选几门课。 可得出的函数依赖： （Sno，CNAME）→TNAME （Sno，TNAME）→CNAME TNAME→CNAME 关键字：（Sno，CNAME）或（Sno，TNAME） ∵在EN中所有属性都是主属性 ∴EN∈3NF 第五章 关系数据库设计理论 * * 存在异常：如果设置了课程，并确定了教师，但还没有学生选修，则教师与课程信息就不能加入。若一个学生毕业或中止学业，删除学生时，连教师和课程也删了。 定义5.10:如果关系模式R（U,F）的所有属性都不传递依赖于R的任何候选关键字，那么称关系R是属于BCNF,记为R∈BCNF。 关系模式R，如果每个决定因素都包含关键字（而不是被关键字所包含），则R是BCNF的关系模式。 第五章 关系数据库设计理论 * * 那么，上例的分解方法是对于不是BCNF的关系模式R，若在R中有Y?R，且Y?A，A?Y，Y不是R的关键字，则可分解为R1=R-A和R2=YA。 EN分解为：CLASS（Sno，TNAME）∈BCNF TEACH（TNAME，CNAME）∈BCNF 规范化过程 关系模式分解的无损联接性：分解后的两个关系可以通过自然联接恢复原来的关系。这种分解具有无损联接性。判断无损分解的法则，即无损分解的充分必要条件是：R1∩R2→R1-R2或R1∩R2→R2-R1 第五章 关系数据库设计理论 * * 5.3.5 规范化小结 在关系数据库中，对关系模式的基本要求是满足第一范式。这样的关系模式就是合法的、允许的。但是，人们发现有些关系模式存在插入、删除异常、修改复杂，数据冗余等毛病。人们寻求解决这些问题的方法，这就是规范化的目的。 规范化的基本思想是逐步消除数据依赖中不合适的部分，使模式中的各关系模式达到某种程度的“分离”，即“一事一地”的模式设计原则。让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去。因此所谓规范化实质上是概念的单一化。 第五章 关系数据库设计理论 * * 例 教师任课关系模式 TDC(T#,TNAME,TITLE,ADDR,D#,DNAME,LOC,C#,CNAME,LEVEL, CREDIT) 第一步：确定函数依赖 T#→(TNAME,TTITLE,ADDR,D#,DNAME,LOC) D#→(DNAME,LOC) C#→(CNAME,CREDIT) (T#,C#)→LEVEL 第五章 关系数据库设计理论 * * 第二步：确定候选关键字 ∵(T#,C#)→U ∴(T#,C#)为候选关键字 第三步：确定主属性和非主属性 主属性：T#,C# 非主属性：TNAME,TITLE,ADDR,D#,DNAME,LOC,CNAME,CREDIT,LEVEL 第五章 关系数据库设计理论 * * 第四步：判定是否为第二范式，若不是则分解为第二范式 ∵T#→(TNAME,TTITLE,ADDR,D#,DNAME,LOC) C#→(CNAME,CREDIT) ∴TDC\∈2NF 分解为：TD(T#,TNAME,ADDR,D#,DNAME,LOC) C(C#,CNAME,CREDIT) TC(T#,C#,LEVEL) 第五章 关系数据库设计理论 * * 第五步：判定是否为第三范式，若不是则分解为第三范式 经判断C∈3NF, TC∈3NF ∵T#→D#,D#→(DNAME,LOC),且D#→\T# ∴TD\∈3NF 分解为：D(D#,DNAME,LOC) T(T#,TNAME,ADDR,D#) 第五章 关系数据库设计理论 * * 第六步：判定是否为BCNF，若不是则分解为BCNF 经判断: T(T#,TNAME,ADDR,D#)∈BCNF D(D#,DNAME,LOC)∈BCNF C(C#,CNAME,CREDIT)∈BCNF TC(T#,C#,LEVEL)∈BCNF TDC分解为以上四个关系模式 第五章 关系数据库设计理论 * * 在这4个关系模式组成的关系模式中消除了传递依赖，达到了3NF。在任一个模式中，每个决定因素都是关键字，由此也同时满足了BNCF的要求。 各范式级别是在分析函数依赖条件下对关系模式分离程度的一种测度。范式级别可以逐级升高，直至BCNF。 第五章 关系数据库设计理论 * * BCNF 消除决