In diesem Buch wird dargestellt, wie ein lauffähiges Werkzeug zur Erzeugung von relationalen Datenbankinstanzen entworfen wird.Dabei soll mit dem Werkzeug das Folgende ermöglicht werden: Spezifikation eines Relationenschemas durch Angabe des Relationennamens - Eingabe und weiterführend auch automatische Erzeugung von Datenbankinstanzen zu einem Relationenschema - Überprüfung einer gegebenen Datenbankinstanz auf Erfüllung der spezifizierten semantischen Bedingungen - Überführung einer gegebenen Datenbankinstanz in eine möglichst wenig abweichende Instanz, die die spezifizierten...