58、基于成本驱动的本体数据访问技术解析

基于成本驱动的本体数据访问技术解析

1. 翻译与查询转换

在处理JUCQ查询时，根据定义可进行一系列的转换操作。首先，对于JUCQ查询 q(x, y, z) ← q|f1(x, y), q|f2(x, z) ，可将其重写为辅助查询 qaux(x, y, z) = Aux 1(x, y), Aux 2(x, z) ，对应的映射为 Maux ：

Maux = {
  Aux 1(x, y) ⇝ U1(x, y),
  Aux 2(x, z) ⇝ U2(x, z)
}

其中， U1 是 unf (q|f1(x, y), M) 的视图名， U2 是 unf (q|f2(x, z), M) 的视图名。具体的程序规则如下：

Π1 = {
  U1(f(a), g(b)) ← V1(a, b), V4(a),
  U1(f(a), g(b)) ← V2(a, b), V4(a)
}
Π2 = {
  U2(f(a), k(b)) ← V5(a, b),
  U2(f(a), h(b)) ← V6(a, b)
}

接着，根据定义计算 Maux 的拆分和包装：
- 拆分 ：