📄 简单谈谈关系数据库中范式理论_记录.htm
字号:
<TD class=modtr width=7> </TD></TR></TBODY></TABLE>
<DIV class=modbox id=m_blog>
<DIV class=tit>简单谈谈关系数据库中范式理论</DIV>
<DIV class=date>2006-12-14 20:26</DIV>
<TABLE style="TABLE-LAYOUT: fixed">
<TBODY>
<TR>
<TD>
<DIV class=cnt id=blog_text>
<P>第一范式:</P>
<P>所有的属性都是不可分割的原子单位。</P>
<P>第二范式:</P>
<P>如果关系模式R(U,F)中的所有非主属性都完全依赖于任意一个候选关键字,则称关系R 是属于第二范式。</P>
<P>第三范式:</P>
<P>如果关系模式R(U,F)中的所有非主属性对任何候选关键字都不存在传递信赖,则称关系R是属于第三范式的</P>
<P>BC范式:(BCNF)</P>
<P>如果关系模式R(U,F)的所有属性(包括主属性和非主属性)都不传递依赖于R的任何候选关键字,那么称关系R是属于BCNF的。</P>
<P>举例说明:</P>
<P>第一范式(1NF):</P>
<P>如果关系模式R的每个关系都是r的属性值不可分割的原子值,则称关系R是第一范式的模式.</P> 不满足第一范式的情况:<BR> 关系R(name,address,phone)<BR> ----------------------------------------------------------------------<BR> name
address phone
<P> AA 山西太原
2204446<BR> AA 山西太原
8350524<BR> ----------------------------------------------------------------------<BR>说明:phone可以再分(可以分为phone1和phone2).</P>
<P>*************************************************************************************</P>
<P>第二范式(2NF):</P>
<P>1):局部依赖:<BR> 对于依赖关系 W->A
(A依赖于W),如果存在X归属于W,且X->A(A依赖于X),那么称W->A是局部依赖;否则称W->A是完全依赖.<BR> 比如:<BR> 关系模式R(sno,cno,grade,tname,taddr)<BR> sno:学生学号;cno:课程编号;grade:成绩;tname:老师姓名;taddr:老师住址<BR> (sno,cno)->(tname,taddr)(sno,cno决定于tname以及cno)是局部依赖,因为cno->(tname,taddr).</P>
<P>2):二范式定义:<BR> 如果关系模式R满足第一范式,且每个非主属性完全依赖于侯选键,则称R满足第二范式.</P>
<P>不满足第二范式的情况:<BR> 关系模式R(sno,cno,grade,tname,taddr)<BR> sno:学生学号;cno:课程编号;grade:成绩;tname:老师姓名;taddr:老师住址<BR> ----------------------------------------------------------------------<BR> sno
cno grade tname taddr</P> 101 001 100 张老师 山西太原....<BR> 102 001
95 张老师 山西太原....<BR> 103 001 98 张老师
山西太原....<BR> 104 002 95 李老师 中国北京....<BR> 105 003
90 刘老师
中国上海....<BR> ----------------------------------------------------------------------<BR> 说明:出现相同的tname,taddr三次<BR> 消除方法:分解关系模式R<BR> ----------------------------------------------------------------------<BR> R1(sno,cno,grade)
<P> sno cno grade</P> 101 001 100<BR> 102 001 95<BR> 103 001
98<BR> 104 002 95<BR> 105 003 90
<P><BR> R2(cno,tname,taddr)</P>
<P> cno tname taddr</P> 001 张老师 山西太原....<BR> 002 李老师
中国北京....<BR> 003 刘老师
中国上海....<BR> ----------------------------------------------------------------------
<P>*************************************************************************************</P>
<P>第三范式(3NF):</P>
<P>1):传递依赖:如果X->Y,Y->A,且Y不依赖X和A不是Y的子集,那么称X->A是传递依赖.(A传递依赖于X)</P>
<P>2):三范式定义:<BR> 如果关系模式R是1NF,且每个非主属性都不依赖于R的侯选键,那么称R满足第三范式.</P>不满足第三范式的情况:<BR> 关系模式R2(cno,tname,taddr)是2NF模式,如果在R2中存在cno->tname,tname->taddr,那么cno->taddr就是个传递依赖,及不满足第三范式.<BR> ----------------------------------------------------------------------<BR> cno
tname taddr<BR><BR> 001 张老师 山西太原....<BR> 002 李老师 中国北京....<BR> 003 刘老师
中国上海....<BR> 004 张老师 山西太原....<BR> 005 张老师
山西太原....<BR> ----------------------------------------------------------------------<BR> 说明:张老师开设了3门课程,上面就出现了3个元组,教师地址重复了3次.<BR> 消除方法:分解关系模式R2<BR> ----------------------------------------------------------------------<BR> R3(cno,tname)
<P> cno tname</P> 001 张老师<BR> 002 李老师<BR> 003 刘老师<BR> 004
张老师<BR> 005 张老师
<P> R4(tname,taddr)</P>
<P> tname taddr</P> 张老师 山西太原....<BR> 李老师 中国北京....<BR> 刘老师
中国上海....<BR> ----------------------------------------------------------------------
<P>再补充一下:</P>
<P>第四范式(4NF)</P>
<P>第四范式禁止主键列和非主键列一对多关系不受约束</P>
<P>第五范式(5NF)</P>
<P>第五范式将表分割成尽可能小的块,为了排除在表中所有的冗余.</P>
<P><STRONG>关系数据库的三种设计范式介绍</STRONG> </P>
<P>第一范式(1NF)</P>
<P>
在任何一个关系数据库中,第一范式(1NF)是对关系模式的基本要求,不满足第一范式(1NF)的数据库就不是关系数据库。</P>
<P>
所谓第一范式(1NF)是指数据库表的每一列都是不可分割的基本数据项,同一列中不能有多个值,即实体中的某个属性不能有多个值或者不能有重复的属性。如果出现重复的属性,就可能需要定义一个新的实体,新的实体由重复的属性构成,新实体与原实体之间为一对多关系。在第一范式(1NF)中表的每一行只包含一个实例的信息。例如,对于图3-2
中的员工信息表,不能将员工信息都放在一列中显示,也不能将其中的两列或多列在一列中显示;员工信息表的每一行只表示一个员工的信息,一个员工的信息在表中只出现一次。简而言之,第一范式就是无重复的列。</P>
<P>2 第二范式(2NF)</P>
<P>
第二范式(2NF)是在第一范式(1NF)的基础上建立起来的,即满足第二范式(2NF)必须先满足第一范式(1NF)。第二范式(2NF)要求数据库表中的每个实例或行必须可以被惟一地区分。为实现区分通常需要为表加上一个列,以存储各个实例的惟一标识。如图3-2
员工信息表中加上了员工编号(emp_id)列,因为每个员工的员工编号是惟一的,因此每个员工可以被惟一区分。这个惟一属性列被称为主关键字或主键、主码。</P>
<P>
第二范式(2NF)要求实体的属性完全依赖于主关键字。所谓完全依赖是指不能存在仅依赖主关键字一部分的属性,如果存在,那么这个属性和主关键字的这一部分应该分离出来形成一个新的实体,新实体与原实体之间是一对多的关系。为实现区分通常需要为表加上一个列,以存储各个实例的惟一标识。简而言之,第二范式就是非主属性非部分依赖于主关键字。</P>
<P>3 第三范式(3NF)</P>
<P>
满足第三范式(3NF)必须先满足第二范式(2NF)。简而言之,第三范式(3NF)要求一个数据库表中不包含已在其它表中已包含的非主关键字信息。例如,存在一个部门信息表,其中每个部门有部门编号(dept_id)、部门名称、部门简介等信息。那么在图3-2的员工信息表中列出部门编号后就不能再将部门名称、部门简介等与部门有关的信息再加入员工信息表中。如果不存在部门信息表,则根据第三范式(3NF)也应该构建它,否则就会有大量的数据冗余。简而言之,第三范式就是属性不依赖于其它非主属性。</P>
<P><FONT face=Verdana><STRONG><U><A
href="http://www.itisedu.com/phrase/200603011123415.html"
target=_new>数据库设计</A>三大范式应用实例剖析</U></STRONG> </FONT></P>
<P> <A
href="http://www.itisedu.com/phrase/200604241410255.html"
target=_new>数据库的设计范式</A>是数据库设计所需要满足的规范,满足这些规范的数据库是简洁的、结构明晰的,同时,不会发生插入(insert)、删除(delete)和更新(update)操作异常。反之则是乱七八糟,不仅给数据库的编程人员制造麻烦,而且面目可憎,可能存储了大量不需要的冗余信息。
<BR><BR>
设计范式是不是很难懂呢?非也,大学教材上给我们一堆数学公式我们当然看不懂,也记不住。所以我们很多人就根本不按照范式来设计数据库。
<BR><BR>
实质上,设计范式用很形象、很简洁的话语就能说清楚,道明白。本文将对范式进行通俗地说明,并以笔者曾经设计的一个简单论坛的数据库为例来讲解怎样将这些范式应用于实际工程。
<BR><BR><STRONG> 范式说明 </STRONG><BR><BR>
第一范式(1NF):数据库表中的字段都是单一属性的,不可再分。这个单一属性由基本<A
href="http://www.itisedu.com/phrase/200603051002565.html"
target=_new>类型</A>构成,包括整型、实数、字符型、逻辑型、日期型等。 <BR><BR> 例如,如下的数据库表是符合第一范式的:
<BR><BR>
<TABLE height=43 cellSpacing=0 cellPadding=2 align=center border=1>
<TBODY>
<TR>
<TD height=18>字段1</TD>
<TD>字段2</TD>
<TD>字段3</TD>
<TD>字段4</TD></TR>
<TR>
<TD height=23> </TD>
<TD> </TD>
<TD> </TD>
<TD> </TD></TR></TBODY></TABLE><BR> 而这样的数据库表是不符合第一范式的: <BR><BR>
<TABLE height=25 cellSpacing=0 cellPadding=2 align=center border=1>
<TBODY>
<TR>
<TD>字段1</TD>
<TD>字段2</TD>
<TD colSpan=2>字段3</TD>
<TD>字段4</TD></TR>
<TR>
<TD> </TD>
<TD> </TD>
<TD>字段3.1</TD>
<TD>字段3.2</TD>
<TD> </TD></TR></TBODY></TABLE></P>
<P class=main><BR> 很显然,在当前的任何关系<A
href="http://www.itisedu.com/phrase/200603011033425.html"
target=_new>数据库管理系统</A>(<A
href="http://www.itisedu.com/phrase/200604221337185.html"
target=_new>DBMS</A>)中,傻瓜也不可能做出不符合第一范式的数据库,因为这些DBMS不允许你把数据库表的一列再分成二列或多列。因此,你想在现有的DBMS中设计出不符合第一范式的数据库都是不可能的。
<BR><BR>
第二范式(2NF):数据库表中不存在非关键字段对任一候选关键字段的部分函数依赖(部分函数依赖指的是存在组合关键字中的某些字段决定非关键字段的情况),也即所有非关键字段都完全依赖于任意一组候选关键字。
<BR><BR> 假定选课关系表为SelectCourse(学号, 姓名, 年龄, 课程名称, 成绩, 学分),关键字为组合关键字(学号,
课程名称),因为存在如下决定关系: <BR><BR> (学号, 课程名称) → (姓名, 年龄, 成绩, 学分) <BR><BR>
这个数据库表不满足第二范式,因为存在如下决定关系: <BR><BR> (课程名称) → (学分) <BR><BR> (学号) → (姓名,
年龄) <BR><BR> 即存在组合关键字中的字段决定非关键字的情况。 <BR><BR> 由于不符合2NF,这个选课关系表会存在如下问题:
<BR><BR> (1) 数据冗余: <BR><BR>
同一门课程由n个学生选修,"学分"就重复n-1次;同一个学生选修了m门课程,姓名和年龄就重复了m-1次。 <BR><BR> (2) 更新异常:
<BR><BR> 若调整了某门课程的学分,数据表中所有行的"学分"值都要更新,否则会出现同一门课程学分不同的情况。 <BR><BR> (3)
插入异常: <BR><BR> 假设要开设一门新的课程,暂时还没有人选修。这样,由于还没有"学号"关键字,课程名称和学分也无法记录入数据库。
<BR><BR> (4) 删除异常: <BR><BR>
假设一批学生已经完成课程的选修,这些选修记录就应该从数据库表中删除。但是,与此同时,课程名称和学分信息也被删除了。很显然,这也会导致插入异常。
<BR><BR> 把选课关系表SelectCourse改为如下三个表: <BR><BR> 学生:Student(学号, 姓名, 年龄);
<BR><BR> 课程:Course(课程名称, 学分); <BR><BR> 选课关系:SelectCourse(学号, 课程名称,
成绩)。 <BR><BR> 这样的数据库表是符合第二范式的, 消除了数据冗余、更新异常、插入异常和删除异常。 <BR><BR>
另外,所有单关键字的数据库表都符合第二范式,因为不可能存在组合关键字。 <BR><BR>
第三范式(3NF):在第二范式的基础上,数据表中如果不存在非关键字段对任一候选关键字段的传递函数依赖则符合第三范式。所谓传递函数依赖,指的是如果存在"A
→ B → C"的决定关系,则C传递函数依赖于A。因此,满足第三范式的数据库表应该不存在如下依赖关系: <BR><BR> 关键字段 →
非关键字段x → 非关键字段y <BR><BR> 假定学生关系表为Student(学号, 姓名, 年龄, 所在学院, 学院地点,
学院电话),关键字为单一关键字"学号",因为存在如下决定关系: <BR><BR> (学号) → (姓名, 年龄, 所在学院, 学院地点,
学院电话) <BR><BR> 这个数据库是符合2NF的,但是不符合3NF,因为存在如下决定关系: <BR><BR> (学号) →
(所在学院) → (学院地点, 学院电话) <BR><BR> 即存在非关键字段"学院地点"、"学院电话"对关键字段"学号"的传递函数依赖。
<BR><BR> 它也会存在数据冗余、更新异常、插入异常和删除异常的情况,读者可自行分析得知。 <BR><BR>
把学生关系表分为如下两个表: <BR><BR> 学生:(学号, 姓名, 年龄, 所在学院); <BR><BR> 学院:(学院, 地点,
电话)。 <BR><BR> 这样的数据库表是符合第三范式的,消除了数据冗余、更新异常、插入异常和删除异常。 <BR><BR>
鲍依斯-科得范式(BCNF):在第三范式的基础上,数据库表中如果不存在任何字段对任一候选关键字段的传递函数依赖则符合第三范式。 <BR><BR>
假设仓库管理关系表为StorehouseManage(仓库ID, 存储物品ID, 管理员ID,
数量),且有一个管理员只在一个仓库工作;一个仓库可以存储多种物品。这个数据库表中存在如下决定关系: <BR><BR> (仓库ID,
存储物品ID) →(管理员ID, 数量) <BR><BR> (管理员ID, 存储物品ID) → (仓库ID, 数量) <BR><BR>
所以,(仓库ID, 存储物品ID)和(管理员ID,
存储物品ID)都是StorehouseManage的候选关键字,表中的唯一非关键字段为数量,它是符合第三范式的。但是,由于存在如下决定关系:
<BR><BR> (仓库ID) → (管理员ID) <BR><BR> (管理员ID) → (仓库ID) <BR><BR>
即存在关键字段决定关键字段的情况,所以其不符合BCNF范式。它会出现如下异常情况: <BR><BR> (1) 删除异常: <BR><BR>
当仓库被清空后,所有"存储物品ID"和"数量"信息被删除的同时,"仓库ID"和"管理员ID"信息也被删除了。 <BR><BR> (2)
插入异常: <BR><BR> 当仓库没有存储任何物品时,无法给仓库分配管理员。 <BR><BR> (3) 更新异常: <BR><BR>
如果仓库换了管理员,则表中所有行的管理员ID都要修改。 <BR><BR> 把仓库管理关系表分解为二个关系表: <BR><BR>
仓库管理:StorehouseManage(仓库ID, 管理员ID); <BR><BR> 仓库:Storehouse(仓库ID, 存储物品ID,
数量)。 <BR><BR> 这样的数据库表是符合BCNF范式的,消除了删除异常、插入异常和更新异常。</P>
<P><STRONG> 范式应用 </STRONG><BR><BR> 我们来逐步搞定一个论坛的数据库,有如下信息: <BR><BR>
(1) 用户:用户名,email,主页,电话,联系地址 <BR><BR> (2) 帖子:发帖标题,发帖内容,回复标题,回复内容
<BR><BR> 第一次我们将数据库设计为仅仅存在表:</P>
<P>
<TABLE height=25 cellSpacing=0 cellPadding=2 align=center border=1>
<TBODY>
<TR>
<TD>用户名</TD>
<TD>email</TD>
<TD>主页</TD>
<TD>电话</TD>
<TD>联系地址</TD>
<TD>发帖标题</TD>
<TD>发帖内容</TD>
<TD>回复标题</TD>
<TD>回复内容</TD></TR></TBODY></TABLE><BR>
这个数据库表符合第一范式,但是没有任何一组候选关键字能决定数据库表的整行,唯一的关键字段用户名也不能完全决定整个元组。我们需要增加"发帖ID"、"回复ID"字段,即将表修改为:
<BR><BR>
<TABLE height=25 cellSpacing=0 cellPadding=2 align=center border=1>
<TBODY>
<TR>
<TD>用户名</TD>
<TD>email</TD>
<TD>主页</TD>
<TD>电话</TD>
<TD>联系地址</TD>
<TD>发帖ID</TD>
<TD>发帖标题</TD>
<TD>发帖内容</TD>
<TD>回复ID</TD>
<TD>回复标题</TD>
<TD>回复内容</TD></TR></TBODY></TABLE><BR> 这样数据表中的关键字(用户名,发帖ID,回复ID)能决定整行:
<BR><BR> (用户名,发帖ID,回复ID) → (email,主页,电话,联系地址,发帖标题,发帖内容,回复标题,回复内容)
<BR><BR> 但是,这样的设计不符合第二范式,因为存在如下决定关系: <BR><BR> (用户名) →
(email,主页,电话,联系地址) <BR><BR> (发帖ID) → (发帖标题,发帖内容) <BR><BR> (回复ID) →
(回复标题,回复内容) <BR><BR> 即非关键字段部分函数依赖于候选关键字段,很明显,这个设计会导致大量的数据冗余和操作异常。
<BR><BR> 我们将数据库表分解为(带下划线的为关键字): <BR><BR> (1) 用户信息:用户名,email,主页,电话,联系地址
<BR><BR> (2) 帖子信息:发帖ID,标题,内容 <BR><BR> (3) 回复信息:回复ID,标题,内容 <BR><BR>
(4) 发贴:用户名,发帖ID <BR><BR> (5) 回复:发帖ID,回复ID <BR><BR>
这样的设计是满足第1、2、3范式和BCNF范式要求的,但是这样的设计是不是最好的呢? <BR><BR> 不一定。 <BR><BR>
观察可知,第4项"发帖"中的"用户名"和"发帖ID"之间是1:N的关系,因此我们可以把"发帖"合并到第2项的"帖子信息"中;第5项"回复"中的"发帖ID"和"回复ID"之间也是1:N的关系,因此我们可以把"回复"合并到第3项的"回复信息"中。这样可以一定量地减少数据冗余,新的设计为:
<BR><BR> (1) 用户信息:用户名,email,主页,电话,联系地址 <BR><BR> (2)
帖子信息:用户名,发帖ID,标题,内容 <BR><BR> (3) 回复信息:发帖ID,回复ID,标题,内容 <BR><BR>
数据库表1显然满足所有范式的要求; <BR><BR>
数据库表2中存在非关键字段"标题"、"内容"对关键字段"发帖ID"的部分函数依赖,即不满足第二范式的要求,但是这一设计并不会导致数据冗余和操作异常;
<BR><BR>
数据库表3中也存在非关键字段"标题"、"内容"对关键字段"回复ID"的部分函数依赖,也不满足第二范式的要求,但是与数据库表2相似,这一设计也不会导致数据冗余和操作异常。
<BR><BR>
由此可以看出,并不一定要强行满足范式的要求,对于1:N关系,当1的一边合并到N的那边后,N的那边就不再满足第二范式了,但是这种设计反而比较好!
<BR><BR> 对于M:N的关系,不能将M一边或N一边合并到另一边去,这样会导致不符合范式要求,同时导致操作异常和数据冗余。
<BR>对于1:1的关系,我们可以将左边的1或者右边的1合并到另一边去,设计导致不符合范式要求,但是并不会导致操作异常和数据冗余。
<BR><BR><STRONG> 结论 </STRONG><BR><BR>
满足范式要求的数据库设计是结构清晰的,同时可避免数据冗余和操作异常。这并意味着不符合范式要求的设计一定是错误的,在数据库表中存在1:1或1:N关系这种较特殊的情况下,合并导致的不符合范式要求反而是合理的。
<BR><BR> 在我们设计数据库的时候,一定要时刻考虑范式的要求。</P></DIV></TD></TR></TBODY></TABLE><BR>
<DIV class=opt><A title=查看该分类中所有文章
href="http://hi.baidu.com/fishfast/blog/category/Êý¾Ý¿â">类别:数据库</A> | <A
title=将此文章添加到百度搜藏 onclick="return addToFavor();"
href="http://cang.baidu.com/do/add" target=_blank>添加到搜藏</A> | 浏览(<SPAN
id=result></SPAN>) | <A
href="http://hi.baidu.com/fishfast/blog/item/8c4639a4bee578f79052eeb0.html#send">评论</A> (0)
<SCRIPT language=javascript>
/*<![CDATA[*/
var pre = [true,'SQL语句大全', 'SQL语句大全','/fishfast/blog/item/852f10f76a96e922720eecb6.html'];
var post = [true,'数据库原理各章节简答题总结(1)','数据库原理各章节简答题总结(1)', '/fishfast/blog/item/1635af0022584887e950cddc.html'];
if(pre[0] || post[0]){
document.write('<div style="height:5px;line-height:5px;"> </div><div id="in_nav">');
if(pre[0]){
document.write('上一篇:<a href="' + pre[3] + '" title="' + pre[1] + '">' + pre[2] + '</a> ');
}
if(post[0]){
document.write('下一篇:<a href="' + post[3] + '" title="' + post[1] + '">' + post[2] + '</a>');
}
document.write('</div>');
}
/*]]>*/
</SCRIPT>
</DIV>
<DIV class=line></DIV>
<STYLE type=text/css>#in_related_doc A {
TEXT-DECORATION: none
}
</STYLE>
<DIV id=in_related_tmp></DIV>
<SCRIPT language=javascript type=text/javascript>
/*<![CDATA[*/
function HI_MOD_IN_RELATED_DOC_CALLBACK(arg){
if(arg.length <= 1) return false;
var hasMore = arg[0];
var D=function(A,B){A[A.length]=B;}
if(arg.length % 2 == 0) D(arg, ["","","",""]);
var html = ['<div id="in_related_doc"><div class="tit">相关文章:</div>'];
D(html, '<table cellpadding="0" cellspacing="3" border="0">');
for(var i = 1, j = arg.length; i < j; i += 2){
D(html, '<tr>');
D(html, '<td width="15px"><a style="font-size:25px" >•</a></td><td><a href="http://hi.baidu.com/' + arg[i][3] + '/blog/item/' + arg[i][2] + '.html" target="_blank" title="' + arg[i][0] + '">' + arg[i][1] + '</a>');
D(html, new Array(10).join('\u3000'));
D(html, '</td>');
if(arg[i + 1][0] != "")
D(html, '<td width="15px"><a style="font-size:25px" >•</a></td><td><a href="http://hi.baidu.com/' + arg[i + 1][3] + '/blog/item/' + arg[i + 1][2] + '.html" target="_blank" title="' + arg[i + 1][0] + '">' + arg[i + 1][1] + '</a></td>');
else
D(html, '<td> </td><td> </td>');
D(html, '</tr>');
}
if(hasMore) D(html, '<tr><td colspan="4"><a target="_blank" href="/sys/search?pageno=1&type=7&sort=1&word=%BC%F2%B5%A5%CC%B8%CC%B8%B9%D8%CF%B5%CA%FD%BE%DD%BF%E2%D6%D0%B7%B6%CA%BD%C0%ED%C2%DB&item=8c4639a4bee578f79052eeb0">更多>></a></td></tr>');
D(html, '</table></div><div class="line"> </div>');
var div = document.getElementById('in_related_tmp');
if(div){
div.innerHTML = html.join('');
while(div.firstChild){
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -