设有关系模式： SB（SN，SNAME，CITY）其中，S表示供应商，SN为供应商代号，SNAME为供应商名字，CITY为供应商所在城市，主关键字为SN。 PB（PN，PNAME，COLOR，WEIGHT）其中P表示零件，PN为零件代号，PNAME为零件名字，COLOR为零件颜色，WEIGHT为零件重量，主关键字为PN。 JB（JN，JNAME，CITY）其中，J表示工程，JN为工程编号，JNAME为工程名字，CITY为工程所在城市，主关键字为JN。 SPJB（SN，PN，JN，QTY）其中，SPJ表示供应关系，SN是为指定工程提供零件的供应商代号，PN为所提供的零件代号，JN为工程编号，QTY表示提供的零件数量，主关键字为（SN，PN，JN），外部关键字为SN，PN，JN。 写出实现以下各题功能的SQL语句：

取出所在城市为上海的所有工程的全部细节

取出所有工程的全部细节

取出重量最轻的零件代号

取出为工程J1提供零件的供应商代号

取出为工程J1提供零件P1的供应商代号

取出由供应商S1提供零件的工程名称

取出供应商S1提供的零件的颜色

取出为工程J1或J2提供零件的供应商代号

取出为工程J1提供红色零件的供应商代号

取出为所在城市为上海的工程提供零件的供应商代号

取出为所在城市为上海或北京的工程提供红色零件的供应商代号

取出供应商与工程所在城市相同的供应商提供的零件代号

取出上海的供应商提供给上海的任一工程的零件的代号

取出至少由一个和工程不在同一城市的供应商提供零件的工程代号

取出上海供应商不提供任何零件的工程的代号

取出这样一些供应商代号，它们能够提供至少一种由红色零件的供应商提供的零件

取出由供应商S1提供零件的工程的代号

取出所有这样的一些〈CITY，CITY〉二元组，使得第1个城市的供应商为第2个城市的工程提供零件

取出所有这样的三元组〈CITY，PN CITY〉，使得第1个城市的供应商为第2个城市的工程提供指定的零件

取出所有这样的三元组〈CITY，PN CITY〉，使得第1个城市的供应商为第2个城市的工程提供指定的零件，但不检索两个CITY值相同的三元组