4求没有使用天津供应商生产的红色零件的工程号JNO ALPHA RANGE SPJ SPJX S SX P PX GET W(JPNO) 7彐SPJX( SPJXJNO=J.JNO∧ 彐SX( SX SNO= SPJX SNO∧ SX. CITY=天津’∧ 彐PX( PX.PNO= SPJX PNO∧ PX. COLOR=红’)))4 求没有使用天津供应商生产的红色零件的工程号JNO . ■ ALPHA RANGE SPJ SPJX S SX P PX GET W ( J.PNO ) : ┓ ∃ SPJX ( SPJX.JNO = J.JNO ∧ ∃ SX ( SX.SNO = SPJX.SNO ∧ SX.CITY=‘ 天津 ’ ∧ ∃ PX ( PX.PNO = SPJX.PNO ∧ PX.COLOR=‘ 红 ’ ) ) )