题目：
阅读以下说明，回答问题1～4。
[说明]
设某商业集团为仓库存储商品设计了三个基本表：
仓库STORE(S#，SNAME，SADDR)，其属性是仓库编号、仓库名称和地址。
存储SG(S#，C#，QUANTITY)，其属性是仓库编号、商品编号和数量。
商品GOODS(C#，GNAME，PRICE)，其属性是商品编号、商品名称和单价。
现检索仓库名称为“莘庄”的仓库里存储的商品的编号和名称。
| [问题2] 在基本表中，检索存储全部种类商品的仓库的编号及名称。试写出相应的关系代数表达式、元组表达式、关系逻辑规则和SELECT语句。 |
答案：
参考答案：
解析：关系代数表达式为：
πS#.SNAME(STORE(πS#,G#(SG)÷πG#(GOODS)))
元组表达式为： {t}((u)((v)((w)(STORE(u)∧GOODS(v)∧SG(w)∧w[1]
=u[1)∧w[2]=v[1]∧t[1]=u[1]∧t [2]=u[2])}
关系逻辑规则如下：
W(x,y)← STORE(x,y,a) ∧┑ GOODS(b,c, d) ∧┒ `SG(x,b,e)
SELECT 语句为:
SELECT S#, SNAME
FROM STORE
WHERE NOT EXISTS
( SELECT *
FROM GOODS
WHERE NOT EXISTS
( SELECT *
FROM SG
WHERE SG. S# = STORE. S#
AND SG. G# = GOODS. G#) );
