作者: Emanuel Santos , Joao Pavao Martins
DOI: 10.1109/ICCP.2009.5284803
关键词:
摘要: When a database becomes inconsistent is crucial to restore its consistency. In this context, the notions of repair and optimal were introduced. work, we use Argumentation comprehensibly describe show relationship between (inconsistent) information, i.e., conflicts inter-dependencies.We introduce an argumentation framework that provides comprehensive way check constructively prove optimality relational based on locally, semi-globally globally with respect Binary Denial Constraints, Inclusion Dependencies Key-related Integrity Constraint classes.