Optimisation de Datalog pour les GPU

Cette publication ACM explore comment adapter le langage de requêtes logiques Datalog aux architectures GPU afin d'exploiter le parallélisme massif de ces processeurs. Les auteurs présentent des techniques d'optimisation spécifiques permettant d'accélérer significativement l'évaluation de règles récursives. Ces travaux pourraient bénéficier à des domaines comme l'analyse statique de programmes, le raisonnement symbolique et les bases de données déductives.