| 書目名稱 | Inkonsistenzen in deduktiven Datenbanken | | 副標(biāo)題 | Diagnose und Reparat | | 編輯 | Guido Moerkotte | | 視頻video | http://file.papertrans.cn/467/466566/466566.mp4 | | 叢書名稱 | Informatik-Fachberichte | | 圖書封面 |  | | 描述 | 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 pr | | 出版日期 | Book 1990 | | 關(guān)鍵詞 | Datenbank; Datenbank-Management; Deduktive Datenbanken; Konsistenz; Leistung; Logisches Programmieren; Tra | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-84278-8 | | isbn_softcover | 978-3-540-53077-0 | | isbn_ebook | 978-3-642-84278-8Series ISSN 0343-3005 | | issn_series | 0343-3005 | | copyright | Springer-Verlag Berlin Heidelberg 1990 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-2-5 14:39
發(fā)表于 2025-3-21 16:08:29
