设有一个SPJ数据库，其包括S，P，J，SPJ四个关系:S(SNO,SNAME,STATUS,CITY);P(PNO,PNAME,COLOR,WEIGHT);J(JNO,JNAME,CITY);SPJ(SNO,PNO,JNO,QTY);供应商表S由供应商代码（SNO）、供应商姓名（SNAME）、供应商状态（STATUS）、供应商所在城市（CITY）组成；零件表P有零件代码（PNO）、零件名（PNAME）、颜色（COLOR）、重量（WEIGHT）组成；工程项目表J由工程项目代码（JNO）、工程项目名（JNAME）、工程项目所在城市（CITY）城市组成；供应情况表SPJ由供应商代码（SNO）、零件代码（PNO）、工程项目代码（JNO）、供应数量（QTY）组成，表示某供应商供应某种零件给某工程项目的数量为QTY。供应工程J1零件为红色的供应商号码SNO用关系代数表示为（）。A.∏SNO(σJNO=’J1’(SPJ)∧(σColor=’红’(P))B.∏SNO(σJNO=’J1’,Color=’红’(P∞SPJ∞S))C.∏SNO(σJNO=’J1’(SPJ)∞(σColor=’红’(P)))D.∏SNO(σJNO=’J1’(SPJ)Ú(σColor=’红’(P))