【数据库】SQL 关系代数

环境：MySQL 

ID：MySQL WorkBench 6.3 CE

实现以下有点难度的关系除法。

先给定义：

  除运算是同时从关系的水平方向和垂直方向进行运算。给定关系R(X,Y)和S(Y,Z),X、Y、Z为属性组。R÷S应当满足元组在X上的分量值x的象集Y_x包含关系S在属性组Y上投影的集合。其形式定义为：

R ÷ S = { t_n [X] | t_n∈RΛΠ_y(S) ⊆ Y_x}

其中Y_x为x在R中的象集，x=t_n[X]，且R ÷ S的结果集的属性组为X。

 

sql实现（MySQL环境）：