Über das Buch

Zum Inhalt

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. …

Schlagworte

Datenbankverwaltungssysteme, DBVS, Integritätsbedingungen, Spezifikationssprache, Data Model Specification Language, DMSL, Integrity Model Specification Language, IMSL, Informatik