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.