Apache-AGE与PostgreSQL中递归查询循环检测失效求助

你的递归查询存在几个关键问题，导致无法正确检测循环：

1. 递归阶段的路径拼接错误 #

递归部分的path || dp.module_id逻辑错误，会重复将起始节点加入路径，而非沿着依赖链添加新遍历到的节点。正确的做法是将当前访问的节点（d.module_id）追加到路径中，保证路径能正确记录遍历轨迹：

SELECT dp.module_id, d.dependency_id, dp.path || d.module_id
FROM dependency_path dp, dependencies d
WHERE dp.dependency_id = d.module_id
AND NOT (d.module_id = ANY(dp.path))

2. 递归终止条件逻辑偏差 #

原查询用NOT (dp.path @> ARRAY[d.dependency_id])避免重复访问，但这是检查路径是否包含下一个依赖节点，而非当前要访问的节点。正确的终止条件应该是确保即将访问的d.module_id不在已遍历路径中，否则会出现重复遍历或递归无法正常终止的情况。

3. 最终结果的过滤条件冗余矛盾 #

原查询的WHERE module_id = dependency_id AND path @> ARRAY[dependency_id]中，module_id = dependency_id已经表示路径起点等于终点，而path @> ARRAY[dependency_id]是必然成立的（路径初始就包含module_id）。更关键的是，路径拼接错误导致递归逻辑根本无法生成module_id = dependency_id的行，自然检测不到循环。

修正后的完整SQL查询 #

WITH RECURSIVE dependency_path AS (
  -- 初始阶段：加载所有非自依赖的关系
  SELECT 
    module_id, 
    dependency_id, 
    ARRAY[module_id] AS path
  FROM dependencies
  WHERE module_id != dependency_id

  UNION ALL

  -- 递归阶段：沿依赖链遍历，跳过已访问节点
  SELECT 
    dp.module_id, 
    d.dependency_id, 
    dp.path || d.module_id
  FROM dependency_path dp
  JOIN dependencies d ON dp.dependency_id = d.module_id
  WHERE NOT (d.module_id = ANY(dp.path))
)
-- 筛选所有回到起始节点的循环路径
SELECT path || dependency_id AS cycle
FROM dependency_path
WHERE dependency_id = module_id;

Apache-AGE的Cypher循环检测优化 #

如果是在Apache-AGE中操作，无需使用PostgreSQL递归CTE，Cypher有更简洁的原生语法：

-- 匹配所有自循环路径
MATCH p=(m)-[*1..]->(m)
-- 确保路径中间节点不重复包含起始节点
WHERE ALL(n IN nodes(p)[1..] WHERE n <> m)
RETURN p AS cycle;

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