关系运算：差运算

关系R与关系S的差（Difference）由属于R而不属于S的所有元组组成，即R中删去与S中相同的元组，组成一个新关系，其结果仍为n目关系。记作：

R-S={t|t∈R∧┐t∈S}

通过差运算，可实现关系数据库记录的删除。

用集合表示的差运算的关系如下：

设有下的两个关系R及S，则其差运算的结果如下图右所示