数据库工程师_培训资料_知识点5.pptVIP

  • 3
  • 0
  • 约7.2千字
  • 约 50页
  • 2021-03-09 发布于北京
  • 举报
3、静态完整性约束规则: (1)主码约束:主码必须满足: (A)惟一性:在一个关系中不存在两个元组,它们具有相同的主码值; (B)最小性:不存在从组成主码的属性集中去掉一个属性,还仍能保持数据的惟一性; 候选码:符合主码条件,但没有被选为主码。 (2)外码约束:(外码的定义:有两个关系R和S,X是R得属性组,非码;是S的码,则称X是R得外码)外码为空或码的值(否者查找失败) (30用户定义的完整性:(性别只为男和女) 5.3 关系数据库设计理论 5.3.1 问题的提出   究竟一个关系数据库包含哪些属性是合理的,如何评价一个关系模式设计的优劣?(插入、更新、删除异常)   补充(关系代数) 1、传统的集合运算。(并、交、差、笛卡尔积); 2、专门的关系运算。(选择、投影、连接、自然连接、除法) 5.3.2 函数依赖   函数依理论利用一个关系中属性之间的依赖关系评价和优化关系模式,以保证存储到数据库中的关系具有较好特性; 1、函数依赖: (1)设R(U)为一关系模式,X和Y为属性全集U的子集,若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称“X函数决定Y”或“Y函数依赖于X”,并记作XY,其中X称为决定因素,因为根据函数依赖定义,给定一个X,就能惟一决定一个Y。(翻译:只要X上的属性值相等,则Y上的属性只就相等) (2)这里讨论的函数关系与数学上的不同,是不能计算的,是一个关系中属性之间存在的依赖关系;它是一种语义范畴的概念,只能根据两个属性之间的语义来确定一个函数依赖是否存在。 2、完全(f)与部分函数(p)依赖: 在关系模式R(U)中,如果XY成立,并且对X的任何真子集X’不能函数决定Y,则称Y对X是完全函数依赖,被记作X---f---Y。 若XY,但Y不完全函数依赖于X,则称Y对X是部分函数依赖,记作X--pY(即至少存在一个真子集X’函数决定Y); 3、传递函数依赖:   在关系R(U)模式中,如果X决定Y,(Y不属于X),Y不决定X,Y决定Z,则称Z对X传递函数依赖。 4、平凡与非平凡函数依赖: (1)若X决定Y,但Y属于X,则称XY是平凡函数依赖,否则称非平凡函数依赖; (2)即平凡函数依赖,仅当其右边的属性集是左边属性集的子集时成立;(全属于) (3)非平凡函数依赖,仅当其右边的属性集至少有一个属性不属于左边有集合时成立;(部分) (4)完全非平凡函数依赖:仅当其右边的属性集中属性都不在左边的集合时成立;(都不属于) 5、码: (1)在关系模式R(U)中,K为R的属性或属性组,若K完全函数决定A1.A2….An,则K为关系模式R的候选码(应理解为一个属性组),包含在候选码中的属性称为主属性,否则为非主属性; (2)若一个关系的候选码不止一个,则选定其中一个作为关系R的主码; (3)关系的码属性除了必须完全函数决定关系的所有其他属性外,还必须满足最小化规则,即在关系模式R(U)中,不存在一个K的真子集能够函数决定R的其他属性。 6、函数依赖的推理规则:(Armstrong公理及推论) (1)自反律:若Y(包含于)X(包含于)U,则XY成立; (2)增广律:若XY,且Z(包含于)U,则XZYZ成立; (3)传递律:若XY,YZ,则XZ成立; 推论 (4)合并规则:若XY,XZ成立,则XYZ; (5)分解规则:若XY和Z(包含于)Y成立,则XZ也成立; (6)伪传递规则:若XY,YWZ,则XWZ成立; 7、属性集闭包: (1)设F是属性集U上的函数依赖集,X为U的一个子集,那么对于F,属性集X关于F的闭包(用X+表示)为:X+={A|XA}(最大的Y的集合) (2)由属性集团包的定义可知,若想判断函数依赖XY是否成立,只要计算X关于函数依赖集F的闭包,若Y是X闭包中的一个元素则XY成立; 8、确定关系的码: (1)利用迭代算法计算X+,步骤如下: (A)选X作为闭包X+的初值X(0); (B)由X(i)计算X(i+1)时,它是由X(0)并上属性集合A所组成,其中A满足下列条件:Y(包含于)X(i),且F中存在函数依赖YZ,而A(包含于)Z。因为U是有穷的,所以会得到X(i)=X(i+1),此时X(i)为所求的X+。 5.3.3 规范化设计方法 1、第一范式: (1)定义:设关系模式R(F,U),如果R的每一个属性都是不可分的数据项,则此关系模式为第一范式; (2)一个给定关系和第一范式(1NF)的区别: (A)一个关系中的数据按照行和列的形式组织,每个元组具有相同数目的属性个数,且每一个元组的属性值具有统一的数据类型和长度;元组或属性的排列与顺序无关,每个元组必须通过一个属性或属性组惟一识别; (B)第一范式实际上对关系增加了一个约束,即关系中元组的每个属性都

文档评论(0)

1亿VIP精品文档

相关文档