关系代数中除法运算的理解

最近准备软考，让非计算机专业基础薄弱的我倍感压力。

看到一个关系代数除法的定义：R/S的结果集为在R的非公共属性组上取值相同的元祖在公共属性组上的分量集合，包含S在公共属性组上的投影集合时，取R在非公共属性组上的分量作为结果集中的元祖。

例子：

关系 R S

属性 A B C B D

元祖 a1 b1 c1 b1 d1

a1 b2 c1 b2 d1

a2 b2 c2

R的非公共属性组上取值相同的元祖。有

1、{a1，b1，c1}，和{a1，b2，c1}

2、{a2，b2，c2}

两个分类在公共属性组上的分量集合分别为

1、{b1，b2}

2、{b2}

S在公共属性组上的投影集合为{b1,b2}

所以包含S在公共属性组上的投影集合的只有1。则1在非公共属性组上的分量{a1，c1}即为结果