Datenmodellierung mit deduktiven Techniken

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.