当前位置: X-MOL 学术J. Comput. Syst. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Counting subset repairs with functional dependencies
Journal of Computer and System Sciences ( IF 1.1 ) Pub Date : 2020-11-26 , DOI: 10.1016/j.jcss.2020.10.001
Ester Livshits , Benny Kimelfeld , Jef Wijsen

We study the problem of counting the repairs of an inconsistent database in the case where constraints are Functional Dependencies (FDs). A repair is then a maximal independent set of the conflict graph, wherein nodes represent facts and edges represent violations. We establish a dichotomy in data complexity for the complete space of FDs: when the FD set has, up to equivalence, what we call a “left-hand-side chain,” the repairs can be counted in polynomial time; otherwise, the problem is P-complete. Moreover, the property of having a left-hand-side chain up to equivalence coincides with the condition that the conflict graph of every inconsistent database for the schema is P4-free, and it is polynomial-time decidable.



中文翻译:

计算具有功能依赖性的子集修复

我们研究了在约束为功能依赖关系(FD)的情况下计算不一致数据库的修复次数的问题。因此,修复是冲突图的最大独立集合,其中节点代表事实,边缘代表违规。我们为FD的整个空间建立了数据复杂度的二分法:当FD集具有等价的所谓的“左手链”时,修复次数可以用多项式计算;否则,问题是P-完成。此外,具有等价的左侧链的属性与以下条件一致:该模式的每个不一致数据库的冲突图为P4-free,并且可以确定多项式时间。

更新日期:2020-12-02
down
wechat
bug