"Einführung in relationale Datenbanken" gibt einen Überblick über das relationale Modell und hebt seine Bedeutung für moderne Datenbankmanagementsysteme hervor. Es befasst sich mit den Grundprinzipien relationaler Datenbanken und hebt deren strukturierten Ansatz für die Datenorganisation und -verwaltung hervor. Darüber hinaus unterstreicht das Kapitel die Bedeutung formaler Überprüfungsprozesse bei Datenbankdesign und -entwicklung und betont die Notwendigkeit einer systematischen Evaluierung, um die Zuverlässigkeit und Effektivität relationaler Datenbanksysteme zu gewährleisten. "Funktionale Abhängigkeiten (FDs)" untersucht das Konzept der funktionalen Abhängigkeiten innerhalb relationaler Datenbanken. Es definiert FDs und veranschaulicht sie anhand von Beispielen, um ihre Rolle bei der Bestimmung von Beziehungen zwischen Attributen in Datenbankschemata zu verdeutlichen. Darüber hinaus erörtert das Kapitel die praktischen Anwendungen von FDs im Datenbankdesign und hebt ihre Bedeutung für die Gewährleistung der Datenintegrität und die Optimierung von Datenbankstrukturen hervor. "Implikation und Abschluss von FDs" vertieft FDs durch die Untersuchung ihrer Implikationen und Abschlüsse.