Neo4j 3.5中语义等价条件的Cypher查询为何返回不同结果？

在Neo4j 3.5版本中，以下两个Cypher查询仅在单个条件上存在差异（t.id <> 3 vs NOT t.id = 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 <> 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 = 3)          // 差异条件
)
RETURN LABELS(t)[0], t.id, LABELS(m)[0], m.id, LABELS(b)[0], b.id;

结果：

(no changes, no records)

测试数据操作语句 #

创建测试数据 #

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(n) WHERE (n:Top OR n:Middle OR n:Bottom)
RETURN n;

删除测试数据 #

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

原因分析 #

核心问题在于Cypher的运算符优先级规则：

• NOT的优先级高于比较运算符（=、<> 等），因此NOT t.id = 3会被解析为(NOT t.id) = 3，而非预期的NOT (t.id = 3)。
• 在Cypher中，数值类型作为布尔值处理时，非零值等价于TRUE，零等价于FALSE。对于符合条件的t.id=2（非零），NOT t.id会被转换为NOT TRUE即FALSE，后续FALSE = 3的结果为FALSE，导致整个WHERE条件不满足，行被过滤。
• 而查询1中的t.id <> 3是直接进行数值比较，2 <> 3结果为TRUE，符合WHERE条件，因此对应的行被保留。

若要让查询2的条件等价于查询1，需显式添加括号明确逻辑：AND (NOT (t.id = 3))。

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