Konsistenzsicherung durch Verwaltung von Konsistenzverletzungen

Zusammenfassung

Konsistenzbedingungen gehören zum konzeptionellen Schema einer Datenbank. Aus dem Datenbank-Grundsatz, dass die Daten von ihren Anwendungen getrennt zu verwalten sind, folgt unmittelbar, dass die Gewährleistung der Datenkonsistenz eine zentrale Aufgabe des Datenbankverwaltungssystems sein muss. Diese Forderung wird in heutigen Systemen erst ansatzweise erfüllt. SoftRDS ist ein Datenbankkern, welcher die Datenkonsistenz durch Speicherung und Verwaltung von Konsistenzverletzungen indirekt gewährleistet. Verletzungen von Konsistenzbedingungen werden nämlich in SoftRDS vorerst beliebig zugelassen, aber zu 100% registriert und nachträglich wenn möglich eliminiert. Dadurch ergibt sich die grösstmögliche Flexibilität für den Benutzer. Ziel des Projektes ist es, Erfahrungen mit solch einem liberalen System zu sammeln, Rückschlüsse auf den Konsistenzbedingungs-Entwurf zu gewinnen und zu zeigen, dass ein solches System trotz seiner hohen Anforderungen softwaremässig einfach und regelmässig gestaltet werden kann.

Abstract

Consistency constraints belong to the conceptual schema of a database. One of the database principles is the separate management of the data and their applications which means that the guaranty of the database consistency must be a central task of the database management system. This postulate is, if at all, only partially respected in today’s systems. SoftRDS is a database kernel which guarantees the data consistency indirectly by tolerating, but completely storing and managing consistency violations. In SoftRDS, violations of consistency constraints are permitted in any order and combination for the time being, but are fully registrated and — if possible — eliminated subsequently. This results in full flexibility for the user in spite of strict consistency control. The goal of the project is to get experience with such a liberal system, to draw conclusions for the design of consistency constraints, and to show that such a system, in spite of its high requirements, can be kept simple and regular as for the underlying software.