Dieses Buch befaßt sich mit den Themenbereichen "konzeptionelle
Datenmodellierung", "Metamodellierung" und "Datenbankentwurf". In
mehrfacher Hinsicht erfolgt dabei eine Abkehr von traditionellen
Techniken, die durch einen durchgängigen, auf Abhängigkeiten basierenden
Ansatz ersetzt werden. Durch deduktive Ableitung werden aus abstrakten
Modellen und Anwendungsmodellen konkrete Anwendungsabhängigkeiten
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 Repräsentation von konzeptionellen
Anwendungsdatenmodellen; - die Konsistenzprüfung 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 können). Die
Basis der Spezifikation der Semantik und die Schnittstelle zu den
nachgelagerten Aufgabenbereichen sind funktionale Abhängigkeiten und
Inklusionsabhängigkeiten.