笛卡尔积->自然连接