Thesis of Oliver Irwin

Branching and Circuits: Algorithmic Techniques for Efficient Query Evaluation

The PhD will be focused on three parts: first, using a knowledge compilation point of view, revisiting multiple results on the resolution of aggregation queries in databases. This will allow to map the problems that can be solved easier using factorised forms. We will then take an interest in the resolution of new optimisation problems, parameterised by a database request that can efficiently be solved with factorised reprentations, using former works. Finally, we will work on the implementation of these techniques directly inside DBMSs.

Jury

M. Sylvain SALVATI Professeur des universités Université de Lille Directeur de thèse, M. Benny KIMELFELD Full professor Technion Rapporteur, M. Diego FIGUEIRA Directeur de recherche Université de Bordeaux Rapporteur, Mme Nofar CARMELI Chargée de recherche Université de Montpellier Examinatrice, Mme Cristina SIRANGELO Professeure des universités Université Paris Cité Examinatrice, M. Florent CAPELLI Chaire de professeur junior Université d'Artois Co-directeur de thèse.

Thesis of the team defended on 11/03/2026