.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Dynamische Integritat von Datenbanken
Udo Walter Lipeck
€ 82.40
FREE Delivery in Ireland
Description for Dynamische Integritat von Datenbanken
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 149 pages, black & white illustrations, bibliography. BIC Classification: UM; UN; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 8. Weight in Grams: 285.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1989
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Language
German
Number of pages
149
Condition
New
Series
Informatik-Fachberichte / Subreihe Kunstliche Intelligenz
Number of Pages
140
Place of Publication
Berlin, Germany
ISBN
9783540511304
SKU
V9783540511304
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Dynamische Integritat von Datenbanken