Dokument 1 - RWTH Aachen University

6.2 Formalisierung des Rahmenwerks für DW-Metamodelle 137
für greife ich auf den oben beschriebenen Ansatz von Calvanese et al. [2001] zurück, bei dem das
konzeptuelle Unternehmensmodell im Mittelpunkt steht. Die logischen Modelle der Datenquellen
werden wie im Local-As-View-Ansatz als Sicht auf das konzeptuelle Modell beschrieben.
Ebenso werden die Anfragen der Benutzer, die letztlich als Relationen im DW materialisiert
werden sollen, als Anfrage auf das konzeptuelle Modell spezifiziert.
Aus diesen Definitionen wird dann mittels eines erweiterten MiniCon-Algorithmus die Spezifikation
für einen Mediator abgeleitet, der die Daten aus den verschiedenen Datenquellen integriert.
Die Erweiterung ist vor allem zur Berücksichtigung der Qualitätsfaktoren der Datenquellen
notwendig. Die notwendigen Qualitätsinformationen werden in einem Metadatenbanksystem
verwaltet, wie es im Kapitel 5 beschrieben wurde.
6.2 Formalisierung des Rahmenwerks für DW-Metamodelle
Bevor ein Algorithmus zur qualitätsorientierten Datenintegration entwickelt werden kann, muss
zunächst ein Formalismus für die in Kapitel 3 entwickelten Modelle definiert werden. Ziel dieser
Formalisierung ist es, eine klare Grundlage für die Algorithmen bereitzustellen.
Die im Folgenden vorgestellte Formalisierung orientiert sich an Datalog [Ceri et al., 1990], da
dieser Formalismus auch in den vorher vorgestellten Algorithmen zur Umschreibung von Anfragen
benutzt wird. Darüber hinaus wurden auch Ideen aus der Darstellung von Regeln und
Integritätsbedingungen im ConceptBase-System übernommen.
6.2.1 Konzeptuelle Perspektive
Die wichtigsten Objekte in der konzeptuellen Perspektive des Metamodells (vgl. Abschnitt 3.5.1)
sind Concept, Relationship und Assertion. Zusätzlich können Konzepte noch Attribute haben.
Diese Objekte sind in der folgenden Definition eines konzeptuellen Modells erfasst.
Definition 6.1 (Konzeptuelles Modell):
Ein konzeptuelles Modell M wird definiert durch das Quadrupel 〈C, R, A, D〉, wobei
• C eine Menge von Konzepten {c1, . . . , cn} ist,
• R eine Menge von Beziehungen {r1, . . . , rl} ist und jedes ri = r c1,...,cm eine m-stellige
Beziehung über die Konzepte c1, . . . , cm ∈ C darstellt,
• A eine Menge von Attributen {a1, . . . , ao} ist und jedes ai = a c,d ein Attribut des Konzepts
c ∈ C mit der Domäne d ∈ C und der Bezeichnung a darstellt, und
• D eine Menge von Abhängigkeitsregeln zwischen Elementen aus C, R und A nach Definition
6.2 ist. ✷