\"Uberpr\"ufung von Integrit\"atsbedingungen in Deduktiven Datenbanken