Specification and Prototypical Execution of Integrity Concepts for Domain-Specific Database Management Systems,

Studien zur Datenbankforschung, Band 3 200 pages. Die Datenqualität ist ein kritischer Erfolgsfaktor in der Informationsverarbeitung. Komponenten in Datenbankver-waltungssystemen (DBVSen), die es dem Anwendungsentwickler erlauben, Integritätsbedingungen zu definieren und die Konzepte für deren Ãberwachung anbieten, tragen entscheidend zur Sicherung der Qualität von gespeicherten Daten bei. In dieser Studie untersuchen wir den Problemkreis, wie solche Komponenten kostengünstiger konstruierbar sind, als wenn sie wie bisher jeweils von Grunde auf neu implementiert werden (oder bisherige Ansätze zur Konstruktion von DBVSen benutzt werden) - ohne die Wiederverwendbarkeit von Teilen von Analyse, Entwurf und Implementierung speziell zu beachten. Dieser Problemkreis der DBVS-Konstruktion ist insbesondere unter der Annahme relevant, dass in Zukunft die Zahl der DBVS-Konstruktionsverfahren aufgrund der zunehmend divergierenden Anforderungen an DBVSe aus den verschiedenen, neuartigen Anwendungsbereichen zunimmt. Unsere Beiträge sind zwei originale, bereits in der Analysephase des DBVS-Konstruktionsprozesses einsetzbare Spezifikationssprachen. Mit Hilfe von DMSL (Data Model Specification Language) kann der DBVS-Konstrukeur die abstrakte Syntax und die Semantik des gewünschten Datenmodells definieren. Damit lassen sich bereits wichtige Klassen von Integritätsbedingungen spezifizieren (z.B. die inhärenten und die impliziten). Ergänzend zu DMSL verwendet der Konstrukteur IMSL (Integrity Model Specification Language), um weitergehende (d.h. explizite Integritätskonzepte) zu spezifizieren, beispielsweise Konzepte für die Zusicherungen über Datenbasiszustände. Mit Hilfe von IMSL kà nnen die für die Integritätsprüfung relevante Menge der mà glichen Transitionen zwischen Datenbasiszuständen, die logische Sprache, welche später dem Anwender die Definition der eigentlichen Bedingungen an die Datenbasiszustände erlaubt, sowie die Arten der mà glichen Reaktion auf Integritätsverletzungen beschrieben werden. Die Implementierung der beiden Sprachen erlaubt die Ãberprüfung von Spezifikationen auf semantische Korrektheit und ermà glicht die automatische Generierung von DBVS-Komponenten, welche die spezifizierten Konzepte prototypisch realisieren. AbschlieÃend wird die Anwendbarkeit von DMSL und IMSL anhand von zwei Fallstudien beispielhaft demonstriert und die Validierung des resultierenden DBVS-Prototypen mit Hilfe von Testprogrammen (in Subsprachen von DMSL und IMSL spezifizierbar) aufgezeigt.…