Externe Konsistenzbedingungen: Formulierung und Überwachung

Abstract

Die Ueberwachung der Konsistenz eines Datenbestandes (innere Widerspruchsfreiheit) ist eine wichtige Aufgabe moderner kommerzieller Datenverwaltungssysteme. Die Codierung der meisten Konsistenzprüfungen erfolgt heute manuell in den Anwendungsprogrammen, was aufwendig und fehleranfällig ist. Eine Sprache zur deskriptiven Formulierung von Konsistenzbedingungen ist deshalb ein dringendes Bedürfnis. Dieser Bericht beschreibt eine solche Sprache sowie Verfahren zur automatischen Ueberwachung der damit formulierten Konsistenzbedingungen.