Apache AGE中MATCH子句未区分有向边方向的技术疑问

问题重现 #

1. 创建从Student到Department的有向边：

SELECT * FROM cypher('university_graph', $$
CREATE ((n: Student {name : "John", bornIn : "USA"})-[e: StudiesAt {since : 2020}]->(d: Department {name : "CS"}))
RETURN n, d
$$) AS (n agtype, v agtype);

2. 不带顶点标签的无方向MATCH查询：

SELECT * FROM cypher('university_graph', $$
MATCH (a)-[e]-(b)
RETURN a.name, e.since, b.name
$$) AS (st_name agtype, st_since agtype, dept_name agtype);

返回结果：

st_name | st_since | dept_name 
--------+----------+-----------
"John"  | 2020     | "CS"
"CS"    | 2020     | "John"
(2 rows)

3. 带顶点标签的无方向MATCH查询：

SELECT * FROM cypher('university_graph', $$
MATCH (a: Student)-[e]-(b)
RETURN a.name, e.since, b.name
$$) AS (st_name agtype, st_since agtype, dept_name agtype);

返回结果：

st_name | st_since | dept_name 
 --------+----------+-----------
 "John"  | 2020     | "CS"
 (1 row)

问题解析 #

这是Apache AGE遵循Cypher语言标准语义的正常表现：

• 当使用(a)-[e]-(b)这种无方向边匹配语法时，Cypher的定义就是匹配所有连接a和b的边，无论边的实际存储方向是a→b还是b→a。所以即使你创建的是有向边，无方向匹配也会返回两种视角的结果（本质是同一有向边的正向、反向遍历）。
• 添加顶点标签(a: Student)-[e]-(b)后，查询会强制a必须是带有Student标签的顶点。由于原边是Student→Department，反向遍历时a会对应Department顶点（不满足Student标签约束），所以只会返回符合条件的那条结果。

设计意图说明 #

这是Cypher（以及Apache AGE）的有意设计，原因包括：

1. 查询灵活性：当用户不确定边的方向，或者需要获取两个顶点间的所有关联关系时，无方向匹配可以简化查询语句，无需分别编写正向和反向的匹配逻辑。
2. 语义一致性：作为兼容Cypher的图数据库扩展，Apache AGE严格遵循Cypher的语法语义，确保熟悉Cypher的用户可以无缝迁移，降低学习成本。
3. 遍历效率：无方向匹配不需要额外过滤边的方向，在需要全关联查询时性能更优。

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