Inkonsistenzen in deduktiven Datenbanken
Diagnose und Reparatur
Authors: Moerkotte, Guido
Free PreviewBuy this book
- About this book
-
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozeßdatenbanken, 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äßigkeiten 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.
- Table of contents (7 chapters)
-
-
Einführung
Pages 1-5
-
Logik
Pages 7-15
-
Datenbasis
Pages 17-46
-
Algorithmen
Pages 47-102
-
Von Grundkandidaten zu Grundmöglichkeiten
Pages 103-110
-
Table of contents (7 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Inkonsistenzen in deduktiven Datenbanken
- Book Subtitle
- Diagnose und Reparatur
- Authors
-
- Guido Moerkotte
- Series Title
- Informatik-Fachberichte
- Series Volume
- 248
- Copyright
- 1990
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-84278-8
- DOI
- 10.1007/978-3-642-84278-8
- Softcover ISBN
- 978-3-540-53077-0
- Series ISSN
- 0343-3005
- Edition Number
- 1
- Number of Pages
- VIII, 141
- Topics
