Klausur zur Vorlesung und Übung Deduktive Datenbanken (SS 2008)

Transkript

1 Universität Würzburg Institut für Informatik Prof. Dr. Dietmar Seipel Würzburg, Klausur zur Vorlesung und Übung Deduktive Datenbanken (SS 2008) Datum: Freitag, Zeit: Uhr Name: Vorname: Matrikelnummer: Geburtsdatum: Bitte beachten Sie folgendes: (1) Geben Sie auf dem Deckblatt Ihren Namen, Ihren Vornamen, Ihre Matrikelnummer und Ihr Geburtsdatum an. (2) Die Klausur besteht aus 6 Aufgaben. Es sind maximal 63 Punkte zu erreichen. Zum Bestehen der Klausur sind 25 Punkte hinreichend. Überprüfen Sie bitte die Vollständigkeit des Ihnen vorliegenden Exemplars. (3) Die Reihenfolge der Bearbeitung ist unerheblich. Teillösungen werden gewertet. Es wird nicht erwartet, daß alle Aufgaben bearbeitet werden. (4) Es sind keine Hilfsmittel zugelassen. Aufgabe a b c Σ 1 / 10 2 / 5 / 3 / 2 / 10 3 / 5 / 5 / 10 4 / 3 / 4 / 4 / 11 5 / 4 / 4 / 6 / 14 6 / 3 / 5 / 8 Gesamtpunktzahl / 63

2

3 Universität Würzburg Institut für Informatik Prof. Dr. Dietmar Seipel Würzburg, Klausur zur Vorlesung und Übung Deduktive Datenbanken (SS 2008) Aufgabe 1 (SLD Resolution) Gegeben ist das bekannte Logikprogramm zu Verwandtschaftsbeziehungen: sibling(x,y) parent(x,z) parent(y,z) X Y, cousin(x,y ) parent(x,x ) cousin(x,y ) parent(y,y ), cousin(x,y ) parent(x,x ) sibling(x,y ) parent(y,y ), parent(a, b), parent(b, c), parent(d, e), parent(e, c). Beantworten Sie durch SLD Resolution die Anfrage:? cousin(a,y). Geben Sie dazu einen vollständigen SLD Widerlegungsbaum und die Substitutionen in den einzelnen Resolutionsschritten an. Verwenden Sie, falls nötig, die aus der Vorlesung bekannte Selektionsfunktion s l von Prolog. (10 Punkte) Aufgabe 2 (T P Operator) Betrachten Sie das folgende im Vergleich zu Aufgabe 1 bei den Fakten etwas erweiterte Logikprogramm P zu Verwandtschaftsbeziehungen: sibling(x,y) parent(x,z) parent(y,z) X Y, cousin(x,y ) parent(x,x ) cousin(x,y ) parent(y,y ), cousin(x,y ) parent(x,x ) sibling(x,y ) parent(y,y ), parent(a, b), parent(b, c), parent(d, e), parent(f, e), parent(e, c).

4 a) Berechnen Sie für P die ordinalen Potenzen T P n und den kleinsten Fixpunkt T P ω. b) Geben Sie das minimale Modell M P sowie ein weiteres Modell an. c) Geben Sie M P,Q für die Anfrage Q = cousin(a,y ) an. (5+3+2 Punkte) Aufgabe 3 (Magic Sets Methode) Betrachten Sie folgendes Logikprogramm P: sibling(x,y) parent(x,z) parent(y,z) X Y, cousin(x,y ) parent(x,x ) cousin(y,x ) parent(y,y ), cousin(x,y ) parent(x,x ) sibling(x,y ) parent(y,y ), parent(a, b), parent(b, c), parent(d, e), parent(e, c). Hierbei sind parent und extensionale Prädikate. Beachten Sie, daß anders als in den vorherigen Aufgaben die erste Regel für cousin/2 nicht stabil ist. a) Bestimmen Sie das augmentierte Programm Ad(P, Q) für die Anfrage Q = cousin <b,f> (a, Y ). b) Führen Sie die Magic Sets Transformation zu Ad(P, Q) durch. (5+5 Punkte) Aufgabe 4 (Stratifizierung und perfekte Modelle) Gegeben sei das Logikprogramm P = { flies(x) bird(x) not abnormal(x), abnormal(x) penguin(x), bird(tweety), bird(toni), penguin(tweety) }. a) Geben Sie den erweiterten Abhängigkeitsgraphen G ed P und zwei Stratifizierungen mit minimaler Anzahl von Strata an. Begründen Sie die Minimalität Ihrer Stratifizierungen.

5 b) Bestimmen Sie das perfekte Modell mit Hilfe einer stratifizierten Bottom Up Auswertung. c) Bestimmen Sie alle minimalen Modelle von P. (3+4+4 Punkte) Aufgabe 5 (Listen Algorithmen in Prolog) a) Implementieren Sie ein Prädikat reverse/2, das eine Liste umkehrt.?- reverse([a,a,b,c], Y). Y = [c,b,a,a] Yes b) Implementieren Sie ein Prädikat minimum/3, welches beim Aufrufmuster minimum(+xs, +Ys, -Zs) zu zwei gleichlangen Listen Xs und Ys von Zahlen eine Liste Zs berechnet, die an jeder Stelle von Zs das Minimum der beiden Zahlen an den entsprechenden Stellen von Xs und Ys berechnet.?- minimum([2,1,3], [1,4,2], Zs). Zs = [1, 1, 2] Yes c) Implementieren Sie ein Prolog Prädikat number of variables/2, welches beim Aufrufmuster number of variables(+term, -Variables) die Anzahl der in Term vorkommenden Variablen mit Wiederholungen berechnet. Dabei können Sie mit var(x) testen, ob X eine Variable ist. (4+4+6 Punkte) Aufgabe 6 (Verschiedenes) a) Unifizieren Sie falls möglich die beiden Terme p(x, f(x, Y )) und p(f(a, b), Z) bzw. p(x, g(x, Y )) und p(h(z), Z).

6 b) Transformieren Sie das folgende DataLog Programm in die Relationenalgebra: P = { p(x, Y ) q(x, Z) p(z, Y ), p(x, Y ) a(x, Y ), q(x, Y ) b(x, Z) c(y, Z) }. (3+5 Punkte)