Search
Results
-
Externe Konsistenzbedingungen
(1987)ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe InformationssystemeDie 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 ...Report