Les formalismes de requêtes non déterministes ont fait l'objet
de recherches les années passées dans l'équipe. Le
non-déterminisme dans les langages de règles est présenté en
détail dans [18]. Nous étudions les
correspondances qui existent entre les notions de
non-déterminisme tant au niveau des modèles de calcul (machines
de Turing), qu'au niveau des langages de requêtes [11]. En particulier, nous proposons une
extension du concept de définition implicite autorisant une forme
de non-déterminisme au niveau de l'évaluation de la requête
[30]. Nous montrons en
particulier que cette nouvelle définition capture précisément le
pouvoir d'expression de la classe NP
co-NP sur les structures finies.