Précédent : Complexité des langages de requêtes Remonter : Fondements des Langages de Bases Suivant : Actions Industrielles

Langages non-déterministes

Participants : Stéphane Grumbach, Zoé Lacroix, Victor Vianu

Les requêtes usuelles sont déterministes. Elles ont une unique réponse sur chaque instance. Il est possible de considérer des requêtes non-déterministes ayant plusieurs réponses possibles sur une instance. Les requêtes non-déterministes requièrent l'usage d'outils non-déterministes tant pour les exprimer que pour les calculer. Différents 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 [13].

Nous étudions les correspondances qui existent entre les notions de non-déterminisme aux niveaux des modèles de calcul (machines de Turing) et des langages de requêtes (différentes extensions de la logique du premier ordre) [5]. En particulier, les requêtes déterministes des classes de requêtes non-déterministes étudiées sont caractérisées par des extensions du concept de définition implicite proposé et étudié par l'équipe l'année passeé [2].