解决Cypher解析器中多规则定义SET子句引发的移进/归约冲突

针对你遇到的移进/归约冲突问题，以下是几种可行的解决思路，按推荐优先级排序：

方案1：词法阶段区分不同SET场景 #

在词法分析器（如Flex）中将SET GRAPH和SET GRAPH_PATH识别为独立token，彻底避免语法层面的歧义：

Lexer规则（Flex示例） #

"SET"[ \t\n]+GRAPH          { return SET_GRAPH; }
"SET"[ \t\n]+GRAPH_PATH     { return SET_GRAPH_PATH; }
"SET"                       { return SET; }

Bison规则调整 #

%token SET_GRAPH SET_GRAPH_PATH SET ...

query:
    ...
    match_clause
    | set_graph_clause
    ...
;

set_graph_clause:
    SET_GRAPH EQUALS graph_path_list        { graph_name = $3; }
    | SET_GRAPH_PATH EQUALS graph_path_list { graph_name = $3; }
;

// 原有的set_clause规则保持不变，仅处理MATCH等子句后的SET
match_clause:
    optional_opt MATCH pattern_list set_clause_opt
;

set_clause_opt:
    /* empty */
    | set_clause
;

set_clause:
    SET assign_list { set = true; }
    | set_clause SET assign_list
;

这种方式从根源上消除了冲突，因为两种SET场景被标记为完全不同的token，解析器无需做二选一判断。

方案2：利用Bison优先级规则明确解析顺序 #

给SET GRAPH相关规则设置高于普通set_clause的优先级，让解析器优先选择set_graph_clause分支：

Bison优先级声明 #

// 定义优先级，SET_GRAPH高于SET_CLAUSE
%precedence SET_GRAPH
%precedence SET_CLAUSE

调整后的规则 #

query:
    ...
    match_clause
    | set_graph_clause
    ...
;

match_clause:
    optional_opt MATCH pattern_list set_clause_opt
;

set_clause_opt:
    /* empty */
    | set_clause
;

// 给set_clause标记优先级
set_clause:
    SET assign_list %prec SET_CLAUSE { set = true; }
    | set_clause SET assign_list %prec SET_CLAUSE
;

// 给set_graph_clause标记更高优先级
set_graph_clause:
    SET graph_option EQUALS graph_path_list %prec SET_GRAPH { graph_name = $4; }
;

graph_option:
    GRAPH
    | GRAPH_PATH
;

当解析器遇到SET后，若下一个token是GRAPH或GRAPH_PATH，会优先触发set_graph_clause规则；若处于MATCH子句后的上下文，则按普通set_clause处理；其他独立SET命令会被解析器拒绝，交由PostgreSQL处理。

方案3：启用Bison GLR解析器处理歧义 #

如果上述方法无法解决冲突，可以启用Bison的GLR模式，允许解析器同时尝试多条路径，在语义阶段选择正确的分支：

启用GLR模式 #

在Bison文件开头添加：

%glr-parser

这种方法无需修改现有规则，但会带来一定性能开销，适合复杂歧义场景。

方案4：重构语法规则明确上下文约束 #

确保set_clause只能作为MATCH等子句的附属部分出现，顶层SET仅匹配set_graph_clause：

query:
    ...
    match_clause
    | set_graph_clause
    ...
;

match_clause:
    optional_opt MATCH pattern_list set_clause_opt
;

// 仅在match_clause内部触发set_clause
set_clause_opt:
    /* empty */
    | SET assign_list { set = true; }
    | set_clause_opt SET assign_list
;

// 顶层SET仅处理GRAPH相关命令
set_graph_clause:
    SET graph_option EQUALS graph_path_list { graph_name = $4; }
;

graph_option:
    GRAPH
    | GRAPH_PATH
;

这种方式通过扁平化set_clause_opt规则，消除了嵌套规则带来的歧义可能。

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