sql - Snowflake SQL 编译器和执行有多懒？

Question

我可以依靠 Snowflake 的惰性评估来进行测试和异常抛出吗？

CTE 是否被延迟评估？

这有记录吗？

(相关问题:Assertions in Snowflake)

Answer 1

我想分享我自己在这方面的实验。延迟评估对于优化目的非常有用，对于测试也非常有用。我找不到 promise 这种行为的文档，因此这些实验有助于确定当前的行为

抛出测试异常

不会抛出这些潜在的除以 0 的异常:

select coalesce(1, 1/0), iff(true, 1, 1/0);

这在编写 SQL 脚本来验证结果时非常有用。例如，要验证查询是否返回 3 行或引发异常:

select iff(count(*)=3, 1, 1/0)
from (
    select * from values(1),(2),(3)
);

CTE 优化

让我们看看 Snowflake 是否优化了 CTE，或者无论如何都会对它们进行评估:

with oh_no as (
  select 1/0 oh_no
), fine as (
  select 1 fine
)

select *
from fine
;

结果很好:CTE 不会引发异常，因为不需要它，因此不会对其进行评估。

极度懒惰

这是一个有趣的:

with oh_no as (
  select 1/0 oh_no
), fine as (
  select 1 fine
)

select *
from (
    select * from fine
    union all 
    select * from oh_no
)
limit 1
;

理论上，异常应该从union中抛出。但 Snowflake 发现 LIMIT 1 已被求值，因此不会浪费时间处理更多行。

这意味着同一查询可能会抛出错误，具体取决于处理行的顺序，并且如果处理初始行数满足查询要求，则不会抛出错误。

但是所有这些例子都是常数吗？

正如 @MatBailie 所指出的，所有这些示例都是不变的，因此可以在执行之前对其进行优化。

让我添加这个示例来测试对实际表的查询结果:

select iff(count(*)=7, 1, 1/0)
from (
    select *
    from snowflake_sample_data.tpch_sf001.customer
    where c_phone like '18-8%'
);

不会引发异常，因为表中正好有 7 条记录符合条件。很好。

与极端懒惰的例子相同，使用实际数据:

with oh_no as (
    select 1/0 oh_no
), fine as (
    select c_custkey
    from snowflake_sample_data.tpch_sf001.customer
    where c_phone like '18-8%'
    limit 1
)

select *
from (
    select * from fine
    union all 
    select * from oh_no
)
limit 1
;