Skip to main content
SpringerLink
Log in

Inkonsistenzen in deduktiven Datenbanken

Diagnose und Reparatur

  • Book
  • © 1990

Overview

Authors:
  1. Guido Moerkotte

    1. Universität Karlsruhe, Karlsruhe 1, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 248)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Einführung

    • Guido Moerkotte
    Pages 1-5

  3. Logik

    • Guido Moerkotte
    Pages 7-15

  4. Datenbasis

    • Guido Moerkotte
    Pages 17-46

  5. Algorithmen

    • Guido Moerkotte
    Pages 47-102

  6. Von Grundkandidaten zu Grundmöglichkeiten

    • Guido Moerkotte
    Pages 103-110

  7. Prototypische Implementierung

    • Guido Moerkotte
    Pages 111-124

  8. Schlußbemerkungen

    • Guido Moerkotte
    Pages 125-133

  9. Back Matter

    Pages 135-141
    Download chapter PDF
Back to top

Keywords

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.

Authors and Affiliations

  • Universität Karlsruhe, Karlsruhe 1, Germany

    Guido Moerkotte

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation