DuckDB窗口函数中列表聚合的排序问题分析与修复

在DuckDB数据库系统中，用户报告了一个关于窗口函数中列表聚合(list aggregate)行为不一致的问题。这个问题主要出现在处理小行组(parquet row groups)时，表现为列表聚合结果出现NULL值或无序的情况。

问题现象

当使用窗口函数对数据进行分区并按值排序时，期望通过list(value)聚合函数获得有序的列表。然而在实际执行中，出现了以下两种异常情况：

1. 聚合结果中出现NULL值
2. 生成的列表未按预期顺序排列

这个问题在DuckDB 1.0.0版本中不存在，但在1.2.0和1.2.1版本中出现，并且在1.2.1版本中表现更为严重。有趣的是，问题的出现还与机器硬件相关，暗示可能与多线程处理有关。

技术背景

在DuckDB中，窗口函数的实现采用了多种优化策略。对于聚合操作，系统会尝试应用"常量聚合"优化(constant aggregation optimization)，即对每个分区只计算一次聚合结果。这种优化对于普通聚合函数很有效，但对于顺序敏感的聚合操作(如列表聚合)则需要特殊处理。

问题根源

经过分析，问题主要来自两个方面：

1. 常量聚合优化中的排序处理缺陷：在1.2.0-1.2.1版本中，常量聚合优化未能正确处理顺序敏感的聚合操作，导致排序信息丢失。

2. 隐式排序传播不足：虽然聚合函数可以处理显式的ORDER BY子句，但未能正确传播窗口函数中的隐式排序信息。即list(value) OVER (PARTITION BY id ORDER BY value)中的排序信息没有被正确应用到列表聚合中。

解决方案

DuckDB团队通过以下方式解决了这个问题：

1. 修复了常量聚合优化中对顺序敏感聚合的处理逻辑
2. 确保窗口函数中的隐式排序信息能够正确传播到聚合函数中

对于用户而言，虽然理论上可以通过显式指定list(value ORDER BY value)来确保排序，但在修复前的版本中这种方法也无法完全解决问题。现在，无论是隐式还是显式的排序声明，都能得到正确的结果。

影响范围

这个问题影响了以下使用场景：

1. 使用窗口函数中的列表聚合
2. 处理小行组的Parquet文件
3. 依赖聚合结果顺序的应用

该修复已包含在DuckDB 1.2.2及更高版本中，建议受影响的用户升级到最新版本。对于必须使用旧版本的用户，需要注意检查列表聚合结果的顺序正确性。