
Modular Programming Languages
László Böszörményi, Peter Schojer
₹5,618

Grundlagen Der Spezifikation Und Überwachung
Free delivery. Nothing extra to pay at checkout.
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.
Description supplied by the publisher.