SQL集合操作语法歧义排查与ANTLR解决方案问询

1. 你的集合操作语法是否存在歧义？ #

是的，你的语法确实存在歧义。从提供的ANTLR规则来看：

• query_statement允许query_expr后拼接set_operator query_statement，形成递归的集合操作结构
• query_expr本身又可以包含limit_clause

这就导致SELECT 1 UNION SELECT 1 LIMIT 1存在两种合法解析路径：

• 路径1：SELECT 1作为query_expr，后续拼接UNION和SELECT 1 LIMIT 1（后者是完整的query_expr）
• 路径2：SELECT 1 UNION SELECT 1作为query_statement，再拼接LIMIT 1（属于外层query_expr的修饰）

两种路径都符合语法规则，因此存在歧义。

2. BigQuery的官方语法定义是否也存在歧义？ #

BigQuery的官方语法不存在歧义。它的语法规则明确了优先级：ORDER BY、LIMIT这类结果修饰子句，仅作用于整个集合操作的最终结果，而不是集合操作中的单个查询分支。

也就是说，SELECT 1 UNION SELECT 1 LIMIT 1在BigQuery中只会被解析为(SELECT 1 UNION SELECT 1) LIMIT 1，集合操作的优先级低于结果修饰子句的绑定层级。

3. 如何使用ANTLR正确解决该问题？ #

核心思路是通过拆分语法规则，明确优先级：让包含LIMIT/ORDER BY的完整查询单元成为集合操作的最小参与单元，避免结果修饰子句被错误绑定到整个集合操作。

修改后的ANTLR语法示例：

grammar DBParser;
options { caseInsensitive=true; }
statement: query_statement EOF;

// 顶层查询，仅负责集合操作的拼接
query_statement
   : query_primary (set_operator query_primary)*
   ;

// 带结果修饰的完整查询单元，是集合操作的最小组成部分
query_primary:
    with_clause?
    ( select_clause | '(' query_statement ')')
    order_clause?
    limit_clause?;

with_clause: 'WITH tbl AS (SELECT 1)';
select_clause: 'SELECT 1';
order_clause: 'ORDER BY 1';
limit_clause: 'LIMIT 1';
set_operator: 'UNION' | 'INTERSECT' | 'EXCEPT';

WHITESPACE: [ \t\r\n] -> skip;

规则调整说明： #

• 新增query_primary规则，将包含LIMIT/ORDER BY的完整查询封装为一个独立单元
• query_statement仅负责用集合操作符连接多个query_primary

这样调整后：

• SELECT 1 UNION SELECT 1 LIMIT 1会被优先解析为query_primary UNION query_primary（即SELECT 1 UNION (SELECT 1 LIMIT 1)）
• 如果需要让LIMIT作用于整个集合操作，必须用括号明确指定：(SELECT 1 UNION SELECT 1) LIMIT 1，符合SQL的显式语义规范

内容的提问来源于stack exchange，提问作者samuelbrody1249