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. ...
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 141 p. Informatik-Fachberichte, 248. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 141 p. Informatik-Fachberichte, 248. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
