An argumentation framework for optimal repair checking

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