| 書目名稱 | Dynamische Integrit?t von Datenbanken |
| 副標(biāo)題 | Grundlagen der Spezi |
| 編輯 | Udo W. Lipeck |
| 視頻video | http://file.papertrans.cn/285/284296/284296.mp4 |
| 叢書名稱 | Informatik-Fachberichte |
| 圖書封面 |  |
| 描述 | Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzust?nden zul?ssig sind, gibt man dynamische Integrit?tsbedingungen an. Komplement?r dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausführbaren Zustandsfolgen. Diese Monographie stellt zwei Ans?tze zur überwachung der dynamischen Integrit?t von Datenbanken vor. Es werden theoretische und algorithmische Grundlagen sowie die beim Datenbank-Entwurf erforderlichen Vorbereitungen behandelt. Die Verfahren werden anhand eines durchlaufenden Standardbeispiels demonstriert. Spezifiziert werden Integrit?tsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen; die Semantik dieser Kalküle wird im Buch eingeführt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zul?ssigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Prüfungen zurückführt. Andererseits kann man anhand der Graphen |
| 出版日期 | Book 1989 |
| 關(guān)鍵詞 | Ableitung; Algorithmen; Datenbank; Datenbanken; Datenbanksystem; Logik; Semantik; Transaktionen |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-74754-0 |
| isbn_softcover | 978-3-540-51130-4 |
| isbn_ebook | 978-3-642-74754-0Series ISSN 0343-3005 |
| issn_series | 0343-3005 |
| copyright | Springer-Verlag Berlin Heidelberg 1989 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-11-1 21:28
發(fā)表于 2025-3-21 17:38:40
