Erweiterte ECA-Regeln für verteilte aktive Datenbanksysteme

Abstract

Zentrale ECA-Regeln wurden für zentrale aktive Datenbanksysteme entwickelt. In verteilten aktiven Datenbanksystemen tritt zusätzlich das Prob-lem der Unerreichbarkeit von Teilsystemen auf und damit die Unentscheidbarkeit von ECA-Bedingungen, die sich auf entfernte Systeme beziehen. In diesem Papier wird daher eine entsprechende Erweiterung der ECA-Regeln für verteilte aktive Datenbanksysteme vorgeschlagen, um auch bei Unerreichbarkeit und Unentscheidbarkeit der ECA-Bedingungen reagieren zu können. Dazu wird zunächst die ECA-Auswertung zu einer strikten Funktion mit dem Unerreichbar-keitszustand Ω erweitert und dann die ECA-Regeln um Alternative Aktionen AA angereichert. Der Einsatz und Vorteil dieser erweiterten ECA-Regeln wird am Beispiel der Erhaltung der Datenkonsistenz in verteilten aktiven Datenbank-systemen gezeigt.