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 13.10. Es wird insgesamt 15 Übungen geben, da am 1. Dezember (Dies Academicus) und am 29. Dezember sowie am 5. Januar (Weihnachtsfeiertage) 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 12 Ü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 17.11 und das zweite am 02.01 jeweils nach den Übungen stattfinden.

Aufgabenblätter

1. Übungsblatt 1 (20.10.99): Alternierende Fixpunktberechnung I  (Lösung)
2. Übungsblatt 2 (27.10.99): Alternierende Fixpunktberechnung II (Lösung)
3. Übungsblatt 3 (03.11.99): Alternierende Fixpunktberechnung III (Lösung)
4. Übungsblatt 4 (10.11.99): Alternierende Fixpunktberechnung IV (doubled program approach) (Lösung)
5. Übungsblatt 5 (17.11.99): Conditional FPI, doubled program approach (Lösung)
6. In der Übung am 24.11.99 werden noch einmal CFPI und dpa der Übung 5 wiederholt
7. Dies academicus (01.12.99)
8. Übungsblatt 6 (08.12.99): Conditional FPI, weak-stratification
9. Übungsblatt 7 (15.12.99): Conditional FPI, weak-stratification und MAFPI
10. Übungsblatt 8 (22.12.99 & 10.01.00): MAFPI
11. Übungsblatt 9 (19.01.00): MAFP und structured update propagation
12. Übungsblatt 10 (26.01.00): Magic Set Methode und structured update propagation
13. Übungsblatt 11 (02.02.00): Disjunktives Datalog und View Update Propagation