Daniel Rearden's questions

我在使用 Postgres 数据库的上下文中问这个问题，尽管我认为它适用于大多数 SQL 数据库。

在静态类型应用程序中处理数据库查询的结果时，我们需要知道特定列是否可以返回null。当基础数据存储在具有NOT NULL约束的表列中时，我们可以自信地在我们的应用程序中将数据键入为不可空。同样，如果没有约束，那么我们将该列键入为 nullable，因为它可以返回null。

这很容易推理，但是当我们引入左连接和右连接时事情会变得更加复杂。例如，如果我们有一个像这样的连接子句

FROM a
LEFT JOIN b ON a.x = b.y

然后所有列都可b以为空，因为结果可能包括a没有匹配b行的行。同样，如果我们这样做

FROM a
RIGHT JOIN b ON a.x = b.y

现在所有的列a都可以为空。

从这个意义上说，我们可以说某些连接（特别是左外连接和右外连接）将一种“可空性修饰符”应用于查询投影中使用的一组或多张表。

我正在努力解决的问题是当有多个连接时这种行为是如何工作的。例如：

FROM a
LEFT JOIN b ON a.x = b.y
LEFT JOIN c ON b.x = c.y

或者

FROM a
LEFT JOIN b ON a.x = b.y
RIGHT JOIN c ON b.x = c.y

或者

FROM a
LEFT JOIN b ON a.x = b.y
INNER JOIN c ON b.x = c.y
RIGHT JOIN c ON c.x = d.y

或者

FROM a
LEFT JOIN (b INNER JOIN c ON b.x = c.y) ON a.x = b.y

如果我迭代连接集，是否有一组我可以应用的试探法可以让我为每个引用的表准确设置“可空性修饰符”，以便我可以为查询结果派生出准确的应用程序类型？上面的片段用于说明这个问题的复杂性，但我们的想法是拥有一组可以应用于任何连接集的启发式方法，无论长度、顺序或组合如何。

给定 Postgres 中的表，例如

CREATE TABLE t1 (
  type text NOT NULL,
  value int NOT NULL
)

where typecould be A, Bor Cand 给定一个任意的重复模式，比如

A B B C B B

如何查询表，以便结果首先根据模式排序，然后根据值排序？换句话说，第一行是A最低value的，第二行是B最低value的，第三行是B第二低的value，依此类推。如果我们用完了特定的类型，我们就继续前进到模式中的下一个字母（即，如果我们没有更多C的 s 要返回，模式就变成ABBBB）。

实际模式是动态的并且具有任意长度，认为它总是被限制为只有type.

这是一个样本数据的小提琴。