解释关系代数 (DBMS) 中的除法运算?