2000 character limit reached
Measuring and Computing Database Inconsistency via Repairs (1804.08834v3)
Published 24 Apr 2018 in cs.DB, cs.AI, and cs.LO
Abstract: We propose a generic numerical measure of inconsistency of a database with respect to a set of integrity constraints. It is based on an abstract repair semantics. A particular inconsistency measure associated to cardinality-repairs is investigated; and we show that it can be computed via answer-set programs. Keywords: Integrity constraints in databases, inconsistent databases, database repairs, inconsistency measure.