BDDII - Q7 2013

On a une requête qui est l'union des deux requêtes conjonctives suivantes:

q1 : Answer(x) <- L("Jean", z), L("Ed", z), S(y, z), V(x, y)
q2 : Answer(u) <- L("Jean", z1), L(w, z2), S(y, z1), S(y, z2), V(u, y)

On remarque que q1 est contenue dans q2.

En effet, il existe un homomorphisme de q2 à q1: {u/x, z1/z,, z2/z w/"Ed"}.

En remplaçant les symboles on a bien:

q2 : Answer(x) <- L("Jean", z), L("Ed", z), S(y, z), S(y, z), V(x, y)

c-à-d: q2 : Answer(x) <- L("Jean", z), L("Ed", z), S(y, z), V(x, y)

Qui est exactement la requête q1.

Donc, puisque q1 est contenue dans q2, on peut restreindre l'union des requêtes q1 et q2
à la requête q2.

On a ainsi bien simplifié la requête originale.

CQFD