Inkonsistenzen in deduktiven Datenbanken. Diagnose und Reparatur