《关系数据库理论》PPT课件.ppt
《《关系数据库理论》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《关系数据库理论》PPT课件.ppt(18页珍藏版)》请在三一办公上搜索。
1、关系数据库理论,关系代数,关系数据库规范化理论,关系数据库设计理论是数据库设计的指南,用来解决关系模型的优化问题。,01 Radio Bejing01 Radio Bejing,基础:函数依赖理论和规范化理论。,函数依赖设R(A1,A2,An)为一关系模式,X、Y为属性全集UA1,A2,An的子集,从关系R中任取两个元组u、v,若有uX=vX(表示元组u在属性X上的值等于元组v在属性X上的值),则有uY=vY,称X函数决定Y,或者称Y函数依赖于X。用符号:X Y 表示。,例如:DEPT(deptno,dname,loc)例如:u,v u.deptno=v.deptno u.dname=v.dn
2、ame,完全函数依赖在关系模式R(U)中,如果X Y成立,并且对X的任何真子集X,X不能函数决定Y(X Y),则称Y对X是完全函数依赖,用符号表示。在关系模式R(U)中,XY成立,如果X存在真子集X,而且X Y成立,则称Y对X是部分函数依赖,用符号表示。例如:SC(SNO,CNO,SCORE)SNO,CNO SCORE SC(SNO,CNO,SCORE,SNAME)SNO,CNO SCORE,SNO,CNO SNAME,.,码的定义在关系模式R(U)中,K为R的属性或属性组,若满足,则K为关系模式R的候选码。包含在后选码的属性称为主属性,而不含在候选码中的属性称为非主属性。,Armstrong
3、公理设U为属性总体集,F为U上的一组函数依赖,对于关系模式R(U,F)有下列推理规则:A1:自反律若YXU,则X Y为F蕴含。A2:增广律若XY为F所蕴含,且ZU,则XZYZ为F所蕴含。A3:传递律若XY,YZ为F所蕴含,则XZ为F所蕴含。,.,从上述Armstrong公理还可得出下面三条推理规则:A4:合并规则若XY、XZ成立,则XYZ也成立。A5:伪传递规则若XY和WYZ成立,则WXZ也成立。A6:分解规则如果XY和 ZY成立,则XZ也成立。从合并规则和分解规则可得到一个重要的结论:引理1:XA1A2An成立的充分必要条件是XAi成立,i=1,2,n,属性集团包定义设F为属性集U上的一组函
4、数依赖,X U,X=A|X A能由F根据Armstrong公理理导出,称X 为属性集X关于函数依赖集F的闭包。于是判断 XY能否由F根据Armstrong公理导出的问题,就转化为求 X.,即判断Y是否为X.的子集的问题。,(1)选X作为闭包X的初值X(O)(2)由X(i)计算X(i+1)时,它是由X(i)并上其属性集合A所组成,其中A满足下列条件:y X(i)。且F中存在一函数依赖YZ,而AZ,因为U是有穷的,所以上述过程经过有限步后会达到X(i)X(i+1),此时 X(i)为所求的 X。,例如:F由下列函数依赖组成:ABC DEGCABECBCD CGBDACDBCEAG设XBD,求 X。,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 关系数据库理论 关系 数据库 理论 PPT 课件

链接地址:https://www.31ppt.com/p-4919900.html