关系范式规范化理论.ppt

X’Y,则称Y完全函数依赖于X，记作：XFY定义2.2在关系模式R（U）中，如果X→Y，并且对于X的任何一个真子集X’，都有01XPY若X→Y，但Y不完全函数依赖于X，则称Y部分函数依赖于X，记作：02三、完全函数依赖与部分函数依赖12543例:在关系SC（Sno，Cno，Grade）中，用X表示（Sno，Cno），用Y表示Grade，那么，（Sno，Cno）→Grade但是Sno→Grade，Cno→Grade，因此（Sno，Cno）FGrade12345三、完全函数依赖与部分函数依赖四、传递函数依赖定义2.3在关系模式R(U)中，如果X→Y，Y→Z，且Y?X，Y→X，则称Z传递函数依赖于X。注:如果Y→X，即X←→Y，则称Z直接函数依赖于X。例:在关系Std（Sno,Sdept,Mname）中，有：Sno→Sdept，Sdept→Sno，Sdept→MnameMname传递函数依赖于Sno设K为关系模式RU,F中的属性或属性组合。若KｆU，则K称为R的一个侯选码(CandidateKey)。若关系模式R有多个候选码，则选定其中的一个做为主码（Primarykey）。主属性与非主属性全码（ALLKEY）123定义2.42.4码外部码定义2.5关系模式R中的属性或属性组X不是R的码，但X是另一个关系模式的码，则称X是R的外部码（Foreignkey）也称外码。主码和外部码一起提供了表示关系间联系的手段SC（Sno，Cno，Grade）Student（Sno，Sname，Sdept，Sage）Course（Cno，Cname，Cpno，Ccredit）2.5范式关系数据库中的关系必须满足一定的要求。把满足不同程度要求的关系称为不同的范式。范式的种类 第一范式(1NF)第二范式(2NF)第三范式(3NF)BC范式(BCNF)第四范式(4NF)第五范式(5NF)例：R∈1NF，R∈3NF3若某一关系模式R为第n范式，可简记为1R∈nNF2各种范式之间存在联系：2.5范式1NF的定义2.61NF的定义1NF的定义 如果一个关系模式R的所有属性都是不可再分的基本数据项，则R∈1NF。第一范式是对关系模式的最起码的要求。不满足第一范式的数据库不能称为关系数据库但是满足第一范式的关系模式并不一定是一个好的关系模式。例：SLC（Sno,Cno,Sdept,Sloc,Grade）∈1NFSnoCnoSdeptSlocGrade95001数据库信息系1号楼9095001英语信息系1号楼853.连接（Join）*也称为θ连接，是从两个关系的笛卡尔积中选取属性间满足一定条件的元组，记作：AθBtrtsRS={|tr?R∧ts?S∧tr[A]θts[B]}其中，A和B分别为R和S上度数相等且可比的属性组，θ为比较运算符(四类)连接运算从R和S的广义笛卡尔积R×S中选取R关系在A属性组上的值与S关系在B属性组上值满足比较关系的元组。连接的分类－－等值连接*等值连接（equijoin）是指θ为“＝”的连接运算从关系R与S的广义笛卡尔积中选取A、B属性值相等的那些元组，即等值连接为：A=BtrtsRS={|tr?R∧ts?S∧tr[A]=ts[B]}连接的分类－－自然连接*自然连接（Naturaljoin）是一种特殊的等值连接要求两个关系中进行比较的分量必须是相同的属性组并且在结果中把重复的属性列去掉若R和S具有相同的属性组B，则自然连接表示如下：trtsRS={|tr?R∧ts?S∧tr[B]=ts[B]}连接(续)*关系R和关系S如下ABCa1b15a1b26a2b38a2b412BEb13b27b310b32b52RS连接(续)*AR.BCS.BEa1b15b27a1b15b310a1b2