请写出“被所有的工程都使用了的物资编号、物资名称及规格”的关系代数表达式以及对应的SQL语句（请写出三种不同的SQL语句）

关系代数表达式：

$$\Pi_{编号, 名称, 规格}(\sigma_{\forall 工程(使用(物资) \rightarrow 工程)}(物资))$$

SQL语句1：

SELECT DISTINCT 物资编号 AS 编号, 物资名称 AS 名称, 规格
FROM 物资
WHERE EXISTS (
    SELECT *
    FROM 工程
    WHERE 使用表.物资编号 = 物资.物资编号
)

SQL语句2：

SELECT DISTINCT 物资.物资编号 AS 编号, 物资.物资名称 AS 名称, 物资.规格
FROM 物资
INNER JOIN 使用表 ON 物资.物资编号 = 使用表.物资编号

SQL语句3：

SELECT DISTINCT 物资编号 AS 编号, 物资名称 AS 名称, 规格
FROM 物资
WHERE 物资编号 IN (
    SELECT 物资编号
    FROM 使用表
)

相关问题

已知关系 S(Sno,Sname,Ssex,Sage,Sdept)，现要查询计算机系（CS）所有男生 的学号和姓名，写出关系代数表达式以及 其对应的 SQL 语句是

关系代数表达式：$$\pi_{Sno,Sname}(\sigma_{Sdept='CS' \wedge Ssex='男'}(S))$$

对应的 SQL 语句：

SELECT Sno, Sname
FROM S
WHERE Sdept = 'CS' AND Ssex = '男'

其中，$\pi_{Sno,Sname}$ 表示投影操作，只保留 Sno 和 Sname 两个属性；$\sigma_{Sdept='CS' \wedge Ssex='男'}$ 表示选择操作，只选择 Sdept 为 'CS' 且 Ssex 为 '男' 的元组。SQL 语句中的 SELECT 和 WHERE 子句分别对应关系代数中的投影和选择操作。

我将如何使用RelaX，将SQL语句转换为关系代数表达式

RelaX是一个在线工具，可以帮助您将SQL语句转换为关系代数表达式。以下是使用RelaX的步骤：

1. 打开RelaX网站（https://dbis-uibk.github.io/relax/）。

2. 在“SQL转换”选项卡下，输入您想要转换的SQL语句。

3. 单击“转换”按钮。

4. 在“关系代数表达式”部分，您将看到转换后的关系代数表达式。

5. 如果您想要更多关系代数表达式的细节，您可以单击“详细信息”按钮，以查看更多关于每个操作的信息。

6. 如果您需要，您可以将转换后的关系代数表达式复制到剪贴板中，以便将其粘贴到其他应用程序中。

注意：RelaX只能处理一些基本的SQL语句，如果您的SQL语句比较复杂，可能需要使用其他工具或手动转换。