關於關係代數中除法的理解以及如何用基本運算表示除法

關係代數中的基本運算包括並，差，笛卡爾積，選擇，投影。這五種基本代數運算能夠推導出交、鏈接（包括天然鏈接）、和除法。其中前二者比較容易推導，直接根據定義不可貴出，而除法定義理解起來較爲複雜，且同時牽涉行與列的運算，所以較難推導。下面給出推導方式：web 首先給出除法的定義： 老師PPT中的定義： 設關係R（X，Y）與關係S（Z），其中Y和Z具備相同的屬性數，且對應屬性出自相同域。關係R除以關係S所

>>阅读原文<<