Cypher/Neo4j递归关系匹配的遍历顺序保证与调控方法问询

针对形如 MATCH (node0 {id: 1})-[:REL*]->(nodeN) 的Cypher语句，相关疑问及解答如下：

遍历顺序的确定性保证 #

1. 深度优先（DFS）/广度优先（BFS）的保证：
   Neo4j官方并未对可变长度路径匹配的遍历策略（DFS/BFS）提供明确的确定性保证。尽管实验中两个实例都表现出DFS行为，但这属于当前实现的表现，而非Cypher规范或Neo4j官方承诺的固定行为，后续版本或不同环境下可能发生变化。

2. 分支遍历顺序的保证：
   官方同样未保证单个节点不同关系分支的遍历顺序。你观察到不同实例分支顺序不同的情况符合预期——分支顺序依赖于底层存储的物理布局、实例配置等因素，不属于Cypher语义层面的确定性内容。

实验验证结果 #

在创建顺序一致的同一份数据集上，两个Neo4j实例（GitHub Action运行的Docker实例、Docker Desktop实例）表现出：

• 一致的深度优先遍历行为
• 不同的关系分支遍历顺序
  （配图：分支遍历示意图）

可影响遍历顺序的参数与方法 #

1. DFS与BFS的切换：
   Cypher本身没有直接控制遍历策略（DFS/BFS）的参数。若需要明确指定遍历策略，除了你提到的限制较多的生成树算法外，可使用APOC库中的apoc.path.expand系列过程，这类过程支持通过bfs: true参数指定广度优先遍历，bfs: false则对应深度优先。

2. 基于关系属性的遍历顺序控制：
   Cypher没有直接参数控制基于关系属性的遍历顺序。若需要按关系属性排序遍历分支，可先匹配所有相关关系并按属性排序后再进行路径扩展，或借助APOC库的路径扩展过程，通过sort参数指定排序的关系属性及顺序。

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