Datenmodellierung mit deduktiven Techniken

Inhaltsverzeichnis

• 1 Einleitung und Problemstellung.
• 1.1 Ein Informationssystem als Repräsentation eines Unternehmens.
• 1.2 Integrationsaspekte von betrieblichen Informationssystemen.
• 1.3 Betriebliche Datenmodelle.
• 1.4 Zielsetzung dieser Arbeit.
• 2 Grundlagen.
• 2.1 Funktionale Abhängigkeiten.
• 2.2 Inklusionsabhängigkeiten.
• 2.3 Inferenzregeln für Abhängigkeiten.
• 2.3.1 Inferenzregeln für funktionale Abhängigkeiten.
• 2.3.2 Inferenzregeln für Inklusionsabhängigkeiten.
• 2.3.3 Inferenzregeln für funktionale Abhängigkeiten und Inklusionsabhängigkeiten.
• 2.4 Erzeugung von relationalen Schemata aus funktionalen Abhängigkeiten.
• 2.4.1 Eigenschaften von funktionalen Abhängigkeiten und relationalen Schemata.
• 2.4.2 Algorithmische Ableitung von relationalen Schemata.
• 2.4.3 Ein Synthese-Algorithmus zur Bestimmung eines relationalen Schemas aus funktionalen Abhängigkeiten.
• 2.5 Effiziente Repräsentation von Abhängigkeiten.
• 3 Spezifikation von Datenmodellierungsverfahren.
• 3.1 Grundkonzepte von konzeptionellen Datenmodellierungsverfahren.
• 3.2 Spezifikation des erweiterten Entity-Relationship-Modells.
• 3.2.1 Eins-zu-eins-Abbildung von EER-Diagrammen.
• 3.2.2 Ein Meta-EER-Diagramm zur Ableitung der Eins-zu-eins-Repräsentation von EER-Diagrammen.
• 3.2.3 Syntax der abstrakten Spezifikation.
• 3.2.4 Die abstrakten Abhängigkeiten von EER-Modellen.
• 3.2.5 Zusammenfassimg der abstrakten Abhängigkeiten von EER-Modellen.
• 3.3 Spezifikation des NIAM-Modells.
• 3.3.1 Eins-zu-eins-Abbildung von NIAM-Diagrammen.
• 3.3.2 Die abstrakten Abhängigkeiten von NIAM-Modellen.
• 3.3.3 Zusammenfassung der abstrakten Abhängigkeiten von NIAM-Modellen.
• 4 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Datenprüfung in konzeptionellen Modellen.
• 4.1 Ein Prolog-Programm zur Konsistenzprüfung.
• 4.2 Prüfung von Daten und Schema durch die abgeleiteten Abhängigkeiten.
• 4.3 Prüfung von zusätzlichen Abhängigkeiten.
• 5 Verwendung der funktionalen Abhängigkeiten und der Inklusionsabhängigkeiten zur Erzeugung von Relationsschemata.
• 5.1 Anwendimg des Normalisierungsalgorithmus auf die resultierenden funktionalen Abhängigkeiten.
• 5.2 Namensgebung für Tabellen und Attribute.
• 5.3 Elimination von Tupd-Identifikatoren und Einbeziehung von Inklusionsabhängigkeiten.
• 5.3.1 Vor- und Nachteile der Elimination von Tupel-Identifikatoren.
• 5.3.2 Elimination von Tupel-Identifikatoren durch atomare Schlüssel.
• 5.3.3 Repräsentation von schlüsselbasierten Inklusionsabhängigkeiten in SQL.
• 5.3.4 Repräsentation von allgemeinen Inklusionsabhängigkeiten in SQL.
• 5.4 Inklusionsabhängigkeiten und zusammengesetzte Schlüssel.
• 5.5 Inklusionsabhängigkeiten und Transaktionen.
• 5.6 Eine Optimierung für *:1-Beziehungstypen mit vollständiger Beteiligung auf der *-Seite.
• 5.7 Beispiele für Abbildungen von ER-Modellen in relationale Schemata.
• 5.7.1 Laufzeit der Ableitung von relationalen Schemata für die angeführten EER-Diagramme.
• 5.8 Beispiele für Abbildungen von NIAM-Modellen in relationale Schemata.
• 5.8.1 Laufzeit der Ableitung von relationalen Schemata für die angeführten NIAM-Diagramme.
• 6 Vergleich von konzeptionellen Modellen.
• 6.1 Attributäquivalenz.
• 6.2 Abhängigkeitseinschluß.
• 6.3 Abhängigkeitsäquivalenz.