Moving Elements PublicWeb

is virtual reality Von aktiven Datenbanksystemen verspricht man sich eine effektive Integration von Datenbankkonzepten mit dem Regelparadigma. Ihre Stärke liegt darin, Umweltsachverhalte zentralisiert in Form von Regeln zu is virtual reality beschreiben, statt sie in Anwendungsprogrammen zu verhüllen und zu replizieren. Dadurch ist mehr Information explizit und anwendungsunabhängig in der Datenbank zugänglich. Trotz der is virtual reality unbestreitbaren Vorteile sind aktive Datenbankverwaltungsysteme in der Praxis nicht verbreitet. Ein Grund dafür ist die mangelhafte Unterstützung für die Entwicklung von aktiven Anwendungen. is virtual reality Diese Dissertation analysiert typische Bedürfnisse und stellt konzeptionelle und werkzeugbasierte Hilfsmittel für die Unterstützung der Entwicklung von aktiven Anwendungen vor. In erster is virtual reality Linie wird ein umfassender Überblick über den Entwicklungsprozess von aktiven Anwendungen erstellt, mit Schwerpunkt auf die Regelentwicklung. Von den betrachteten Phasen konzentrieren wir uns auf die Verifikation und Validierung, die sich mit kritischen, regelspezifischen Problemen is virtual reality befassen müssen, wie z.B. unvorgesehenen Regelkonflikten. In diesem Zusammenhang wird ein originärer Ansatz für die Terminierungsanalyse vorgestellt, der existierende Arbeiten durch die Einbeziehung von zusammengesetzten Ereignissen erheblich erweitert. Auf diese is virtual reality Weise werden bessere Resultate erzielt, um eine unbeabsichtigte Nichtterminierung der Regelausführung zu vermeiden. Die vorgestellte Lösung ist unentbehrlich für die Terminierungsanalyse ausdrucksmächtiger Regelsprachen, die schon von den meisten fortgeschrittenen aktiven is virtual reality Datenbankverwaltungsystemen angeboten werden. Ein zusätzlicher Beitrag dieser Dissertation wird auf dem Gebiet des Regeltestens erbracht. Es wird ein neuer Ansatz für die Behandlung von is virtual reality regelspezifischen Problemen, die bis jetzt wenig Beachtung fanden, diskutiert. Insbesondere liegt der Schwerpunkt auf der Entdeckung von Software-Fehlern, die von Konflikten und is virtual reality Abhängigkeiten zwischen Regeln verursacht wurden. Abschliessend wird ein Satz an Werkzeugen eingeführt, der den Anwendungsentwickler bei seiner Arbeit unterstützen soll. Es werden is virtual reality graphische Werkzeuge bereitgestellt, die "statische" Aktivitäten wie Edieren, Browsen und Terminierungsanalyse von Regeln, sowie "dynamische" Aktivitäten wie Testen und Fehlerlokalisieren is virtual reality unterstützen. Die statischen Werkzeuge werden bei der Spezifikation und dem Entwurf von aktiven Datenbanksystemen eingesetzt, während die dynamischen Werkzeuge dem Anwendungsentwickler is virtual reality Hilfe zur Laufzeit bieten, d.h. wenn das aktive Datenbanksystem operationell eingesetzt is virtual reality wird und die Regeln verarbeitet werden.