数据库的除操作
给定关系R与S,R除以S的运算过程如下:
首先假定S的属性为R的后s个属性
求T=R属性r-s列的投影
求W=T与S的笛卡尔乘积再-R中的元组
求V=W的前r-s列的投影
求结果=T-V