  Consistency of knowledge repositories is of prime importance in organization
management. Integrity constraints are a well-known vehicle for specifying data
consistency requirements in knowledge bases; in particular, active integrity
constraints go one step further, allowing the specification of preferred ways
to overcome inconsistent situations in the context of database management. This
paper describes a tool to validate an SQL database with respect to a given set
of active integrity constraints, proposing possible repairs in case the
database is inconsistent. The tool is able to work with the different kinds of
repairs proposed in the literature, namely simple, founded, well-founded and
justified repairs. It also implements strategies for parallelizing the search
for them, allowing the user both to compute partitions of independent or
stratified active integrity constraints, and to apply these partitions to find
repairs of inconsistent databases efficiently in parallel.
