Datenmodellierung mit deduktiven Techniken [Paperback]

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 ErzlƒŸ