... TIMES T9 ) AS T10, /* T10 {SA,SB,P#} : SA supplies some part, SB supplies some part, and part P# is supplied by some supplier */ ( T10 MINUS T7 ) AS T 11, /* T 11 {SA,SB,P#} : part P# is supplied, ... not by both SA and SB */ ( T6 INTERSECT T 11 ) AS T12, /* T12 {SA,SB,P#} : part P# is supplied by SA but not by SB */ ( T5 INTERSECT T 11 ) AS T13, /* T13 {SA,SB,P#} : part P# is supplied ... T12 { SA, SB } AS T14, /* T14 {SA,SB} : SA supplies some part not supplied by SB */ T13 { SA, SB } AS T15, /* T15 {SA,SB} : SB supplies some part not supplied by SA */ ( T14 UNION T15...