ISBN-13: 9783540530770 / Niemiecki / Miękka / 1990 / 149 str.
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemasses Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozessdatenbanken, die ihre Eingabe uber Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwacheren Begriff der Konsistenz einzufuhren. Die in der gegebenen Miniwelt beobachteten Gesetzmassigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene pradikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfullt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rucksetzen der Transaktion, ist keine zufriedenstellende Losung. Das Buch unterbreitet deshalb einen Vorschlag, wie der Benutzer mit detaillierter Information uber die Konsistenzverletzung versorgt werden kann. Hierzu werden neben dem eigentlichen Konsistenztest weitere Komponenten vorgestellt, die eine eingehende Analyse der Inkonsistenz erlauben. Das Ergebnis der Analyse wird dann weiter dazu benutzt, automatische Konsistenzreparaturen zu generieren. Neben den hierzu erforderlichen theoretischen Grundlagen wird eine prototypische Implementierung beschrieben."