.png){kind=icon}
返回
Active Integrity Constraints for Database Consistency Maintenance
.png){kind=icon}
PRE
AI
DOI：10.1109/TKDE.2008.226.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper introduces active integrity constraints (AICs), an extension of integrity constraints for consistent database maintenance. An active integrity constraint is a special constraint whose body contains a conjunction of literals which must be false and whose head contains a disjunction of update actions representing actions (insertions and deletions of tuples) to be performed if the constraint is not satisfied (that is its body is true). The AICs work in a domino-like manner as the satisfaction of one AIC may trigger the violation and therefore the activation of another one. The paper also introduces founded repairs, which are minimal sets of update actions that make the database consistent, and are specified and supported by active integrity constraints. The paper presents: 1) a formal declarative semantics allowing the computation of founded repairs and 2) a characterization of this semantics obtained by rewriting active integrity constraints into disjunctive logic rules, so that founded repairs can be derived from the answer sets of the derived logic program. Finally, the paper studies the computational complexity of computing founded repairs.
Keyword:
Database semantics
inconsistent databases
database repairs
consistent query answering
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
10.4
论文数:
6.8K
被引数:
3.2W
机构
引用论文
分享收藏Students' perception of a wiki platform and the impact of wiki engagement on intercultural communication.png)
System
SystemIF0
PREAI
分享收藏Curvilinear features in the southern hemisphere observed by Mars Global Surveyor Mars Orbiter CameraIcarus
IcarusIF0
PREAI
分享收藏
查看更多内容