数据库系统概论复习资料_第1页
数据库系统概论复习资料_第2页
数据库系统概论复习资料_第3页
数据库系统概论复习资料_第4页
数据库系统概论复习资料_第5页
已阅读5页,还剩9页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、关系数据库基础:E-R模型:主要概念:实体、联系、属性。数据依赖:数据间的相互关系,是数据的内在性质oooooooo数据库设计的范式:关系模式分解的问题:模式分解的衡量标准:ooooo输入:关系模式 R 上成立的函数依赖集:。R 的分解输出:判断 P相对于 F 的无损链接。.o若没有 ,则取 t2Ai= t1Ai=bij。o a1a2a3an最小函数依赖集: F 中的任何一个函数依赖的右部仅含有一个属性; F 中不存在这样一个函数依赖 XA,使得 F 与 XA等价; F中不存在这样一个函数依赖X有真子集Z使得XAZAooo函数依赖闭包在关系模式中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包,记

2、为U, XF+ = A|XA能由 F定义 5.13 设 F为属性集 U传递律:若 XY 和 YZ在 R 上成立,则 XZ 在 R 上成立。Armstrong 公理系统的有效性和完备性(充要性)Armstrong 公理的推论:函数依赖的公理系统Armstrong公理系统设关系模式R U为属性集,F是 U上的1. A1自反律:若 Y ,则 XY为 F所蕴含; A2增广律:若XY为 F所蕴含,且 Z U,则 XZYZ为 F所蕴含; A3传递律:若,YZ为 F所蕴含,则 XZ为 F所蕴含。根据上面三条推理规则,又可推出下面三条推理规则:引理:XA1A2Ak 成立的充分必要条件是 XAi 成立(i=1,

3、2.k)。Armstrong公理系统的证明对 的任一关系 r中的任意两个元组 t,s:若 tX=sX,由于 Y ,则有 tY=sY,所以 XY成立,自反律得证。 A2增广律:若XY为 F所蕴含,且 Z U,则 XZYZ为 F所蕴含证明 2 A3传递律:若,YZ为 F所蕴含,则 XZ为 F所蕴含证明 3故 XXY (增广律),XXXY即 XXY因 XZ (已知)故 XYYZ (增广律)因 XY (已知)保持函数依赖并无损链接oo范式是对关系的不同数据的要求程度。ooo定义:关系模式 R 所有的属性值域都是不可以再分的。即不能以属性集合、序列等作为属性值。一部分,则需要进一步分割。不良特性:ooo

4、o1. 部分函数依赖:若 x y 并且,存在 x 的真子集 ,使o赖)o注意:此处肥猪属性不可传递依赖于码。oBCNF:第三范式的改进。基于 1NF。ooBCNF 模式的结论:(重点)非主属性对关键字完全函数依赖主属性对不包含他的关键字完全依赖没有属性完全依赖于一组非主属性非 BCNF 的不良特性:插入异常oooooooo是则 x为候选键,否则不是。)oooooooooooo关系数据库(RDB):1.关系例:整数,实数,介于某个取值范围的整数,长度指定长度的字符串集合,男,女,介于某个取值范围的日期等笛卡尔积为:笛卡尔积中每一个元素(d1,d2,dn)叫作一个 n元组(n-tuple)或笛卡尔积元素(d1,d2,dn)中的每一个值di叫作一个分量。基数(Cardinal number)3)关系(Relation)关系也是一个二维表,表的每行对应一个元组,表的每列对应一个域。属性n目关系必有 n个属性全码(All-key)。若一个关系有

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论