- 1、本文档共118页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
数据库第二章1
关系间的引用(续) 例3 学生实体及其内部的领导联系(一对多) 学生(学号,姓名,性别,专业号,年龄,班长) 外码(Foreign Key) 设F是基本关系R的一个或一组属性,但不 是关系R的码。如果F与基本关系S的主码 Ks相对应,则称F是基本关系R的外码。 基本关系R称为参照关系(Referencing Relation) 基本关系S称为被参照关系(Referenced Relation)或目标关系(Target Relation)。 例如: 医生(医生编号,姓名,性别,科室编号) 科室(科室编号,科室名称,科主任) 科室编号是科室关系的主键,是医生关系的外键(外码) S Ks F R 外码(续) 说明: 关系R 和S 不一定是不同的关系 目标关系S 的主码Ks 和参照关系的外码F必须定义在同一个(或一组)域上 外码并不一定要与相应的主码同名 当外码与相应的主码属于不同关系时,往往取相同的名字,以便于识别。 参照完整性规则 若属性(或属性组)F是基本关系R的外码 它与基本关系S的主码Ks相对应(基本关 系R和S不一定是不同的关系),则对 于R中每个元组在F上的值必须为: ? 或者取空值(F的每个属性值均为空值) ? 或者等于S中某个元组的主码值。 参照完整性规则(续) 如:学生关系中每个元组的“专业号”属性只取下面两类值: (1)空值,表示尚未给该学生分配专业 (2)非空值,这时该值必须是专业关系中某个元组的“专业号”值,表示该学生不可能分配到一个不存在的专业中 参照完整性规则(续) 如: 选修(学号,课程号,成绩) “学号”和“课程号”是选修关系中的主属性 按照实体完整性和参照完整性规则,它们 只能取相应被参照关系中已经存在的主码 值 不能取空值 只能取存在的主码值 参照完整性规则(续) 如:学生(学号,姓名,性别,专业号,年龄,班长) “班长”属性值可以取两类值: (1)空值,表示该学生所在班级尚未选出班长,或该学生本人即是班长; (2)非空值,这时该值必须是本关系中某个元组的学号值。 3. 用户定义的完整性 用户定义的完整性是针对某一具体关系数据库的约束条件,反映某一具体应用所涉及的数据必须满足的语义要求。 关系模型应提供定义和检验这类完整性的机制,以便用统一的系统的方法处理它们,而不要由应用程序承担这一功能。 用户定义的完整性(续) 例: 课程(课程号,课程名,学分) “课程名”属性必须取唯一值 非主属性“课程名”也不能取空值 “学分”属性只能取值{1,2,3,4} 2.1 关系模型和关系运算 2.1.1 关系模型概述 2.1.2 关系数据结构 2.1.3 关系的完整性 2.1.4 关系代数 概述 1.关系代数 一种抽象的查询语言 用对关系的运算来表达查询 概述(续) 2.关系代数运算的三个要素 运算对象:关系 运算结果:关系 运算符:四类 概述(续) 集合运算符 将关系看成元组的集合 运算是从关系的“水平”方向即行的角度来进行 专门的关系运算符 不仅涉及行而且涉及列 算术比较符 辅助专门的关系运算符进行操作 逻辑运算符 辅助专门的关系运算符进行操作 集合 运算 符 ∪ - ∩ × 并 差 交 广义笛卡尔积 比较运算符 > ≥ < ≤ = ≠ 大于 大于等于 小于 小于等于 等于 不等于 运算符 含义 运算符 含义 表2.4 关系代数运算符 概述(续) 专门的关系 运算符 σ π ? ÷ 选择 投影 连接 除 逻辑运算符 ? ∧ ∨ 非 与 或 运算符 含义 运算符 含义 表2.4 关系代数运算符 概述(续) 传统的集合运算 并 差 交 广义笛卡尔积 1. 并(Union) R 和S 前提: 具有相同的目n(即两个关系都有n个属性) 相应的属性取自同一个域 R∪S 仍为n目关系,由属于R或属于S的元组组成 R∪S = { t|t ? R∨t ?S } S R 1. 并(Union) 并(续) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R∪S 2. 差(Difference) R和S 具有相同的目n 相应的属性取自同一个域 R - S 仍为n目关系,由属于R而且不属于S的所有元组组成 ?R -S = { t|t?R∧t?S } R S 2. 差(Difference) 差(续) A B C a1 b1 c1 a1 b2 c2 a2
文档评论(0)