除运算主要用于从一个关系中找出满足另一个关系所有可能的元组。它是一种非常复杂的运算，通常用于求解这样的问题：对于某个关系中的元组，是否存在某个关系中的所有可能组合。