21、概率链接上的排名查询与子图概率计算

概率链接上的排名查询与子图概率计算

在处理概率链接模型中的概率阈值top - k查询时，由于元组之间存在依赖关系，传统的查询回答技术不能直接应用。下面将详细介绍相关的处理技术和计算方法。

1. 谓词处理

在回答top - k选择查询$Q_{k}^{P,f}$时，首先要处理查询谓词$P$。对于概率链接，谓词处理技术与独立不确定对象的处理技术不同。

在独立不确定对象的处理中，给定不确定表$T$和top - k选择查询$Q_{k}^{P,f}$，可以将查询谓词$P$作为预处理，选择所有满足查询谓词的元组$P(T) = {t|t \in T \land P(t) = true}$，然后将回答PT - k查询的问题转化为在$P(T)$中找到top - k概率值超过概率阈值的元组。

但在概率链接模型中，由于存在依赖关系，这种预处理方法并不适用。例如，对于图中的链接，假设谓词$P$选择链接${l_1,l_3,l_4,l_6,l_7}$，$l_2$和$l_5$不满足谓词$P$。若采用独立对象的预处理方法，移除不满足$P$的顶点$v_2$和$v_5$，移除$v_5$会使$C_3$和$C_2$中的顶点断开连接，破坏顶点间的依赖关系；而移除$v_2$不会改变顶点间的依赖关系，不影响查询结果。

在PME图$G = (V,E)$中，顶点$v$对应一个链接$l$，团$C$对应一个元组$t$。顶点$v$的top - k概率为$Pr_k(v) = Pr_k(l)$，团$C$的top - k概率为$Pr_k(C) = Pr_k(t)$。PME图$G$中的顶点分为两类：
- 私有顶点：只属于一个团，如${v_1,v_2,v_4,v_6,v_7}$。
- 联