火龙果软件Oracle数据库学习DataBase分析报告.pptVIP

3. 参照完整性规则 若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为： ? 或者取空值（F 的每个属性值均为空值） ? 或者等于S 中某个元组的主码值。 2.3.4 用户定义的完整性 用户定义的完整性是针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求。 关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不要由应用程序承担这一功能。 例: 课程(课程号，课程名，学分) “课程号”属性必须取唯一值 非主属性“课程名”也不能取空值 “学分”属性只能取值{1，2，3，4，5} 2.4 关系代数 一、概述 1. 关系代数 运算对象：关系 运算结果：关系 运算符：四类 传统的集合运算: 并、差、交、广义笛卡尔积 专门的关系运算 选择、投影、连接、除 2. 运算的三要素： 3. 关系代数运算的三个要素 4. 关系代数运算的分类 5. 表示记号 一种抽象的查询语言用对关系的运算来表达查询 运算对象、运算结果、运算符 关系代数运算符 集合运算符 将关系看成元组的集合 运算是从关系的“水平”方向即行的角度来进行 专门的关系运算符 不仅涉及行而且涉及列 算术比较符 辅助专门的关系运算符进行操作 逻辑运算符 辅助专门的关系运算符进行操作 集 合 运 算 符 ∪ - ∩ × 并 差 交 广义笛卡尔积 比较运算符 ＞ ≥ ＜ ≤ ＝ ≠ 大于 大于等于 小于 小于等于 等于 不等于 运算符 含义 运算符 含义 表2.4 关系代数运算符 专门的关系 运算符 σ π ? ÷ 选择 投影 连接 除 逻辑运算符 ? ∧ ∨ 非 与 或 5．表示记号 （1） R，t?R，t[Ai] 设关系模式为R(A1，A2，…，An),它的一个关系设为R。 t?R表示t是R的一个元组 t[Ai]则表示元组t中相应于属性Ai的一个分量 A则表示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组。 （2） A，t[A]， A 若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或域列。 t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元组t在属性列A上诸分量的集合。 5．表示记号 （3） tr ts R为n目关系，S为m目关系。tr ?R，ts?S， tr ts称为元组的连接。它是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。 (4) 象集Zx 给定一个关系R（X，Z），X和Z为属性组。当t[X]=x时，x在R中的象集（Images Set）为： Zx={t[Z]|t ?R，t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 2.4.1 传统的集合运算 并 差 交 广义笛卡尔积 R∪S = { t|t ? R∨t ?S } ?R -S = { t|t?R∧t?S } R∩S = { t|t ? R∧t ?S } R∩S = R –(R-S） 要求R和S 具有相同的目n（即两个关系都有n个属性） 相应的属性取自同一个域 R×S = {tr ts |tr ?R ∧ ts?S } R (n目关系，k1个元组) S (m目关系，k2个元组) R×S 列：(n+m)列的元组的集合；元组的前n列是关系R的一个元组；后m列是关系S的一个元组。 行：k1×k2个元组 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 R-S A B C a1 b1 c1 A B C a1 b2 c2 a2 b2 c1 R ∩ S R × S A B C a1 b1 c1 a1 b1 c1 a1 b1 c1 a1 b2 c2 a1 b2 c2 a1 b2 c2 a2 b2 c1 a2 b2 c1 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 2.4.2 专门的关系运算 选择 投影 连接 除 1. 选择（Selection） 1) 选择又称为限制（Restriction） 2) 选择运算符的含义 在关系R中选择满足给定条件的诸元组。 σF(R) = {t|t?R∧F (t)= 真} F：选择条件，是一个逻辑表达式，基