关系R和关系S拥有共同的属性A2、A3 ,
R÷S得到的属性值就是关系R包含而关系S不包含的属性，即A1属性
理解的关键是R包含而S不包含，当S含有R不含有的属性时，可以忽视该属性
在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为