Willkommen, schön sind Sie da!
Logo Ex Libris

Inkonsistenzen in deduktiven Datenbanken

  • Kartonierter Einband
  • 152 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme v... Weiterlesen
20%
75.00 CHF 60.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.

Beschreibung

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.

Inhalt

1 Einführung.- 2 Logik.- 2.1 Syntax.- 2.2 Semantik.- 3 Datenbasis.- 3.1 Datenbasen und Transaktionen.- 3.2 Ursache, Grund und Reparatur von Inkonsistenzen.- 4 Algorithmen.- 4.1 Gesamtüberblick und Spezifikation.- 4.2 Anfragebearbeitung.- 4.2.1 Einleitung.- 4.2.2 Einführung in den Algorithmus.- 4.2.3 Formalisierung des Algorithmus.- 4.3 Allgemeine Instantiierung.- 4.4 Transaktionsorientierte Instantiierung.- 4.4.1 Auswertung der existierenden Verfahren.- 4.4.2 Entwicklung des Verfahrens.- 4.4.3 Demonstration der Leistungsfähigkeit.- 4.4.4 ?-Anfragen.- 4.5 Test von Konsistenzbedingungen.- 4.5.1 Algorithmisierung des Konsistenztests.- 4.5.2 Die Protokollierung.- 4.6 Extraktion der Grundkandidaten.- 5 Von Grundkandidaten zu Grundmöglichkeiten.- 5.1 Ein anderer Schluß aus einem Systemversagen.- 5.2 Reduktion.- 5.3 Iteration.- 5.4 Eleganz einer Reparatur.- 6 Prototypische Implementierung.- 6.1 SKM.- 6.2 Beispiel.- 6.3 Die Dialogkomponente.- 6.4 Leistungsverhalten.- 7 Schlußbemerkungen.- 7.1 Zusammenfassung.- 7.2 Übertragbarkeit der Ergebnisse.- 7.3 Ausblick.

Produktinformationen

Titel: Inkonsistenzen in deduktiven Datenbanken
Untertitel: Diagnose und Reparatur
Autor:
EAN: 9783540530770
ISBN: 978-3-540-53077-0
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 152
Gewicht: 277g
Größe: H247mm x B174mm x T14mm
Jahr: 1990

Weitere Produkte aus der Reihe "Informatik-Fachberichte"