Save today: Get 40% off titles in Popular Science!

Informatik-Fachberichte

Inkonsistenzen in deduktiven Datenbanken

Diagnose und Reparatur

Authors: Moerkotte, Guido

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-642-84278-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
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)

Table of contents (7 chapters)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-642-84278-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Inkonsistenzen in deduktiven Datenbanken
Book Subtitle
Diagnose und Reparatur
Authors
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