文档介绍：:..关系数据库中关系规范化问题在1970年Godd提出关系模型时就同时被提出來,关系规范化可按屈性间不同的依赖程度分为第一范式,第二范式,第三范式,Boyce-Codd范式以及第四范式•人们对规范化的认识是有一个过程的,在1970年时已发现属性间的函数依赖关系,从而定义了与函数依赖关系有关的第一,第二,第三,及Boyce-Codd范式•在1976-1978年间,Fagin,Delobe以及Zanjolo发现了多值依赖关系,,在木节中我们介绍函数依赖与多值依赖这两个概念,并在此基础上定义第一范式,第二范式,第三范Boyce-(functionaldependency)是关系模式内屈性间最常见的一种依赖关系,例如在关系模式S屮,S#与Sd间有—•#的值一经确定后Sd的值也随Z唯一地确定了,此时即称S#函数决定Sd或称Sd函数依赖于S#,它可用F面符号表示:S#—>Sd同样,我们述可以有:S#—>SaS#—>Sn但是关系模式SC中的S#与G间则没有函数依赖关系,因为一个确定的学号S#可以允许有多个成绩(它们分别对应于不同的课程),因此成绩G并不能唯一•地确定,但是(S#,C#)与G间则存在着函数依赖关系,即有:(S#,C#)tG函数依赖这个概念是屈语义范畴的,我们只能根据语义确定屈性间是否存在这种依赖,-1设有关系模式R(U),X,Y是U的了集,若对于任一个关系R中的任一元组在X屮的属性值确定后则在丫屮的属性值必确定,则称丫函数依赖于X或称X函数决定Y,并记作X-Y,而其中X称为决定因素,Y称为依赖因素•对于函数依赖,我们一般总是使用一种叫非平凡的函数依赖,在本章小如无特殊声明,•面我们对非平凡函数依赖F--2一个函数依赖关系X-Y如满足Y(X,,也为了规范化的需耍,;引入一种完全函数依赖的概念,这个概念为真正的函数依赖打下基础•例如在S申我们有S#->Sd,因而我们同样也会有:(S#,Sn)->Sd(S#,Sa)->Sd比较这三种函数依赖后我们会发现,实际上真止起作用的函数依赖是:S#->Sd而其他两种函数依赖都是由它派生而成的,即是说在函数依赖中真止起作用的是S#,而不是Sn或Sa等•这样,我们在研究函数依赖时要区别这两种不同类型的函数依赖,而一种叫完全函数依赖,-3R(U)屮如有X,Y(U,满足XtY且对任何X的真子集乂,都有X 则称Y完全函数依赖于X并记作:XY定义8-4在R(U)中如有X,Y(U且满足X-Y,但Y不完全函数依赖于X,则称Y部分依赖于X,并记作:XY由上所述可知,Sd完全函数依赖于S#,但Sd不完全函数依赖于(S#,Sn),亦即有:S#Sd(S#,Sn)Sd(S#,Sa)Sd在函数依赖小述要区别直接函数依赖与间接函数依赖这两个不同的概念,例如S#-Sd中Sd是直接函数依赖丁£#,但如杲在屈性中尚有系的电话号码DT(假如每个系有唯一的一个电话号码),则有:Sd-DT,从而由S#-Sd及Sd-DT可得到:S#->DT在这个函数依赖小,DT并不直接函数依赖于S#,而是经过屮间属性Sd传递而依赖于S#,亦即是DT直接依赖于Sd,而Sd又直接依赖于S#,从而构成了DT依赖于S#•这种函数依赖关系,是一种间接依赖关系,或叫传递依赖关系•我们可以对它定义如卜'・定义8-5在R(U)中如有X,Y,Z(U且满足:XfY,(Y(X)Y/X,Y—>Z则称Z传递函数依赖于X,否则,,在这里传递函数依赖与非传递函数依赖仅作概念上区别,在形式表示上不作任何区别,即Z传递函数依赖于X或Z非传递函数依赖于X都用XtZ表示,,我们在此基础上继续定义一些十分重耍的基本概念•即有关关键字(keY)-6在R(U)中如有K(U且满足:,我们在使用中选取其中的一个就够了,这个被选屮的关键字叫做这个关系模式的主关键字(Primekey),而一般的关键字叫候选关键字(candidatekey).在关系模式s,c,sc屮,S的关键字是S#,C的关键字是C#,而SC的关键字是(S#,C#),因为我们有:S#(S#,Sn,Sd,Sa)