第二章关系数据库.pptVIP

第二章 关系模型的三要素 关系数据结构 关系（一张二维表） 关系操作 查询操作 更新操作 关系完整性约束 实体完整性、参照完整性、用户定义完整性 2.1 关系数据结构及其形式化定义 一、关系数据结构的形式化定义 定义2：笛卡尔积(Cartesian Product) 一组域D1,D2,…Dn的笛卡尔积为： (d1,d2,d3,…dn)称为一个元组，di称为一个分量 若Di的基数(值的个数)为mi，则笛卡尔积的基数M为 例 给出三个域： D1=导师SUPERVISOR ={ 张清玫，刘逸 } D2=专业SPECIALITY={计算机专业，信息专业} D3=研究生POSTGRADUATE={李勇，刘晨，王敏} 则D1，D2，D3的笛卡尔积为： D1×D2×D3 ＝ ｛(张清玫，计算机专业，李勇)，(张清玫，计算机专业，刘晨)， (张清玫，计算机专业，王敏)，(张清玫，信息专业，李勇)， (张清玫，信息专业，刘晨)，(张清玫，信息专业，王敏)， (刘逸，计算机专业，李勇)，(刘逸，计算机专业，刘晨)， (刘逸，计算机专业，王敏)，(刘逸，信息专业，李勇)， (刘逸，信息专业，刘晨)，(刘逸，信息专业，王敏) ｝ 定义3： 关系 关系的表示： 关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。 关系的相关术语 候选码（Candidate key） 若关系中的某一属性组的值能唯一地标识 一个元组，则称该属性组为候选码 一个关系可以有多个候选码 在最简单的情况下，候选码只包含一个属性。 全码（All-key） 在最极端的情况下，关系模式的所有属性 是这个关系模式的候选码，称为全码（All- key） 主码 若一个关系有多个候选码，则选定其中一个 为主码（Primary key） 主码的诸属性称为主属性（Prime attribute）。 不包含在任何侯选码中的属性称为非主属性或非码属性（Non-key attribute） 关系与笛卡尔积 无限关系在数据库系统中是无意义的。 关系是笛卡尔积的有限子集。 由于笛卡尔积不满足交换律，即 (d1，d2，…，dn )≠(d2，d1，…，dn ) 但对关系，需要给予扩充，为关系的每个列附加一个属性名以取消关系元组的有序性 (d1，d2 ，…，di ，dj ，…，dn）=（d1，d2 ，…，dj，di ，…，dn） （i，j = 1，2，…，n） 即关系满足交换律 关系（续） 关系的三种类型 基本关系（基本表或基表） 实际存在的表，是实际存储数据的逻辑表示 查询表 查询结果对应的表 视图表 由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据 （基本）关系的性质 ① 列是同质的（Hoogeneous） 每一列中的分量是同一类型的数据，来自同 一个域 ② 不同的列可出自同一个域 其中的每一列称为一个属性 不同的属性要给予不同的属性名 ③ 列的顺序无所谓 列的次序可以任意交换 数据库产品(如ORACLE)，增加新属性时，永远是插至最后一列 ④ 任意两个元组的候选码不能相同 ⑤ 行的顺序无所谓，即行的次序可以任意交换 ⑥ 分量必须取原子值 每一个分量都必须是不可分的数据项 4. 关系模式 在数据库中，关系模式（Relation Schema）是型，关系是值。 关系模式是对关系的描述 元组集合的结构 属性构成 属性来自的域 属性与域之间的映象关系 元组语义 完整性约束条件 属性间的数据依赖关系集合 1) 关系模式的形式化定义 关系模式可以形式化地表示为： R（U，D，DOM，F） R 关系名 U 组成该关系的属性名集合 D 属性组U中属性所来自的域 DOM 属性向域的映象集合 F 属性间的数据依赖关系集合 例: 导师和研究生出自同一个域——人， 取不同的属性名，并在模式中定义属性向域 的映象，即说明它们分别出自哪个域： dom（SUPERVISOR） = dom（POSTGRADUATE） =PERSON 2）关系模式与关系 关系模式 是型，是对关系的描述 静态的、稳定的 关系 是值，是由赋予它的元组语义来确定的 动态的、随时间不断变化的 关系是关系