Dynamische Integritt von Datenbanken (Paperback)

Lingua: tedesco

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

354051130X / 9783540511304

Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

Venditore con 5 stelle

Venditore AbeBooks dal 22 giugno 2007

Brossura

Condizione: Nuovo

EUR 86,74

EUR 33,04 spedizione 
Spedito da Australia a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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.…

Codice articolo 9783540511304

Titolo
Dynamische Integritt von Datenbanken (Paperback)
Autore
Udo W. Lipeck
Editore
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Anno di pubblicazione
1989
Condizione
new
Rilegatura
Paperback
Lingua
tedesco
ISBN 10
354051130X
ISBN 13
9783540511304

AussieBookSeller

Truganina, VIC, Australia

Venditore con 5 stelle

Venditore AbeBooks dal 22 giugno 2007

Tariffe di spedizione da Australia a U.S.A.

ArticoloDa 25 a 45 giorni lavorativiDa 8 a 14 giorni lavorativi
Primo articoloEUR 33,04EUR 39,28
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Informazioni sull’azienda del venditore

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029