关于关系代数中除法的理解以及如何用基本运算表示除法

关系代数中的基本运算包括并，差，笛卡尔积，选择，投影。这五种基本代数运算能够推导出交、链接（包括天然链接）、和除法。其中前二者比较容易推导，直接根据定义不可贵出，而除法定义理解起来较为复杂，且同时牵涉行与列的运算，所以较难推导。下面给出推导方式：web 首先给出除法的定义： 老师PPT中的定义： 设关系R（X，Y）与关系S（Z），其中Y和Z具备相同的属性数，且对应属性出自相同域。关系R除以关系S所

>>阅读原文<<