6_第2章_关系数据库_1重点.ppt

外码（Foreign Key） 关系R和S不一定是不同的关系 目标关系S的主码Ks 和参照关系的外码F必须定义在同一个（或一组）域上 外码并不一定要与相应的主码同名 当外码与相应的主码属于不同关系时，往往取相同的名字，以便于识别 参照完整性规则 参照完整性规则 若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为： 或者取空值（F 的每个属性值均为空值） 或者等于S中某个元组的主码值 2.5.3 用户定义完整性 针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求 关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不要由应用程序承担这一功能 2.6 传统集合运算 相关表述记号 ⒈ 设关系模式为R(A1, A2, …, An)。它的一个关系设为R。 t∈R表示t是R的一个元组。t[Ai]则表示元组t中相应于属性Ai的一个分量 。 ⒉ 若A={Ai1, Ai2, …, Aik}，其中Ai1, Ai2, …, Aik是A1, A2, …, An中的一部分， 则A称为属性列或域列。 t[A]=(t[Ai1], t[Ai2], …, t[Aik])表示元组 t 在属性 列A上诸分量的集合。则 表示{A1, A2, …, An}中去掉 {Ai1, Ai2, …, Aik} 后剩余的属性组。 A 2.6 传统集合运算 相关表述记号 ⒊ R为n目关系，S为m目关系。tr∈R ，ts∈S。 trts 称为元组的连接。 它是一个(n+m)列的元组，前n个分量为R中的一个n元组，后m个分量 为S中的一个m元组。 ⌒ ⒋ 给定一个关系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.6 传统集合运算 x1在R中的象集 Zx1 ={Z1，Z2，Z3} x2在R中的象集 Zx2 ={Z2，Z3} x3在R中的象集 Zx3={Z1，Z3} 象集举例 2.6.1 并运算 c1 b2 a2 c2 b2 a1 c1 b1 a1 C B A c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A R1 R2 c1 b1 a1 c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A R1∪R2 设关系R和关系S具有相同的目n（即两个关系都有n个属性），且相应的属性取自同一个域，则关系R与关系S的并由属于R或属于S的元组组成。 其结果关系仍为n目关系。记作： R∪S={ t | t∈R∨t∈S } 2.6.2 差运算 c1 b2 a2 c2 b2 a1 c1 b1 a1 C B A c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A R1 R2 c1 b1 a1 C B A R1－R2 设关系R和关系S具有相同的目n，且相应的属性取自同一个域，则关系R与关系S的差由属于R而不属于S的所有元组组成。其结果关系仍为n目关系。 记作： R－S={t|t∈R∧t S} ∈ 2.6.3 交运算 设关系R和关系S具有相同的目n，且相应的属性取自同一个域，则关系R与关系S的交由既属于R又属于S的元组组成。其结果关系仍为n目关系。 记作： R∩S={t|t∈R∧t∈S} c1 b2 a2 c2 b2 a1 c1 b1 a1 C B A c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A R1 R2 A B C a1 b2 c2 a2 b2 c1 R1∩R2 2.6.4 笛卡儿积运算 两个分别为n目和m目的关系R和S的广义笛卡尔积是一个(n+m)列的元组的集合。元组的前n列是关系R的一个元组，后m列是关系S的一个元组。若R有k1个元组，S有k2个元组，则关系R和关系S的广义笛卡尔积有k1×k2个元组。 记作： R1×R2 c1 b1 a1 c1 b1 a1 c1 b1 a1 C B A c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A .. .. .. c2 b3 a1 c2 b2 a1 .. .. .. c2 b2 a1 c2 b2 a1 c1 b2 a2 c2 b2 a1 c1 b1 a1 C B A c1 b2 a2 c2 b3 a1 c2 b2 a1 C B A R1 R2 小 结 关系的形式