“除法”运算用于从一个关系中找出能够覆盖另一个关系中所有可能属性组合的元组，常用于处理多对多关系。