Reduktion und Äquivalenz generalisierter relationaler Schemata - theoretische Grundlagen und algorithmische Lösungen

Der Datenbankentwurf hat die Aufgabe, einen Ausschnitt der realen Welt auf Datenbanksysteme abzubilden. Zur Lösung dieser Aufgabe werden unter anderem zwei Datenbankmodelle entworfen, das konzeptuelle Datenmodell und das logische Datenmodell. Die existierenden Ansätze zur Abbildung des konzeptuellen, semantischen Datenmodells ins logische, operationale Datenmodell sind unvollständig. Der Informationsverlust, der aus dieser Unvollständigkeit resultiert, ist kein akzeptabler Zustand.