Efficiënte inferentie voor probabilistische programma's en databanken.

Het hoofddoel van dit project betreft het ontwikkelen van een unificerend kader voor het efficiënter maken van probabilistische queries in zowel probabilistische databases als in probabilistisch programmeren. Het project is gebaseerd op de observatie dat voor meerdere van deze specifieke types van queries, zowel relevante algoritmes als theoretische inzichten bestudeerd worden in volledige isolatie binnen hun respectievelijke domeinen (i.e. probabilistisch programmeren en probabilistische databases). Binnen de context van dit project is ons doel om de resultaten binnen deze gebieden te generaliseren en aan te passen zodat ze door beide kunnen gebruikt worden, en zodat een wel gestoeld begrip wordt verkregen van hun onderliggende uitdagen en gemeenschappelijke elementen.