第03章关系运算和完整性约束.pptVIP

* * * * * 4）象集Z 给定一个关系R（X，Z），X和Z为属性组。当t[X]=x时，x在R中的象集（Images Set）为： Zx={t[Z]|t ?R，t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 象集Z A B C a1 b1 c2 a2 b3 c7 a3 b4 c6 a1 b2 c3 a4 b6 c6 a2 b2 c3 a1 b2 c1 R 在关系R中，A可以取四个值{a1，a2，a3，a4} a1的象集为 {(b1，c2)，(b2，c3)，(b2，c1)} a2的象集为 {(b3，c7)，(b2，c3)} a3的象集为 {(b4，c6)} a4的象集为 {(b6，c6)} 4. 除（Division） 给定关系R (X，Y) 和S (Y，Z)，其中X，Y，Z为属性组。R中的Y与S中的Y可以有不同的属性名，但必须出自相同的域集。R与S的除运算得到一个新的关系P(X)，P是R中满足下列条件的元组在X属性列上的投影：元组在X上分量值x的象集Yx包含S在Y上投影的集合。 R÷S = {tr [X] | tr ? R∧πY (S) ? Yx } Yx：x在R中的象集，x = tr[X] 除 2）除操作是同时从行和列角度进行运算 ? 3）举例 ? ÷ R S 除 A B C a1 b1 c2 a2 b3 c7 a3 b4 c6 a1 b2 c3 a4 b6 c6 a2 b2 c3 a1 b2 c1 B C D b1 c2 d1 b2 c1 d1 b2 c3 d2 R÷S A a1 R S 分析： 在关系R中，A可以取四个值{a1，a2，a3，a4} a1的象集为 {(b1，c2)，(b2，c3)，(b2，c1)} 　a2的象集为 {(b3，c7)，(b2，c3)} 　a3的象集为 {(b4，c6)} 　a4的象集为 {(b6，c6)} S在(B，C)上的投影为 {(b1，c2)，(b2，c1)，(b2，c3) } 只有a1的象集包含了S在(B，C)属性组上的投影 所以 R÷S ={a1} 以学生-课程数据库为例 [例7] 查询至少选修1号课程和3号课程的学生号码? 首先建立一个临时关系K： ? 然后求：πSno.Cno(SC)÷K Cno 1 3 πSno.Cno(SC) 11001象集{1，2，3} 11002象集{2，3} πCno(K)={1，3} 于是：πSno.Cno(SC)÷K={11001} Sno Cno 11001 1 11001 2 11001 3 11002 2 11002 3 3.5.2 专门的关系运算 等价运算 在关系代数运算中，两个关系代数表达式等价是指用同样的关系实例代入这两个表达式的相应关系时所得到的结果相同。 换言之，若两个表达式E1、E2的运算结果都有相同的属性集和相同的元组集，就称这两个关系代数表达式等价。 记为E1≡E2 返回 综合举例 [例] 查询选修了一门其直接先行课为5号课程的课程的学生姓名。 πSname(σCpno=5(Course SC Student)) πSname(σCpno=5(Course) SC πSno，Sname(Student)) πSname (πSno (σCpno=5 (Course) SC) πSno，Sname (Student))? 综合举例 [例] 查询选修了全部课程的学生号码和姓名。 πSno，Cno（SC）÷πCno（Course） πSno，Sname（Student） * Insert a picture illustrating a season in your country. * Insert a picture of an animal and or plant found in your country. * Insert a picture illustrating a custom or tradition here. * * Insert a picture of the head leader of your country. * * * * * * * * * * * * * * * * 3.4 完整性约束类型 完整性控制是围绕完整性约束条件进