PostgreSQL 是否会短路其 BOOL_OR() 评估？

Question

EXISTS 比 COUNT(*) 快，因为它可以短路

很多时候，我喜欢在 SQL 中检查事物是否存在。例如，我这样做：

-- PostgreSQL syntax, SQL standard syntax:
SELECT EXISTS (SELECT .. FROM some_table WHERE some_boolean_expression)

-- Oracle syntax
SELECT CASE 
  WHEN EXISTS (SELECT .. FROM some_table WHERE some_boolean_expression) THEN 1 
  ELSE 0 
END
FROM dual

在大多数数据库中，EXISTS 是“短路的”，即数据库可以在找到一行后立即停止在表中查找行。 This is usually much faster than comparing COUNT(*) >= 1 as can be seen in this blog post.

使用EXISTS 和GROUP BY

有时，我想在GROUP BY 查询中为每个组执行此操作，即我想“聚合”存在值。没有 EXISTS 聚合函数，但 PostgreSQL 幸运地支持 BOOL_OR() 聚合函数，就像下面的语句：

SELECT something, bool_or (some_boolean_expression)
FROM some_table
GROUP BY something

The documentation mentions something about COUNT(*) being slow 因为计算计数需要明显的顺序扫描。但不幸的是，它没有说明BOOL_OR() 被短路。是这样吗？ BOOL_OR() 在遇到第一个 TRUE 值时是否停止聚合新值？

Answer 1

如果要检查是否存在，我一般使用LIMIT/FETCH FIRST 1 ROW ONLY查询：

SELECT .. FROM some_table WHERE some_boolean_expression
FETCH FIRST 1 ROW ONLY

这通常会在第一次命中后停止执行。

可以使用LATERAL 对另一个表中的每一行（组）应用相同的技术。

SELECT * 
  FROM (SELECT something
          FROM some_table
         GROUP BY something
       ) t1
  LEFT JOIN LATERAL (SELECT ...
                        FROM ...
                       WHERE ...
                       FETCH FIRST 1 ROW ONLY) t2
    ON (true)

在t2 中，您可以使用与组的任何行匹配的WHERE 子句。它每组只执行一次，并在找到第一个命中后立即中止。但是，这是否表现得更好或更差当然取决于您的搜索谓词和索引。