数据库中的除运算一点就通

  从上学期学了数据库，一直对关系操作中的除运算，不太清楚，每次记不起就去查，感觉很麻烦，所以特写一篇博客，方便以后查看，同时祝自己软考顺利。

定义 如下：

专门的关系运算-除给定关系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]
象集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上分量的集合

是不是看起来很复杂，反正我是没有理解到的，看了下面这道题就会明白了

如何计算R➗S呢，首先我们引进“象集“的概念，具体意义看下面的陈述

关系R和关系拥有共同的属性B，C，R➗S得到的属性值就是关系R包含而关系S不包含的属性的，即A 属性

 

在R关系中A属性的值可以取{a1,a2,a3,a4}

a1对应的象集为{（b1,c2),(b2,c1),(b2.c3)}

a2 对应的象集为{（b3,c7),(b2,c3)}

a3对应的象集为{(b4,c6)}

a4 值对应的象集为{（b6,c6)}

关系S在B, ,C上的投影为{（b1,c2),(b2,c1),(b2,c3)}

只有a1 的值对应象集包含关系S的投影集，所以只有a1包含在A属性中

所以R➗S为  a1

A

a1