Diese Vorlesung beschäftigt sich im Detail mit den geforderten Eigenschaften eines Datenbankschemas sowie Methoden, die für den Datenbankentwurf eingesetzt werden. Einen weiteren Schwerpunkt bildet die Optimierung von Anfragen auf der Basis von Tableaus und  verschiedenen anderen exakten Optimierungsverfahren.

1. Mathematische Grundlagen
2. Grundlagen von Datenbankmodellen
3. Das relationale Datenbankmodell
4. Funktionale Abhängigkeiten
5. Datenbankentwurfstheorie
6. Mehrwertige Abhängigkeiten
7. Tableaus
8. CHASE-Algorithmus
9. Tableauoptimierung
10. Mächtigkeit von Anfragesprachen
11. Updates auf Sichten
12. Schemaabildungen für Datenintegration und Schemaevolution
13. Fensterfunktionen und Azyklische Datenbankschemata

Ziel ist ein tiefes, formales Verständnis über die Grundlagen des Relationenmodells, des relationalen Datenbankentwurfs, der Optimierungsverfahren
und der Integritätssicherung. Alle Gebiete werden in angewandter Weise in anderen Vorlesungen behandelt, das zusätzliche Grundlagenwissen in
dieser Detaillierungsstufe ist aber als Ausgangspunkt für einige Arbeiten in der Grundlagenforschung essentiell.

keine

1. David Maier: The Theory of Relational Databases. Computer Science Press 1983

• Vortrag nach Powerpoint Präsentation
• Entwicklung von Sätzen und Beweisen an der Tafel
• Skriptum (pdf-Folien im Web)
• Selbststudium von Lehrmaterial
• Selbststudium der angegebenen Literatur und Materialien

• Vorlesung “Theorie relationaler Datenbanken“, zu 2 SWS (28 Stunden)
• Vor- und Nachbereitung Vorlesungsbesuch (28 Stunden)
• Lösung von Übungsaufgaben (25 Stunden)
• Prüfungsvorbereitung und Prüfung (9 Stunden)

bestandener Modulprüfung werden 3 Leistungspunkte vergeben.