标签:mysql text lam 形式 div mysq 除法 运算 数据库
环境:MySQL
ID:MySQL WorkBench 6.3 CE
实现以下有点难度的关系除法。
先给定义:
除运算是同时从关系的水平方向和垂直方向进行运算。给定关系R(X,Y)和S(Y,Z),X、Y、Z为属性组。R÷S应当满足元组在X上的分量值x的象集Yx包含关系S在属性组Y上投影的集合。其形式定义为:
R ÷ S = { tn [X] | tn∈RΛΠy(S) ⊆ Yx}
其中Yx为x在R中的象集,x=tn[X],且R ÷ S的结果集的属性组为X。
sql实现(MySQL环境):
标签:mysql text lam 形式 div mysq 除法 运算 数据库
原文地址:https://www.cnblogs.com/yuelien/p/12363955.html