关系R有m个元组，关系S有n个元组，则R和S的笛卡尔积有（ ）个元组。

关系R和关系S的笛卡尔积是将两个关系中的所有元组进行组合，假设关系R有m个元组，关系S有n个元组，根据笛卡尔积的定义，R和S的笛卡尔积将生成m*n个元组。因此，正确答案是D。