Formale Semantik eines erweiterten Entity-Relationship-Modells (Paperback)

Paperback. Dieses Buch widmet sich der formalen Semantik eines Entity-Relationship-Modells (ER-Modell), eines begleitenden Kalkuels 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 natuerlichen Modellierungsweise und seiner anschaulichen gra- phischen Repraesentation 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 Attraktivitaet verloren. Sah das klassische ER-Modell die Welt bestehend aus Objekten ('entities') und Beziehungen ('relationships') zwischen ihnen, so entwickelten sich spaeter viele Erweiterungen zur Erhoehung der semantischen Ausdrucksfaehigkeit. Wir folgen diesen Ansaetzen, 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 vollstaendig formale Definition der Syntax und Semantik des EER-Modells. Insbeson- dere die formale Festlegung der Semantik der Datenmodell-Konzepte ist von grosser Wichtig- und Notwendigkeit, schliesslich ist der konzeptionelle Datenbankentwurf der erste Schritt zur Formalisierung der meist informellen Anforderungen. Der model- lierten Datenbankstruktur kommt des weiteren eine massgebliche Rolle zu, da sie die Grundlage aller Anwendungen ist. Fehlt der Struktur eine praezise festgelegte Be- deutung, so koennen auch darauf aufbauende Datenbanksprachen, beispielsweise zur Formulierung von Anfragen oder Transaktionen, keine formale Semantik besitzen. Dieses Buch widmet sich der formalen Semantik eines Entity-Relationship-Modells (ER-Modell), eines begleitenden KalkAls und einer Anfragesprache. Das ER-Modell ist ein weit verbreitetes und allgemein anerkanntes Hilfsmittel zur abstrakten Beschreibung von Datenbanken im Rahmen des konzeptionellen EntA wurfs. Aufgrund seiner natArlichen Modellierungsweise und seiner anschaulichen graA phischen ReprAsentation in Form von ER-Diagrammen bildet es die Grundlage vieA ler Datenbankentwurfswerkzeuge, insbesondere im CASE-Bereich (Computer Aided Software Engineering), und hat selbst im Zeitalter der objektorientierten ProgramA miersprachen und Datenbanken nichts an seiner AttraktivitAt verloren. Sah das klassische ER-Modell die Welt bestehend aus Objekten ('entities') und Beziehungen ('relationships') zwischen ihnen, so entwickelten sich spAter viele Erweiterungen zur ErhAhung der semantischen AusdrucksfAhigkeit. Wir folgen diesen AnsAtzen, welche die Anschaulichkeit des ER-Modells verbinden mit einer Anreicherung durch weitere Abstraktionsprinzipien, und stellen ein derartiges erweitertes Entity-RelationshipA Modell, EER-Modell genannt, vor. Wir legen den Schwerpunkt des gesamten Buches auf eine konsequente und vollstAndig formale Definition der Syntax und Semantik des EER-Modells. InsbesonA dere die formale Festlegung der Semantik der Datenmodell-Konzepte ist von groAYer Wichtig- und Notwendigkeit, schlieAYlich ist der konzeptionelle Datenbankentwurf der erste Schritt zur Formalisierung der meist informellen Anforderungen. Der modelA lierten Datenbankstruktur kommt des weiteren eine maAYgebliche Rolle zu, da sie die Grundlage aller Anwendungen ist. Fehlt der Struktur eine prAzise festgelegte BeA deutung, so kAnnen auch da Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…