请写出“被所有的工程都使用了的物资编号、物资名称及规格”的关系代数表达式

假设有两个关系表：工程物资表（Project_Material）和物资规格表（Material_Specification），它们之间存在一对多的关系，即一个物资规格可以对应多个工程物资。

工程物资表包括以下属性：
- 编号（ID）
- 物资编号（Material_ID）
- 物资名称（Material_Name）
- 规格编号（Spec_ID）
- 数量（Amount）
- 单价（Unit_Price）

物资规格表包括以下属性：
- 规格编号（ID）
- 物资名称（Material_Name）
- 规格（Specification）

则“被所有的工程都使用了的物资编号、物资名称及规格”的关系代数表达式为：

π Material_ID, Material_Name, Specification (σ COUNT(DISTINCT Project_ID) = (SELECT COUNT(*) FROM Project), Project_Material JOIN Material_Specification ON Project_Material.Spec_ID = Material_Specification.ID)

其中，σ COUNT(DISTINCT Project_ID) = (SELECT COUNT(*) FROM Project) 表示筛选出所有被使用数量等于工程总数的工程物资记录。π 表示投影操作，只选择需要的属性列。JOIN 表示连接操作，将工程物资表和物资规格表连接起来。

相关问题

请写出“被所有的工程都使用了的物资编号、物资名称及规格”的关系代数表达式以及对应的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 使用表
)