32、规范模型的合成与依赖类解析

规范模型的合成与依赖类解析

1. Datalog± 家族可判定依赖类概述

Datalog± 家族定义了一系列可判定的依赖模板集合类。其研究动机是将数据库中数据集成和交换的研究成果应用到语义网领域，目的是为比 DL - Lite 家族描述逻辑更通用的语言提供可处理的查询回答算法。下面简要介绍 Datalog± 家族的依赖类。

1.1 受保护和线性类

• 受保护的 TGDs（GC） ：这是一类 TGDs，相对于此类，查询回答在数据复杂度上是可判定且易处理的。一个 TGD σ 是受保护的，当且仅当它的体中包含一个原子（保护原子），该原子包含 σ 的所有全称量化变量。
  • 示例：TGD r(X, Y), s(Y, X, Z) → ∃W s(Z, X, W) 是受保护的（通过保护原子 s(Y, X, Z)），而 TGD r(X, Y), r(Y, Z) → r(X, Z) 不是受保护的。
• 线性 TGDs（LC） ：是受保护类的子集，在数据复杂度上，查询回答甚至可以进行一阶重写（可简化为在关系数据库上评估一阶查询）。一个 TGD 是线性的，当且仅当它的体中只有一个原子。线性 Datalog± 推广了著名的包含依赖类，并且更具表达力。
  • 示例：线性 TGD supervises(X, X) → manager(X) 表明每个监督自己的人是经理，这不能用包含依赖表达。
• 多线性 TGDs（MLC） ：是线性 TG