12、使用本体集成和交换 XML 数据

使用本体集成和交换 XML 数据

1. 查询定义与安全性

在查询定义中， ans(X) 是查询的头部，记为 headq ，其余部分是查询的主体，记为 bodyq 。当 X ⊆ X1 ∪... ∪ Xn 时，我们称该查询是安全的。

查询 q 在数据库 D 上的答案 qD 是对 q 在 D 上进行评估的结果。查询评估基于估值的概念，并且依赖于所使用的数据模型和查询语言。

• XML 模型 ：对于形式为 ans(X) :- p1(X1), ..., pn(Xn) 的 c - XQuery q ，在 XML 实例图 D 上，有 qD = {ρ(X)|ρ 是对 var(q) 的估值，并且对于每个 Xi = (xi, x′i) ， pi = (ρ(xi), ρ(x′i)) 是 D 中的一个事实，其中 i ∈ [1..n]}`。
• RDF 模型 ：对于形式为 ans(X) :- p1(X1), ..., pn(Xn) 的 c - RQL 查询 q ，在 RD