Inkonsistenzen in deduktiven Datenbanken

Name: Inkonsistenzen in deduktiven Datenbanken
Brand: Springer Nature
SKU: 9783540530770
Availability: InStock

Inkonsistenzen in deduktiven Datenbanken

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540530770

Condition

New

0 Reviews

0 Questions | 0 Answers

Product Description

Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozedatenbanken, die ihre Eingabe ber Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwcheren Begriff der Konsistenz einzufhren. Die in der gegebenen Miniwelt beobachteten Gesetzmigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene prdikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfllt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rcksetzen der Transaktion, ist keine zufriedenstellende Lsung. 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.

Available Colors

N/A

Available Sizes

N/A

1 Offer Price Range: $54.99 - $54.99

BEST PRICE

Single Product Purchase

$54.99

@ Link.springer.com BUY Now

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com Rate Seller This functionality is for registered users only. Go to Login/Register		$54.99	$54.99			$54.99		See Site	In stock	Visit Store