Inkonsistenzen in deduktiven Datenbanken