匹配计算语句¶

匹配计算语句用于在临时图上执行迭代计算。它允许匹配特定的图模式，然后在匹配的子图上执行计算或更新操作。

Note

匹配计算不同于普通 MATCH 查询：普通MATCH用于检索数据并通常通过RETURN返回结果；匹配计算使用PER PATH或PER NODE对匹配到的路径或点执行计算，并且只能在临时图上运行。

前提条件¶

已创建临时图。更多信息，请参见 CREATE TEMPORARY GRAPH。
已导入数据。更多信息，请参见 IMPORT 。

语法¶

语法图源码

match_compute_statement
per_block
active_set_operation

match_compute_statement ::=
    'MATCH' graph_pattern (( per_block active_set_operation? ) | active_set_operation) 

per_block ::=
    ( ('PER PATH' '{' procedure_body '}') ( 'PER NODE' '(' node_variable ')' '{' procedure_body '}' )* )
    | ('PER NODE' '(' node_variable ')' '{' procedure_body '}')+

active_set_operation ::=
    'FINALLY' '{' ('SET' active_set_variable ('=' | '|=') node_variable)+ '}'

参数¶

`graph_pattern`¶

匹配计算语句中的图模式。仅支持 0 跳（例如(a)）和 1 跳（例如(a)-[e]->(b)）的图模式。不支持match_mode和path_mode_prefix。

在graph_pattern中，可以指定WHERE子句将待遍历的点的范围限制为活动集变量中的点。

例如，(a)-[e]->(b) WHERE a IN active_set_variable AND a.id > 10匹配模式(a)-[e]->(b)，其中a必须是活动集变量active_set_variable中的点且其id大于 10。

注意在每个图模式中，不管有多少个点变量，只允许一个活动集变量对一个点变量施加限制。例如，以下图模式均无效：

(a) WHERE a IN active_set_1 AND a IN active_set_2
(a)-[e]->(b) WHERE a IN active_set_1 AND b IN active_set_2
(a)-[e]->(b) WHERE a IN active_set_1 AND b IN active_set_1

`per_block`¶

per_block子句，用于为MATCH graph_pattern结果集中的每条路径或每个点执行一组语句。per_block子句有两种类型：PER PATH和PER NODE。

对于在match_compute_statement外部定义的非聚合值变量（比如原始值变量和活动集变量），不能在per_block内部执行赋值（=）操作更新它们的值。例如，以下代码无效：

'''
// `#match_compute_movie`为基于`movie`示例数据集创建的临时图
// 详情见下文示例。
USE #match_compute_movie { 
  VALUE x = 1 
  MATCH (a) 
  PER NODE (a) { 
    SET x = 2 // 无效 
  } 
}
'''

但是，对于全局聚合值变量，可以在per_block内部执行聚合（+=）操作，但不能执行赋值操作（=）为它们赋值。例如：

'''
USE #match_compute_movie { 
  VALUE global_sum SumAgg<INT> = 0 
  SET @global_sum = 1  // 有效 

  MATCH (a) 
  PER NODE (a) { 
    SET @global_sum += 1  // 有效 
    SET @global_sum = 1   // 无效 
  } 
}
'''

对于点绑定聚合值变量，可以在PER PATH子句中执行聚合操作，但不能执行赋值操作。然而，可以在PER NODE子句中为每个点执行聚合和赋值操作。例如：

'''
USE #match_compute_movie { 
  NODE VALUE node_sum SumAgg<INT> = 0 
  MATCH (a)-[e]->(b) 
  PER PATH { 
    SET a.@node_sum += 1  // 有效 
    SET a.@node_sum = 0   // 无效 
  } 
  PER NODE (a) { 
    SET a.@node_sum += 0   // 有效 
    SET a.@node_sum = 1   // 有效 
  } 
}
'''

根据上述描述，下表总结了不同类型的变量在per_block中的使用限制：

变量类型	在`PER PATH`中的限制	在`PER NODE`中的限制
在`match_compute_statement`外部定义的非聚合值变量	❌ 禁止赋值操作 (`=`) ❌ 禁止聚合操作 (`+=`)	❌ 禁止赋值操作 (`=`) ❌ 禁止聚合操作 (`+=`)
全局聚合值变量	✅ 允许聚合操作 (`+=`) ❌ 禁止赋值语句 (`=`)	✅ 允许聚合操作 (`+=`) ❌ 禁止赋值语句 (`=`)
点绑定聚合值变量	✅ 允许聚合操作 (`+=`) ❌ 禁止赋值语句 (`=`)	✅ 允许聚合操作 (`+=`) ✅ 允许赋值操作 (`=`)

`PER PATH`¶

该子句为MATCH graph_pattern结果集中的每条路径执行过程体（procedure_body）内语句。

注意：PER PATH不能和 0 跳图模式一起使用。

`PER NODE`¶

该子句为MATCH graph_pattern结果集中每个由node_variable指定的点执行过程体（procedure_body）内语句。

此时，通常使用点绑定聚合值变量来存储和操作每个点特定的值。

`procedure_body`¶

要执行的一组语句。注意，在per_block的过程体中只允许以下操作和语句：

在PER NODE和PER PATH块内，不支持以下语句：

RETURN、LIMIT、ORDER BY、GROUP BY等查询级子句。
MATCH、子查询、局部TABLE定义等通用查询语句。

`node_variable`¶

引用点的变量值表达式。node_variable必须在graph_pattern中已定义。

`active_set_operation`¶

FINALLY子句，其使用node_variable指定的点更新active_set_variable中的点。该子句可动态更新一个或多个活动集以便进一步计算。

active_set_operation有两种更新模式：=和|=：

=模式将active_set_variable当前持有的点集替换为node_variable指定的点集。
|=模式将node_variable指定的点集添加到active_set_variable当前持有的点集中。

`active_set_variable`¶

存储一组点的活动集变量。更多信息，请参见活动集变量。