按小于元组的 Spanner SQL 过滤

Question

有没有办法在 Spanner SQL 查询的 WHERE 子句中实现 <, >, etc 比较，其中比较的值不是标量而是元组/结构？

例如，假设我们有一个表 users（故意不切实际的架构）

CREATE TABLE users (
    is_special BOOL NOT NULL,
    registered_on TIMESTAMP NOT NULL,
) PRIMARY KEY (is_special DESC, registered_on DESC)

PK 索引的自然排序顺序为is_special DESC, registered_on DESC。

我想选择从该 PK 索引中的特定行开始的一系列行（即来自游标）：

SELECT * FROM users 
WHERE (is_special, registered_on) < (@cursor.is_special, @cursor.registered_on)
LIMIT 100

Spanner SQL 不允许这样做，因为元组被视为 STRUCT 类型，而 STRUCT 类型不允许 < 比较。有没有其他方法可以做到这一点？

使用 Read API，我可以通过使用 KeyRange 并提供我想要开始查询的行的 PK 来查询范围，但我想在 SQL 中实现同样的功能。

Answer 1

以下是使用单个字段编写查询的方法。这依赖于 is_special 列不可为空这一事实。

SELECT * FROM users
WHERE (is_special < @cursor.is_special) OR (is_special = @cursor.is_special AND registered_on < @cursor.registered_on)
LIMIT 100

只是为了完整性；如果列 is_special 可以为空，那么它会变得更丑。

SELECT * FROM users
WHERE (is_special < @cursor.is_special) OR ((is_special = @cursor.is_special OR (is_special IS NULL AND @cursor.is_special IS NULL)) AND registered_on < @cursor.registered_on)
LIMIT 100

附加评论。该查询有一个LIMIT 子句，但没有ORDER BY 子句。这是合法但不寻常的，鉴于查询正在分页结果，这看起来像是一个错误。

我认为查询应该有以下子句：

ORDER BY is_special, registered_on

原因如下：

如果 SQL 查询没有 ORDER BY 子句，则它不提供任何行顺序保证。在实践中，即使没有 ORDER BY 子句，您也会在 Spanner 结果中观察到排序，但不能保证顺序，您不应依赖它。但是，如果查询具有 ORDER BY 并且 Spanner 使用提供所需顺序的索引，则 Spanner 不会显式对数据进行排序。因此，您无需担心包含 ORDER BY 的性能或内存影响。