Neo4j 5.26中NOT v IN [a,b]与v<>a AND v<>b查询结果差异原因

在Neo4j 5.26版本中，两个仅WHERE子句条件不同的Cypher查询返回结果差异显著。原本认为(t.id <> 1 AND t.id <> 3)和NOT t.id IN [1,3]语义完全一致，但实际执行结果却大相径庭。

查询1 #

MATCH(b:Bottom)
OPTIONAL MATCH(b:Bottom)<-[:BOTTOM]-(m:Middle)
OPTIONAL MATCH(m:Middle)<-[:MIDDLE]-(t:Top)
WITH DISTINCT b, m, t
WHERE (
    m.id IN [21,22,31]
    AND (NOT m.id IN [22,32])
    AND (t.id <> 1 AND t.id <> 3)   // 仅此处条件不同
)
RETURN LABELS(t)[0], t.id, LABELS(m)[0], m.id, LABELS(b)[0], b.id;

执行结果：

LABELS(t)[0]    t.id    LABELS(m)[0]    m.id    LABELS(b)[0]    b.id
"Top"   2   "Middle"    21  "Bottom"    211
"Top"   2   "Middle"    21  "Bottom"    212

查询2 #

MATCH(b:Bottom)
OPTIONAL MATCH(b:Bottom)<-[:BOTTOM]-(m:Middle)
OPTIONAL MATCH(m:Middle)<-[:MIDDLE]-(t:Top)
WITH DISTINCT b, m, t
WHERE (
    m.id IN [21,22,31]
    AND (NOT m.id IN [22,32])
    AND (NOT t.id IN [1,3])         // 仅此处条件不同
)
RETURN LABELS(t)[0], t.id, LABELS(m)[0], m.id, LABELS(b)[0], b.id;

执行结果：

(无记录返回)

测试数据相关语句 #

创建测试数据 #

WITH
    RANGE(1,4) AS tops,
    RANGE(1,3) AS middles,
    RANGE(1,2) AS bottoms
FOREACH (top IN tops | 
    MERGE (t:Top{id:top})
    FOREACH (middle IN middles | 
        CREATE (m:Middle{id:top*10 + middle})
        MERGE (t)-[:MIDDLE]->(m)
        FOREACH (bottom IN bottoms |
            CREATE (b:Bottom{id:top*100 + middle*10 + bottom})
            MERGE (m)-[:BOTTOM]->(b)
        )
    )
);

查看测试数据 #

MATCH(t:Top)-[r1]-(m:Middle)-[r2]-(b:Bottom)
RETURN *;

删除测试数据 #

MATCH(n) WHERE (n:Top OR n:Middle OR n:Bottom)
DETACH DELETE n
RETURN n;

差异原因解析 #

核心问题出在Cypher的运算符优先级：NOT运算符的优先级高于IN运算符，导致NOT t.id IN [1,3]的实际执行逻辑与预期不符。

1. 运算符优先级导致的解析差异
   Cypher语法中，NOT的优先级高于IN，因此NOT t.id IN [1,3]会被解析为(NOT t.id) IN [1,3]，而非预期的NOT (t.id IN [1,3])。

2. 布尔值转换与匹配逻辑
   在Cypher中，非零整数会被视为布尔值true，零视为false：

   • 当t.id=2时，NOT t.id等价于NOT true，结果为false；接着判断false IN [1,3]，由于数组元素是整数，布尔值无法匹配，最终条件结果为false，该行被过滤。
   • 当t.id=3时，NOT t.id同样得到false，false IN [1,3]仍为false，条件不满足，该行也被过滤。

3. 查询1的逻辑正确性
   查询1中的(t.id <> 1 AND t.id <> 3)是明确的逻辑判断：t.id不等于1且不等于3。当t.id=2时，两个比较表达式都为true，AND运算后结果为true，符合条件的行被正常保留。

如果要实现“t.id不在[1,3]数组中”的预期逻辑，需要显式添加括号，将条件写为NOT (t.id IN [1,3])，这样才能保证语义符合预期。

内容的提问来源于stack exchange，提问作者norihide.shimatani