/*
Get name of projects that have shipments of 
        the parts with the highest weight


select distinct jname
from  project J
where
       { part shipped to J }
       contains
       { part with highest weight }
where NOT EXISTS
       { part with highest weight }
      - { part shipped to J }
*/

select distinct jnum
from   proj J
where not exists (select *
                  from part
                  where 
			pnum in (select pnum /* Part with hightest weight */
                                 from   part
                                 where  weight >= ALL (select weight
                                                       from   part))
                    and 
			pnum not in (select pnum /* proj suppl to J */
                                     from   spj 
                                     where  jnum = J.jnum)
                 )

