Informatik-Fachberichte

Dynamische Integrität von Datenbanken

Grundlagen der Spezifikation und Überwachung

Authors: Lipeck, Udo W.

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-642-74754-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $69.99
price for USA in USD
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.

Table of contents (6 chapters)

Table of contents (6 chapters)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-642-74754-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $69.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Dynamische Integrität von Datenbanken
Book Subtitle
Grundlagen der Spezifikation und Überwachung
Authors
Series Title
Informatik-Fachberichte
Series Volume
209
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-74754-0
DOI
10.1007/978-3-642-74754-0
Softcover ISBN
978-3-540-51130-4
Series ISSN
0343-3005
Edition Number
1
Number of Pages
IX, 140
Topics