Datenmodellierung mit deduktiven Techniken

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.4 Erzeugung von relationalen Schemata 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.3 Spezifikation des NIAM-Modells.- 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.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.8 Beispiele für Abbildungen von NIAM-Modellen in relationale Schemata.- 6 Vergleich von konzeptionellen Modellen.- 6.1 Attributäquivalenz.- 6.2Abhängigkeitseinschluß.- 6.3 Abhängigkeitsäquivalenz.