Dynamische Integritt von Datenbanken (Paperback)

Sprache: Deutsch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989

354051130X / 9783540511304

Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Juni 2007

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 88,41

EUR 31,66 Versand 
Versand von Australien nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Artikelbeschreibung vom Verkäufer

Paperback. 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 Datenbankzustaenden zulaessig sind, gibt man dynamische Integritaetsbedingungen an. Komplementaer dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausfuehrbaren Zustandsfolgen. Diese Monographie stellt zwei Ansaetze zur UEberwachung der dynamischen Integritaet 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 Integritaetsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen; die Semantik dieser Kalkuele wird im Buch eingefuehrt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulaessigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Pruefungen zurueckfuehrt. Andererseits kann man anhand der Graphen Integritaetsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so dass jede ausfuehrbare Zustandsfolge zulaessig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepasste UEberwachung vor und fuehrt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung. Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Pruefungen zurueckfuehrt. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Bestandsnummer des Verkäufers 9783540511304

Titel
Dynamische Integritt von Datenbanken (Paperback)
Autor
Udo W. Lipeck
Verlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Veröffentlichungsjahr
1989
Zustand
new
Einband
Paperback
Sprache
Deutsch
ISBN-10
354051130X
ISBN-13
9783540511304

AussieBookSeller

Truganina, VIC, Australien

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Juni 2007

Versandkosten von Australien nach USA

Artikel25 bis 45 Werktage8 bis 14 Werktage
Erster ArtikelEUR 31,66EUR 37,65
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australien 3029