Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 Integritätsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so daß jede ausführbare Zustandsfolge zulässig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepaßte Überwachung vor und führt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung.
Similar content being viewed by others
Table of contents (6 chapters)
Authors and Affiliations
Accessibility Information
PDF accessibility summary
This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or descriptions for non-text content (e.g., images and graphs). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at through this accessibility request webform if you require assistance or an alternative format.
Bibliographic Information
Book Title: Dynamische Integrität von Datenbanken
Book Subtitle: Grundlagen der Spezifikation und Überwachung
Authors: Udo W. Lipeck
Series Title: Informatik-Fachberichte
DOI: https://doi.org/10.1007/978-3-642-74754-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1989
Softcover ISBN: 978-3-540-51130-4Published: 26 April 1989
eBook ISBN: 978-3-642-74754-0Published: 12 March 2013
Series ISSN: 0343-3005
Edition Number: 1
Number of Pages: IX, 140
Topics: Database Management, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
