A∏SNO(σJNO=’J’(SPJ)∧(σColor=’红’(P))B∏SNO(σJNO=’J’，Color=’红’(P∞SPJ∞S))C∏SNO(σJNO=’J’(SPJ)∞(σColor=’红’(P))D∏SNO(σJNO=’J’(SPJ)Ú(σColor=’红’(P))