数据库系统概论 ：除运算（用例题方法直接了解）

 设关系R除以关系S的结果为关系T，则T包含所有在R但不在S中的属性及其值，则T的原则与S的元组的所有组合都在R中。
 下面用象集来定义除法：
 给定关系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上的投影的集合。记作：
 RS={tr[X]|tr∈R∧ ΠY（S)⊆Yx }，其中Yx为x在R中的象集，x=tr[X]。

说实话，看了这个定义我也有点头痛。RS其实就是判断关系R中A各个值的象集B是否包含关系S中属性B的所有值。下面用一个例题来快速了解：

 

这个就是帮你快速了解RS,如果想拿到一个题的全部分，不要像我这样用表格表示象集 ，看书中例题是怎么做的。