事实是否与查询相关？这多难

我们考虑以下基本问题：给定数据库 D、布尔型 conjunctive 查询 (CQ) q 和 fact f in D，决定 f 是否与 q 在 D 下相关，即 f 是否属于使得 S |= q 的 D 的最小子集 S。尽管查询相关性已被证明比查询评估更困难：具体而言，对于 CQ，相关性是 Σ^p_2-完整的，即使在二进制签名下也如此。我们进一步观察到，即使在（无环）链式 CQ 上也适用 NP-hardness。我们的工作识别出自连接（多个原子具有相同关系）为问题难以处理的根源。事实上，我们证明，如果禁止或限制自连接的出现，则相关性与查询评估具有相同的复杂度，即在无结构限制下为 NP，或在受限超树宽类中为 LogCFL。在本体设置下，我们为由 CQ 和 DL-Lite_R 本体构成的本体中介查询建立了类似结果，指出只要限制交互宽度（这既概括了自连接宽度，也概括了最近引入的'交互自由'条件），则相关性不会比查询更难。我们的结果因而揭示了什么使得相关性比查询评估更困难，并识别出高效计算相关性的自然查询类。