| 书目名称 | Dynamische Integrität von Datenbanken | | 副标题 | Grundlagen der Spezi | | 编辑 | Udo W. Lipeck | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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 |
The information of publication is updating
|
|
发表于 2025-3-21 17:38:40
