L’équipe D-DAL a été créée en 2025 pour succéder à l’équipe LINKS.
Les travaux de D-DAL portent sur les fondements de l’évaluation efficace de requêtes. Nous étudions divers types de données, textes, arbres, graphes et données relationnelles, en tenant compte de facteurs tels que l’incertitude, les probabilités, l’incomplétude, l’hétérogénéité, et les mises à jour. Nous visons à prendre en charge des requêtes expressives incluant la récursivité ainsi que les schémas et des contraintes logiques ; nous cherchons notamment à compiler automatiquement ces requêtes en chaînes de traitement efficaces exploitant le parallélisme et l’accélération matérielle. À cette fin, nous utilisons les circuits comme couche d’abstraction, en nous appuyant sur les domaines de la complexité des circuits et de la compilation de connaissances.
Les activités de D-DAL s’inscrivent également dans d’autres domaines de l’informatique, tels que l’algorithmique (notamment pour le comptage, l’énumération, l’approximation et la maintenance incrémentale), la théorie des graphes, les langages formels (automates, transducteurs, algorithmes sur les chaînes de caractères), la logique (analyse statique, théorie des modèles finis), l’intelligence artificielle (explicabilité, représentations factorisées, IA symbolique) ainsi que la théorie et la pratique des bases de données