关系除法

（计算机科学技术）

关系除法（division），计算机科学技术名词，设关系 R除以关系S的结果为关系T，则T包含所有在R中但不在S中的属性及其值，且T的元组与S的元组的所有组合都在R 中。