参考答案：D

解析： 集合运算并、交、差均要求关系中具有相同的元数，且它们对应属性的数据类型也相同，而笛卡尔积不要求R和S具有相同的元数。