关系代数传统的集合运算专门的关系运算并差交笛卡尔积选择投影连接除