SQLGlot中IS NOT NULL运算符对子查询的错误处理分析

问题背景

SQLGlot是一个强大的SQL解析和转换工具，能够处理多种SQL方言之间的转换。在最新版本v25.27.0中，我们发现了一个关于IS NOT NULL运算符处理子查询时的语法转换问题。

问题现象

当SQL语句中包含对子查询结果使用IS NOT NULL判断时，SQLGlot会将其转换为NOT ... IS NULL的形式，但缺少必要的括号包裹，导致语义发生变化。

例如，对于以下SQL查询：

SELECT name
FROM data 
WHERE (SELECT DISTINCT name FROM data) IS NOT NULL

SQLGlot当前输出为：

SELECT name FROM data WHERE NOT (SELECT DISTINCT name FROM data) IS NULL

而正确的转换应该是：

SELECT name FROM data WHERE NOT ((SELECT DISTINCT name FROM data) IS NULL)

技术分析

运算符优先级问题

在SQL中，IS NULL和NOT运算符的优先级关系是导致这个问题的核心。根据SQL标准：

1. IS NULL运算符具有较高的优先级
2. NOT逻辑运算符优先级较低

因此，表达式NOT (子查询) IS NULL实际上会被解析为(NOT (子查询)) IS NULL，这与我们期望的NOT ((子查询) IS NULL)完全不同。

语义差异

错误的转换会导致查询语义发生根本性变化：

• 正确语义：检查子查询结果是否为非NULL
• 错误语义：先对子查询结果取逻辑非，再检查结果是否为NULL

这在大多数情况下会导致查询结果错误或执行失败，因为对子查询结果直接应用NOT运算符通常是不合法的。

解决方案建议

要解决这个问题，SQLGlot在转换IS NOT NULL运算符时应该：

1. 保留原始表达式的语义结构
2. 在转换为NOT ... IS NULL形式时，确保为整个IS NULL判断添加括号
3. 特别注意子查询作为操作数时的特殊情况

对于AST(抽象语法树)的处理，应该确保生成的节点结构正确反映运算符的优先级关系。

影响范围

这个问题主要影响以下场景：

1. 包含子查询的IS NOT NULL判断
2. 使用SQLGlot进行SQL方言转换的场景
3. 依赖SQLGlot进行SQL语法分析的工具

对于简单列名的IS NOT NULL判断，由于不涉及优先级冲突，当前实现可能不会出现问题。

总结

SQL解析工具在处理运算符优先级时需要格外小心，特别是当涉及子查询和逻辑运算符组合时。SQLGlot的这个bug提醒我们，在实现SQL转换时，必须严格保持原始查询的语义不变，必要时通过添加括号来明确运算顺序。对于开发者而言，在使用SQLGlot进行SQL转换时，应注意检查这类复杂表达式的转换结果是否正确。