Informationen zur Übung

• In den Übungen können die Begriffe und Techniken deduktiver Datenbanken vertieft und angewendet werden. Sie finden jeweils am Mittwoch von 13 bis 15 Uhr im Raum A 207 statt und beginnen am 14.04. Es wird insgesamt 10 Übungen geben, da am 19. Mai (Dies Academicus) und am 26. Mai (25.05.99 - 28.05.99 vorlesungsfreie Pfingstwoche) die Übungen nicht stattfinden werden.
• Die Teilnahme an den Übungen ist fakultativ, wird aber als Voraussetzung für ein Vertiefungsstudium in dieser Richtung angesehen. Studenten, die sich für diese Forschungsrichtung interessieren, können deshalb einen unqualifizierten bzw. qualifizierten Übungsschein erwerben. Der unqualifizierte Übungsschein wird als Voraussetzung für eine C-Prüfung in DDB I und II (mit der Vorlesung Informationssysteme als Grundwissen) erwartet. Der qualitative Übungsschein kann bei der Vergabe von Diplom-Arbeiten berücksichtigt werden.
• Voraussetzung für beide Scheine ist die aktive!! Anwesenheit in den Übungen. Um den unqualifizierten Übungsschein zu erhalten, bedeutet das insbesondere die Vorbereitung der Übungsaufgaben zu Hause und die Teilnahme an mindestens 8 Übungen. Wenn ein Übungstermin nicht wahrgenommen werden kann, sollte man sich vorher mit Begründung bei Andreas Behrend abmelden (die Anwesenheit wird mit Teilnahmelisten überprüft).
• Für den qualifizierten Übungsschein werden zusätzlich speziell gekennzeichnete Aufgaben (Stern) angeboten, die jeweils zu Beginn einer Übung abgegeben werden sollten. Um den Schein zu erhalten, müssen mindestens 50% der Gesamtpunktzahl für diese Aufgaben erreicht werden. Darüberhinaus werden 2 einstündige Testate angeboten. Das erste Testat wird am 12.05 und das zweite am 23.06 jeweils nach den Übungen stattfinden.
• Für Implementierungen werden wir PROLOG verwenden. Vorkenntnisse in PROLOG sind also sehr hilfreich. Informationen und PROLOG-Interpreter als Freeware findet man hier.

Aufgabenblätter

1. Übungsblatt 1 (14.04.99): Tupel- und Domänenkalkül, Relationenalgebra (Lösung)
2. Übungsblatt 2 (21.04.99): Modellierung mit Datalog¬ und Bereichsbeschränkung (Lösung)
3. Übungsblatt 3 (05.05.99): Normalisierung, CWA/NAF und Integritätsbedingungen (Lösung)
4. Übungsblatt 4 (12.05.99): T*-Operator, Fixpunktsemantik und Stratifikation (Lösung)
5. Dies Academicus (19.05.99): keine Übungen
6. freie Pfingstwoche (25.05 - 28.05): keine Übungen
7. Übungsblatt 5 (02.06.99): Testataufgaben, Änderungen und Transaktionen
8. Übungsblatt 6 (09.06.99): TAs, Interpretation, Konsistenz & Folgerungsoperator (Lösung)
9. Übungsblatt 7 (16.06.99): Anfrage-Expandierung & QSQ-Methode (Lösung)
10. Übungsblatt 8 (23.06.99): Magic-Set für Datalog und Datalog¬, QSQ-Methode (Lösung)
11. Übungsblatt 9 (30.06.99): semi-naive Auswertung, Änderungspropagierung und SIP-Strategien (Lösung)