Band 248
Inkonsistenzen in deduktiven Datenbanken Diagnose und Reparatur
Aus der Reihe
Informatik-Fachberichte
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
Fr. 74.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
10.10.1990
Verlag
Springer BerlinSeitenzahl
141
Maße (L/B/H)
24.2/17/0.9 cm
Gewicht
290 g
Sprache
Deutsch
ISBN
978-3-540-53077-0
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemässes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozessdatenbanken, die ihre Eingabe über Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwächeren Begriff der Konsistenz einzuführen. Die in der gegebenen Miniwelt beobachteten Gesetzmässigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene prädikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfüllt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rücksetzen der Transaktion, ist keine zufriedenstellende Lösung. Das Buch unterbreitet deshalb einen Vorschlag, wie der Benutzer mit detaillierter Information über 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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.