270 B
270 B
up::propriétés des requêtes conjonctives #s/informatique #not-done
Deux requêtes sont équivalentes si on peut exprimer
Soient q = \{ u\mid \varphi \} et q' = \{ w \mid \psi \} deux requêtes conjonctives
avec \mathrm{free}(q) = \mathrm{free}(q')