Académique Documents
Professionnel Documents
Culture Documents
.....................................................................
.....................................................................
Université des Sciences et de la Technologie d’Oran
Faculté des Mathématiques et Informatique Option/ Groupe : …………………………………
Département Informatique
Master1
2023/2024 Note : ………………………………
C1 : Age<18
C2 : DE >= ‘01-01-2022’ Age>=18
C3 : Pays =”Algérie”
CC={ C1 C2 C3, ¬C1 C2 C3, C1 ¬C2 C3, C1 C2 ¬C3, ¬C1 ¬C2 C3, ¬C1 C2 ¬C3, C1 ¬C2 ¬C3,
¬C1 ¬C2 ¬C3}
CC3 = C1 ¬C2 C3 = Age<18 (DE < ‘01-01-2022’ Age<18) Pays =”Algérie” A (A B)= A
= Age<18 Pays =”Algérie” Fragment2 (1)
CC5 = ¬C1 ¬C2 C3 = Age>=18 (DE < ‘01-01-2022’ Age<18) Pays =”Algérie”
= [(Age>=18 DE < ‘01-01-2022’) (Age>=18 Age<18)] Pays =”Algérie”
= Age>=18 DE < ‘01-01-2022’ Pays =”Algérie” Fragment3 (1)
CC6 = ¬C1 C2 ¬C3 = Age>=18 (DE >= ‘01-01-2022’ Age>=18) Pays ≠”Algérie”
= Age>=18 DE >= ‘01-01-2022’ Pays ≠”Algérie” Fragment4 (1)
1/3
CC7 = C1 ¬C2 ¬C3 = Age<18 (DE < ‘01-01-2022’ Age<18) Pays ≠”Algérie” A (A B)= A
= Age<18 Pays ≠”Algérie” Fragment5 (1)
CC8 = ¬C1 ¬C2 ¬C3 = Age>=18 (DE < ‘01-01-2022’ Age<18) Pays ≠”Algérie”
= [(Age>=18 DE < ‘01-01-2022’) (Age>=18 Age<18)] Pays ≠” Algérie”
= Age>=18 DE < ‘01-01-2022’ Pays ≠ ”Algérie” Fragment6 (1)
2/3
Nom et prénoms :
..........................................................
..........................................................
Exercice2 (7 pts)
La base de données déductive d’un graphe dirigé contient les prédicats suivants :
Le prédicat extensionnel Arête (x, y) : précise qu’il existe un arc reliant le sommet X vers le sommet Y.
Le prédicat intentionnel Chemin (x, y) : exprime le fait qu’il existe une suite d’arcs du sommet X vers
le sommet Y.
Répondre à la question suivante en utilisant l’approche par point fixe : Chemin (1, y)?
(Montrer toutes les étapes de l’approche point fixe)
I0 = ɸ
I1 = I0 U { Arete(1, 2), Arete(3, 1), Arete(2, 5), Arete(2, 4), Arete(3, 5)} (0.75)
I2 = I1 U {Chemin(1, 2), Chemin(3, 1), Chemin(2, 5), Chemin(2, 4), Chemin(3, 5)} (0.75)
I3 = I2 U {Chemin(1, 5), Chemin(1, 4), Chemin(3, 2)} (0.75)
I4 = I3 U {Chemin(3, 4)} (0.75)
I5 = I4 U ɸ = I4 (0.5)
3/3