9、对等网络数据库系统中的内涵语义查询应答

对等网络数据库系统中的内涵语义查询应答

在对等网络（P2P）数据库系统中，数据的整合和查询应答是非常重要的问题。本文将介绍一种基于内涵等价的形式化框架，用于表示P2P数据库系统中的模式间知识，并详细探讨查询应答的相关内容。

内涵P2P映射的查询应答

• 内涵映射的定义 ：对等节点之间的内涵映射由等价查询对 $(q_i(x), q_j(x))$ 表示，记为 $q_i(x) \approx q_j(x)$。其中，对等节点 $P_i$ 上的合取查询 $q_i(x)$ 和对等节点 $P_j$ 上的合取查询 $q_j(x)$ 在已知答案的意义下是内涵等价的，即 $K_iq_i(x) \approx_{in} K_jq_j(x)$。需要注意的是，对于给定的世界 $w$，关系 $[K_iq_i(x)] {M,g}^{in}(w) \subseteq [K_jq_j(x)] {M,g}^{in}(w)$ 和 $[K_jq_j(x)] {M,g}^{in}(w) \subseteq [K_iq_i(x)] {M,g}^{in}(w)$ 不一定都成立。而且，如果 $\triangle_i$ 和 $\triangle_j$ 分别是对等节点 $P_i$ 和 $P_j$ 的局部全域（局部全域是对等节点局部模式中使用的域的所有值的集合），我们不要求对于任何 $c \in \triangle_i \cup \triangle_j$，句子 $K_iq_i(c)$ 和 $K_jq_j(c)$ 具有相同的真值。
• 命题1 ：考虑一类不包含形式为 $\neg A_1 \vee \cdot