Datenmodellierung Mit Deduktiven Techniken

ISBN-13: 9783790807172 / Niemiecki / Miękka / 1994 / 230 str.

Gustaf Neumann

Opis

Dieses Buch befasst sich mit den Themenbereichen "konzeptionelle Datenmodellierung," "Metamodellierung" und "Datenbankentwurf." In mehrfacher Hinsicht erfolgt dabei eine Abkehr von traditionellen Techniken, die durch einen durchgangigen, auf Abhangigkeiten basierenden Ansatz ersetzt werden. Durch deduktive Ableitung werden aus abstrakten Modellen und Anwendungsmodellen konkrete Anwendungsabhangigkeiten ermittelt, die das Anwendungswissen des konzeptionellen Modells widerspiegeln. In einem gemeinsamen Rahmenwerk werden in diesem Buch folgende Themenkreise behandelt: - die Semantik von konzeptionellen Datenmodellierungssprachen; - die Reprasentation von konzeptionellen Anwendungsdatenmodellen; - die Konsistenzprufung von Anwendungsdaten in Bezug auf die korrespondierenden konzeptionellen Anwendungsmodelle; - die automatische Ableitung von relationalen Datenbankschemata aus konzeptionellen Anwendungsmodellen; - der Modellvergleich von unterschiedlichen konzeptionellen Anwendungsmodellen (die auch in unterschiedlichen Modellierungs sprachen formuliert sein konnen). Die Basis der Spezifikation der Semantik und die Schnittstelle zu den nachgelagerten Aufgabenbereichen sind funktionale Abhangigkeiten und Inklusionsabhangigkeiten."

Spis treści

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.