Repair checking in inconsistent databases: algorithms and complexity