Précédent : Fondements des Langages de Bases Remonter : Fondements des Langages de Bases Suivant : Langages non-déterministes

Complexité des langages de requêtes

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

Différents langages pour les types structurés ont été étudiés dans le projet. Nous avons montré comment développer des langages de requêtes dont la complexité est raisonnable, et nous avons étudié en détail leur pouvoir d'expression. Nous proposons dans [7] une famille d'algèbres pour multi-ensembles et étudions leur complexité. En présence de certains opérateurs, nous obtenons des algèbres dont la complexité varie de l'espace logarithmique à l'hyperexponentiel. Une présentation générale des résultats des dernières années sur ce sujet est proposée dans [6].

Dans [11, 28], nous étudions la complexité et l'expressivité des modèles de SGBD actifs. Enfin, l'évaluation parallèle des programmes Datalog est étudiée dans [10].