如何用非动态Cypher查询验证文件系统路径在图中的存在性？

先理清楚你的场景 #

你的图结构规则是：File通过IS_IN关系指向父Folder，子Folder也用IS_IN指向父文件夹，最终根节点是Folder {Name: '/'}。现在要验证任意长度的路径（比如/foo/bar/baz.txt）是否存在，还不想通过动态拼接Cypher语句实现，对吧？

直接用列表参数+reduce就能搞定 #

不用动态生成查询，靠Cypher的列表参数和reduce函数就能实现通用查询，步骤如下：

第一步：把路径拆成有序列表 #

先把输入路径拆成节点名称的有序列表，比如/foo/bar/baz.txt拆成：

['/', 'foo', 'bar', 'baz.txt']

注意：第一个元素必须是根文件夹的名称/，最后一个元素如果是文件路径就是文件名，如果是文件夹路径就是对应文件夹名。

第二步：通用Cypher查询（支持任意长度） #

直接使用以下查询，将拆分后的列表传给$pathComponents参数即可：

WITH $pathComponents AS components
// 基础校验：列表非空，且第一个元素是根文件夹
WHERE size(components) > 0 AND components[0] = '/'
// 匹配根节点
MATCH (root:Folder {Name: components[0]})
// 用reduce按顺序逐个匹配层级节点
WITH root, components, range(1, size(components)-1) AS indices
MATCH path = (root)<-[:IS_IN*]-(target)
WHERE reduce(current = root, i IN indices | 
  // 从当前节点找下一级名称匹配的节点，匹配失败则返回null
  [(current)<-[:IS_IN]-(next) WHERE next.Name = components[i] | next][0]
) IS NOT NULL
// 校验末尾节点类型：文件对应File标签，文件夹对应Folder标签
AND (
  (components[-1] ENDS WITH '.txt' AND target:File) OR
  (target:Folder AND target.Name = components[-1])
)
// 返回路径是否存在及完整路径
RETURN path IS NOT NULL AS pathExists, path

逻辑说明 #

• 全程通过参数$pathComponents传递路径列表，完全无需动态拼接查询语句。
• reduce函数会按列表顺序逐层匹配节点：从根文件夹开始，逐个查找下一级名称匹配的节点，只要某一层匹配失败，reduce就会返回null，查询不会命中结果。
• 末尾的类型校验是为了避免同名文件夹与文件的冲突（比如同时存在baz.txt文件夹和baz.txt文件的情况）。

只想判断存在性？用简化版 #

如果不需要返回完整路径，仅需判断路径是否存在，可使用更高效的简化版：

WITH $pathComponents AS components
WHERE size(components) > 0 AND components[0] = '/'
MATCH (root:Folder {Name: components[0]})
WITH root, components
OPTIONAL MATCH (root)<-[:IS_IN*]-(target)
WHERE target.Name = components[-1]
// 确保中间每一层级的文件夹都存在
AND all(i IN range(1, size(components)-2) | 
  exists(
    (root)<-[:IS_IN*..i]-(mid:Folder) WHERE mid.Name = components[i]
  )
)
// 校验末尾节点类型
AND (
  (size(components) > 1 AND components[-1] ENDS WITH '.txt' AND target:File) OR
  (target:Folder)
)
RETURN count(target) > 0 AS pathExists

小提醒 #

• 路径拆分时需处理异常情况：比如连续斜杠/foo//bar、末尾斜杠/foo/bar/，这些需统一拆转为['/', 'foo', 'bar']。
• 如果你的文件夹名称也可能包含.后缀（比如data.txt文件夹），则不能通过后缀判断类型，需完全依赖节点的File/Folder标签区分。

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