Différents langages pour les types structurés ont été étudiés dans le projet. Nous montrons comment développer des langages de requêtes dont la complexité est raisonnable, et nous étudions en détail leur pouvoir d'expression. Dans [16], on montre comment définir des langages pour objets complexes (imbrication d'ensembles) dont la complexité est bornée polynomialement. Nous proposons dans [12] 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. Nous étudions également dans [32] les ordres partiels sur les multi-ensembles (pomsets). Un tel ordre peut être représenté par un graphe acyclique orienté dont les noeuds peuvent avoir le même label. Ce type de données généralise tous les types classiques et en particulier l'ensemble et la liste.
D'autre part, nous étudions la puissance d'expression et la complexité des modèles de SGBD actifs [37].