从广义笛卡尔积解关系代数除法

关系代数是抽象的查询语言,是研究关系数据语言的数学工具。它是数据库查询语言的基础。在关系代数中并、差、广义笛卡尔积、投影和选择等五种运算被称为关系代数的基本运算,虽然关系代数除法可以用这五种基本运算来表达,但步骤繁多。既然广义笛卡尔积是乘法,那么则可以从逆运算的角度,求解关系代数除法的商。