Title: Anwendung temporaler Logiken zur Überwachung dynamischer Integritätsbedingungen von Datenbanken