表示关系代数中的子查询

Question

如何表示关系代数中的子查询？我是否将新的选择放在先前的选择条件下？

SELECT number
FROM collection
WHERE number = (SELECT anotherNumber FROM anotherStack);

Answer 1

您只需将其重写为 join 即可。

我不确定我在关系代数中学到的语法在语言中的使用有多广泛。

1. 从 anotherStack 获取 anotherNumber 的投影
2. 将步骤 1 的结果中的 anotherNumber 重命名为 number
3. Natural Join 结果步骤 2 到 collection
4. 从步骤 3 的结果中获取 number 的最终投影

Answer 2

答案取决于你的代数包含哪些运算符。半连接运算符在这里最有用。

如果两个关系中的公共属性都被命名为 number，那么它将是一个半连接，后跟 number 的投影。假设一个名为 MATCHING 的 sem-join 运算符，按照教程 D< /a>：

( collection MATCHING anotherStack ) { number }

正如发布的那样，首先需要重命名该属性：

( collection MATCHING ( anotherStack RENAME { anotherNumber AS number } ) { number }

如果标准 SQL 的 (SQL-92) JOIN 可以被认为是关系运算符，那么 SQL 确实没有 no半连接。然而，它有几个可用于编写半连接运算符的比较谓词，例如 MATCH：

SELECT number
  FROM collection
 WHERE MATCH (
              SELECT * 
                FROM collection
               WHERE collection.number = anotherNumber.anotherStack
             );

然而，MATCH 在现实生活中的 SQL 产品中并未得到广泛支持，因此为什么半连接通常使用 IN (子查询) 或 EXISTS (子查询) 编写（我怀疑这就是您在问题中检查“子查询”名称的原因，即术语半连接在 SQL 从业者中并不为人所知）。

---

另一种方法是使用相交运算符（如果可用）。

类似于（伪代码）：

( collection project number ) 
intersect 
( ( anotherStack rename anotherNumber as number ) project number )

在 SQL 中：

SELECT number
  FROM collection
INTERSECT
SELECT anotherNumber
  FROM anotherStack;

这在现实生活中得到了很好的支持（SQL Server、Oracle、PostgreSQL 等，但值得注意的是 MySQL 除外）。

Answer 3

根据这个 pdf，可以转换一个子- 轻松查询关系代数表达式。

首先，您必须将整个查询从形式转换

SELECT Select-list FROM R1 T1, R2 T2, ...
WHERE
some-column = (
    SELECT some-column-from-sub-query from r1 t1, r2 t2, ...
    WHERE extra-where-clause-if-needed)

为

SELECT Select-list FROM R1 T1, R2 T2, ...
WHERE
EXISTS (
    SELECT some-column-from-sub-query from r1 t1, r2 t2, ...
    WHERE extra-where-clause-if-needed and some-column = some-column-from-sub-query)

然后您必须首先将子查询转换为关系代数。要对上面给出的子查询执行此操作：

PI[some-column-from-sub-query](
    SIGMA[extra-where-clause-if-needed 
        ^ some-column = some-column-from-sub-query
        ](RO[T1](R1) x RO[T2](R2) x ... x RO[t1](r1) x RO[t2](r2) x ...)
)

这里 R1, R2... 是上下文关系，r1, r2... 是子查询关系。

由于堆栈溢出的语法相当灾难，请前往 该 pdf 可以大致了解如何将子查询转换为关系代数。