10、开放式Cypher引擎的模型驱动工程：原理与实践

开放式Cypher引擎的模型驱动工程：原理与实践

1. 关系图代数基础

在关系图代数中，有几个重要的概念和运算符。首先，介绍了笛卡尔积和自然连接运算符的单位元，同时引入了 Singular，它表示空关系 {}，是笛卡尔积和自然连接运算符的零元。

• 一元运算符 ：

  • 投影运算符（π） ：用于保留关系中指定的属性集，例如 πA1,…,An (r)。它还可以重命名属性，如 πx1→x2 (r) 将 x1 重命名为 x2。需要注意的是，元组不会去重，结果中的元组数量与输入关系 r 相同。
  • 去重运算符（δ） ：由于关系图代数操作的是多重集，该运算符用于去除重复的元组。它接收一个元组的多重集作为输入，进行去重操作后返回一个元组集合。
  • 选择运算符（σ） ：根据某些条件过滤传入的关系，如 σθ (r)，其中谓词 θ 是一个命题公式，该运算符会选择 r 中所有满足 θ 的元组。
  • 扩展运算符 ：包括向外扩展运算符（↑）、向内扩展运算符（↓）和双向扩展运算符（↕）。以向外扩展运算符为例，↑(w:l1∧…∧ln)(v)[e : t1 ∨… ∨tk] (r) 会在每个元组中添加新的属性 e 和 w，如果存在从 v 到 w 的外向边 e，且 e 具有类型 t1, …, tk 中的任意一种，同时 w 具有所有标签 l1, …, ln。扩展运算符还有一个扩展版本，如 ↑(w)(v) [e∗max min