关系代数中的除法运算