数据库系统概论AnIntroductiontoDatabaseSystem第6章关.ppt

《数据库系统概论AnIntroductiontoDatabaseSystem第6章关.ppt》由会员上传分享，免费在线阅读，更多相关内容在PPT专区-天天文库。

1、数据库系统概论AnIntroductiontoDatabaseSystem第6章关系数据理论6.2.2码定义6.4设K为关系模式R中的属性或属性组合。若KｆU，则K称为R的一个侯选码（CandidateKey）。若关系模式R有多个候选码，则选定其中的一个做为主码（Primarykey）。主属性与非主属性ALLKEY外部码定义6.5关系模式R中属性或属性组X并非R的码，但X是另一个关系模式的码，则称X是R的外部码（Foreignkey）也称外码主码又和外部码一起提供了表示关系间联系的手段。6.2.3范式范式是符合某一种级别的关系模式的集合。关系数据库中的

2、关系必须满足一定的要求。满足不同程度要求的为不同范式。范式的种类：第一范式(1NF)第二范式(2NF)第三范式(3NF)BC范式(BCNF)第四范式(4NF)第五范式(5NF)6.2.3范式各种范式之间存在联系：某一关系模式R为第n范式，可简记为R∈nNF。满足最低要求的（即关系中每一个分量必须是不可分的数据项）关系模式属于第一范式简称R∈1NFNF5NF4BCNFNF3NF2NF1ÉÉÉÉÉ第6章关系数据理论6.1问题的提出6.2规范化6.3数据依赖的公理系统6.4模式的分解6.2.42NF1NF的定义如果一个关系模式R的所有属性都是不可分的基本数据项，则R∈

3、1NF。第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。但是满足第一范式的关系模式并不一定是一个好的关系模式。2NF例:关系模式SLC(Sno,Sdept,Sloc,Cno,Grade)Sloc为学生住处，假设每个系的学生住在同一个地方。函数依赖包括：(Sno,Cno)fGradeSno→Sdept(Sno,Cno)PSdeptSno→Sloc(Sno,Cno)PSlocSdept→Sloc2NFSLC的码为(Sno,Cno)SLC满足第一范式。非主属性Sdept和Sloc部分函数依赖于码(Sno,Cno)SnoCnoGrade

4、SdeptSlocSLCSLC不是一个好的关系模式(1)插入异常假设Sno＝95102，Sdept＝IS，Sloc＝N的学生还未选课，因课程号是主属性，因此该学生的信息无法插入SLC。(2)删除异常假定某个学生本来只选修了3号课程这一门课。现在因身体不适，他连3号课程也不选修了。因课程号是主属性，此操作将导致该学生信息的整个元组都要删除。SLC不是一个好的关系模式(3)数据冗余度大如果一个学生选修了10门课程，那么他的Sdept和Sloc值就要重复存储了10次。(4)修改复杂例如学生转系，在修改此学生元组的Sdept值的同时，还可能需要修改住处（Sloc）。如果

5、这个学生选修了K门课，则必须无遗漏地修改K个元组中全部Sdept、Sloc信息。2NF原因Sdept、Sloc部分函数依赖于码。解决方法SLC分解为两个关系模式，以消除这些部分函数依赖SC（Sno，Cno，Grade）SL（Sno，Sdept，Sloc）2NF函数依赖图：SnoCnoGradeSCSLSnoSdeptSloc2NF2NF的定义定义6.6若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于R的码，则R∈2NF。例：SLC(Sno,Sdept,Sloc,Cno,Grade)∈1NFSLC(Sno,Sdept,Sloc,Cno,Grade)∈2

6、NFSC（Sno，Cno，Grade）∈2NFSL（Sno，Sdept，Sloc）∈2NF第二范式（续）采用投影分解法将一个1NF的关系分解为多个2NF的关系，可以在一定程度上减轻原1NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。将一个1NF关系分解为多个2NF的关系，并不能完全消除关系模式中的各种异常情况和数据冗余。例：2NF关系模式SL(Sno,Sdept,Sloc)中函数依赖：Sno→SdeptSdept→SlocSno→SlocSloc传递函数依赖于Sno，即SL中存在非主属性对码的传递函数依赖。函数依赖图：SLSnoSdeptSlo

7、c解决方法采用投影分解法，把SL分解为两个关系模式，以消除传递函数依赖：SD（Sno，Sdept）DL（Sdept，Sloc）SD的码为Sno，DL的码为Sdept。SD的码为Sno，DL的码为Sdept。SnoSdeptSDSdeptSlocDL3NF3NF的定义定义6.8关系模式R中若不存在这样的码X、属性组Y及非主属性Z（ZY）,使得X→Y，Y→X，Y→Z，成立，则称R∈3NF。例：SL(Sno,Sdept,Sloc)∈2NFSL(Sno,Sdept,Sloc)∈3NFSD(Sno,Sdept)∈3NFDL(Sdept,Sloc

8、)∈3NF3NF若R∈3