Formale Semantik eines erweiterten Entity-Relationship-Modells (Teubner Texte zur Informatik) (German Edition)

ISBN: 3815420520

Author: Hohenstein, Uwe

Condition: New

Dieses Buch widmet sich der formalen Semantik eines Entity-Relationship-Modells (ER-Modell), eines begleitenden Kalkls und einer Anfragesprache. Das ER-Modell ist ein weit verbreitetes und allgemein anerkanntes Hilfsmittel zur abstrakten Beschreibung von Datenbanken im Rahmen des konzeptionellen Ent- wurfs. Aufgrund seiner natrlichen Modellierungsweise und seiner anschaulichen gra- phischen Reprsentation in Form von ER-Diagrammen bildet es die Grundlage vie- ler Datenbankentwurfswerkzeuge, insbesondere im CASE-Bereich (Computer Aided Software Engineering), und hat selbst im Zeitalter der objektorientierten Program- miersprachen und Datenbanken nichts an seiner Attraktivitt verloren. Sah das klassische ER-Modell die Welt bestehend aus Objekten ('entities') und Beziehungen ('relationships') zwischen ihnen, so entwickelten sich spter viele Erweiterungen zur Erhhung der semantischen Ausdrucksfhigkeit. Wir folgen diesen Anstzen, welche die Anschaulichkeit des ER-Modells verbinden mit einer Anreicherung durch weitere Abstraktionsprinzipien, und stellen ein derartiges erweitertes Entity-Relationship- Modell, EER-Modell genannt, vor. Wir legen den Schwerpunkt des gesamten Buches auf eine konsequente und vollstndig formale Definition der Syntax und Semantik des EER-Modells. Insbeson- dere die formale Festlegung der Semantik der Datenmodell-Konzepte ist von groer Wichtig- und Notwendigkeit, schlielich ist der konzeptionelle Datenbankentwurf der erste Schritt zur Formalisierung der meist informellen Anforderungen. Der model- lierten Datenbankstruktur kommt des weiteren eine magebliche Rolle zu, da sie die Grundlage aller Anwendungen ist. Fehlt der Struktur eine przise festgelegte Be- deutung, so knnen auch darauf aufbauende Datenbanksprachen, beispielsweise zur Formulierung von Anfragen oder Transaktionen, keine formale Semantik besitzen.