Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Dynamische Integrität von Datenbanken - 10 Angebote vergleichen
Bester Preis: € 2,51 (vom 07.08.2019)Dynamische Integrität von Datenbanken (1989)
ISBN: 9783540511304 bzw. 354051130X, in Deutsch, Springer Apr 1989, Taschenbuch, neu, Nachdruck.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 140 pp. Deutsch.
Dynamische Integrität von Datenbanken
ISBN: 9783642747540 bzw. 364274754X, vermutlich in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
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. eBook.
Dynamische Integrit
ISBN: 9783540511304 bzw. 354051130X, in Deutsch, Springer, Taschenbuch, neu.
Paperback. 140 pages. Dimensions: 9.6in. x 6.7in. x 0.4in.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 Datenbankzustnden zulssig sind, gibt man dynamische Integrittsbedingungen an. Komplementr dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausfhrbaren Zustandsfolgen. Diese Monographie stellt zwei Anstze zur berwachung der dynamischen Integritt 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 Integrittsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-Nachbedingungen; die Semantik dieser Kalkle wird im Buch eingefhrt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulssigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Prfungen zurckfhrt. Andererseits kann man anhand der Graphen Integrittsbedingungen systematisch in Vor-Nachbedingungen von Transaktionen transformieren, so da jede ausfhrbare Zustandsfolge zulssig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepate berwachung vor und fhrt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Dynamische Integrität von Datenbanken : Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte (1989)
ISBN: 9783540511304 bzw. 354051130X, vermutlich in Deutsch, Berlin , Heidelberg , New York , London , Paris , Tokyo : Springer, Taschenbuch, gebraucht, guter Zustand.
VI, 140 S. : graph. Darst. , 25 cm Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping worldwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550, Books.
Dynamische Integritat von Datenbanken - Grundlagen der Spezifikation und Uberwachung
ISBN: 9783642747540 bzw. 364274754X, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Dynamische Integritat von Datenbanken: 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 Datenbankzustanden zulassig sind, gibt man dynamische Integritatsbedingungen an. Komplementar dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausfuhrbaren Zustandsfolgen. Diese Monographie stellt zwei Ansatze zur Uberwachung der dynamischen Integritat 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 Integritatsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen die Semantik dieser Kalkule wird im Buch eingefuhrt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulassigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Prufungen zuruckfuhrt. Andererseits kann man anhand der Graphen Integritatsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so da jede ausfuhrbare Zustandsfolge zulassig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepate Uberwachung vor und fuhrt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung. Ebook.
Dynamische Integrität von Datenbanken : Grundlagen der Spezifikation und Überwachung. Informatik-Fachberichte (1989)
ISBN: 354051130X bzw. 9783540511304, in Deutsch, Berlin , Heidelberg , New York , London , Paris , Tokyo : Springer, gebraucht, guter Zustand.
kart. VI, 140 S. : graph. Darst. , 25 cm Kartoniert Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping worldwide with invoice / ex library / Datenbankentwurf, gebraucht; gut, 2014-09-19.
Dynamische IntegritÇÏt von Datenbanken. Grundlagen der Spezifikation und Ç?berwachung (1989)
ISBN: 9783540511304 bzw. 354051130X, in Deutsch, Springer, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Dynamische IntegritÇÏt von Datenbanken. Grundlagen der Spezifikation und Ç?berwachung (1989)
ISBN: 9783540511304 bzw. 354051130X, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Taschenbuch, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1989, Studio: Springer.
Dynamische Integrität von Datenbanken
ISBN: 9783642747540 bzw. 364274754X, in Deutsch, Springer Nature, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen