摘要 Abstract
对于查询和输入集或包数据库的鲁棒性问题,其目标是计算从数据库中删除使查询为假的最小事实数量。本文研究了如何计算图数据库上的正则路径查询(RPQ)的鲁棒性。我们的目标是刻画可以从语言 $L$ 构造的存在量词化的RPQ的鲁棒性可计算的语言类 $L$。我们证明了对于由所谓的局部语言定义的所有RPQ,以这种方式计算鲁棒性是易处理的(即使在联合复杂度下)。相比之下,我们展示了对于以下语言类别的RPQ,在数据复杂度下的硬度(通过减少语言以消除冗余单词后):包含含有重复字母单词的所有有限语言,以及包含特定反例的语言(我们称之为四条腿语言)。后者特别包括所有非星自由语言。我们的结果还表明,对于具有所谓中性字母的所有非局部语言,也存在硬度。最后,我们指出了实现完全二分法的一些剩余障碍。
The resilience problem for a query and an input set or bag database is to compute the minimum number of facts to remove from the database to make the query false. In this paper, we study how to compute the resilience of Regular Path Queries (RPQs) over graph databases. Our goal is to characterize the regular languages $L$ for which it is tractable to compute the resilience of the existentially-quantified RPQ built from $L$. We show that computing the resilience in this sense is tractable (even in combined complexity) for all RPQs defined from so-called local languages. By contrast, we show hardness in data complexity for RPQs defined from the following language classes (after reducing the languages to eliminate redundant words): all finite languages featuring a word containing a repeated letter, and all languages featuring a specific kind of counterexample to being local (which we call four-legged languages). The latter include in particular all languages that are not star-free. Our results also imply hardness for all non-local languages with a so-called neutral letter. We last highlight some remaining obstacles towards a full dichotomy.