Specification and prototypical execution of integrity concepts for domain specific database management systems

Más información sobre el libro

Die Datenqualität ist entscheidend für den Erfolg in der Informationsverarbeitung. Komponenten in Datenbankverwaltungssystemen (DBVSen), die es Anwendungsentwicklern ermöglichen, Integritätsbedingungen zu definieren und deren Überwachung zu unterstützen, sind essenziell für die Sicherung der Datenqualität. Diese Arbeit untersucht, wie solche Komponenten kostengünstiger konstruiert werden können, ohne sie von Grund auf neu zu implementieren oder bestehende Ansätze zu verwenden, wobei die Wiederverwendbarkeit von Analyse, Entwurf und Implementierung nicht ausreichend berücksichtigt wird. Angesichts der wachsenden Vielfalt an Anforderungen an DBVSe aus neuen Anwendungsbereichen ist dieser Aspekt besonders relevant. Unsere Beiträge umfassen zwei originale Spezifikationssprachen, die bereits in der Analysephase des DBVS-Konstruktionsprozesses eingesetzt werden können. DMSL (Data Model Specification Language) ermöglicht es Konstrukteuren, die abstrakte Syntax und Semantik des gewünschten Datenmodells zu definieren und wichtige Klassen von Integritätsbedingungen zu spezifizieren. IMSL (Integrity Model Specification Language) ergänzt DMSL, indem es die Spezifikation expliziter Integritätskonzepte und die Beschreibung von Transitionen zwischen Datenbasiszuständen ermöglicht. Die Implementierung beider Sprachen erlaubt die Überprüfung der Spezifikationen auf semantische Korrektheit und die automatische Generierung von DBVS-Komponenten.