[计算机]第2章 关系数据库.ppt

第二章 关系数据库 关系数据结构及形式化定义 关系完整性 关系代数 2.1 关系数据结构及形式化定义 一、关系 域 是一组具有相同数据类型的值的集合。例: 整数 实数 介于某个取值范围的整数 长度指定长度的字符串集合 {‘男’，‘女’} 介于某个取值范围的日期 一、关系 笛卡尔积 给定一组域D1，D2，…，Dn，这些域中可以有相同的。D1，D2，…，Dn的笛卡尔积为： D1×D2×…×Dn＝｛（d1，d2，…，dn）｜di?Di，i＝1，2，…，n｝ 例 给出三个域： D1 = SUPERVISOR ={ 张清玫，刘逸 } D2 = SPECIALITY={计算机专业，信息专业} D3 = POSTGRADUATE={李勇，刘晨，王敏} 则D1，D2，D3的笛卡尔积为：D1×D2×D3 ＝ ｛(张清玫，计算机专业，李勇)，(张清玫，计算机专业，刘晨)， (张清玫，计算机专业，王敏)，(张清玫，信息专业，李勇)， (张清玫，信息专业，刘晨)， (张清玫，信息专业，王敏)， (刘逸，计算机专业，李勇)， (刘逸，计算机专业，刘晨)， (刘逸，计算机专业，王敏)， (刘逸，信息专业，李勇)， (刘逸，信息专业，刘晨)， (刘逸，信息专业，王敏) ｝ 笛卡尔积（续) 元组 笛卡尔积中每一个元素（d1，d2，…，dn）叫作一个n元组（n-tuple）或简称元组。 分量 笛卡尔积元素（d1，d2，…，dn）中的每一个值di叫作一个分量。 笛卡尔积可表示为一个二维表。表中的每行对应一个元组，表中的每列对应一个域。 在上例中，12个元组可列成一张二维表 基数（Cardinal number） 若Di（i＝1，2，…，n）为有限集，其基数为mi（i＝1，2，…，n），则D1×D2×…×Dn的基数M为： 在上例中，基数：2×2×3＝12，即D1×D2×D3共有2×2×3＝12个元组 一、关系 例:在表2.1 的笛卡尔积中取出有实际意义的元组来构造关系。 关系：SAP(SUPERVISOR,SPECIALITY,POSTGRADUATE) 假设：导师与专业：1:n，导师与研究生：1:n 于是：SAP关系可以包含三个元组 ｛ (张清玫，信息专业，李勇)， (张清玫，信息专业，刘晨)， (刘逸，信息专业，王敏) } 一、关系 关系中的基本概念： 元组 关系中的每个元素是关系中的元组，通常用t表示。 t={t[1],t[2],…,t[n]} 单元关系与二元关系 当n=1时，称该关系为单元关系（Unary relation）。 当n=2时，称该关系为二元关系（Binary relation） 一、关系 关系的表示 关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。域可以相同，为了加以区分，必须对每列起一个名字，称为属性（Attribute）。 一、关系 关系中的码 1. 候选码 若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选码。 2. 主码 若一个关系有多个候选码，则选定其中一个为主码（Primary key）在最简单的情况下，候选码只包含一个属性。 3. 候选码的诸属性称为主属性。 不包含在任何侯选码中的属性称为非主属性或非码属性。 一、关系 一、关系 4. 全码 在最极端的情况下，关系模式的所有属性组是这个关系模式的候选码，称为全码。 一、关系 三类关系 基本关系（基本表或基表） 实际存在的表，是实际存储数据的逻辑表示 查询表 查询结果对应的表 视图表 由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据 一、关系 ① 列是同质的（Homogeneous） 每一列中的分量是同一类型的数据，来自同一个域 ② 不同的列可出自同一个域，其中的每一列称为一个属 性，不同的属性要给予不同的属性名。 ③ 列的顺序无所谓，列的次序可以任意交换。 ④ 任意两个元组的候选码不能完全相同。 ⑤ 行的顺序无所谓，行的次序可以任意交换。 ⑥ 分量必须取原子值。每一个分量都必须是不可分的数据项。 一、关系 2.1 关系数据结构及形式化定义 关系的描述称为关系模式。它可以形式化地表示为： R（U，D，dom，F） R 关系名 U 组成该关系的属性名集合 D 属性组U中属性所来自的域 dom 属性向域的映象集合 F