为何Neo4j的OPTIONAL MATCH会返回含null的额外行？

你的查询返回3行而非预期2行，核心是Cypher的隐式分组逻辑结合OPTIONAL MATCH的匹配规则，再对应你的实际数据情况导致的，具体拆解如下：

1. 数据层面的核心情况 #

订单2454的2个OrderLine必然满足以下状态：

• 其中1个OrderLine关联了2个ManufacturedProduct（且每个Product都关联了WorkOperation）
• 另1个OrderLine没有关联任何ManufacturedProduct

2. 查询执行的逻辑过程 #

• 第一步match (o:Order)--(ol:OrderLine)会获取2行基础结果，对应两个OrderLine与订单的关联关系。
• 第二步optional match (ol)--(mp:ManufacturedProduct)--(wo:WorkOperation)是对每个OrderLine做可选匹配：
  • 关联了2个MP的OrderLine：会匹配出该OrderLine与每个MP、每个MP对应WO的所有路径，生成多行临时结果。
  • 无MP关联的OrderLine：因是可选匹配，会生成一行mp和wo全为null的临时结果。
• 最后return o.order_id, mp.unique_ref, collect(id(wo))触发隐式分组：Cypher会把o.order_id和mp.unique_ref作为分组键，将同分组的id(wo)收集成集合：
  • 2个MP各自形成一个分组，对应2行结果（每行是单个MP的WO ID集合）
  • 无MP的OrderLine单独形成一个分组（mp.unique_ref为null），对应第3行结果

3. 验证查询 #

你可以执行以下语句确认OrderLine的关联状态：

match (o:Order)--(ol:OrderLine)
where o.order_id = "2454"
optional match (ol)--(mp:ManufacturedProduct)
return ol, count(mp) as mp_count

如果结果中存在一个mp_count为0、另一个为2的OrderLine，就完全符合上述分析。

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