Externe Konsistenzbedingungen
Formulierung und Überwachung
OPEN ACCESS
Author / Producer
Date
1987-10
Publication Type
Report
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
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.
Permanent link
Publication status
published
External links
Editor
Book title
Volume
83
Pages / Article No.
Publisher
Institut für Informatik, ETH
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
DATABASE MANAGEMENT SYSTEMS (INFORMATION SYSTEMS); DATABASE MANAGEMENT + DATABASE ADMINISTRATION (INFORMATION SYSTEMS); DATENBANKVERWALTUNGSSYSTEME (INFORMATIONSSYSTEME); DATENBANKVERWALTUNG + DATENBANKADMINISTRATION (INFORMATIONSSYSTEME)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science