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

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

看到一个关系代数除法的定义：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}即为结果