Abstract FR:

Une base de donnees deductive est une base de donnees interrogee a l'aide de programmes logiques. Ces programmes logiques sont ecrits par des developpeurs. Ils sont ensuite utilises par des utilisateurs pour consulter la base de donnees. Developpeurs et utilisateurs ont besoin de comprendre l'execution des programmes qu'ils ecrivent, pour les premiers, et qu'ils manipulent, pour les seconds. Ils n'ont pas la meme vision de l'execution d'un programme, les explications de l'execution qui leur sont proposees doivent etre differentes. Nous proposons une technique qui permet de definir des explications adaptables a l'utilisateur a partir d'un systeme de bases de donnees deductives existant. Cette technique s'appuie sur une trace de l'execution deja integree au systeme au moment de sa conception, nous evitons ainsi des modifications du systeme. Cette trace, qui reflete le niveau de l'implementation, contient de l'information interessante mais elle n'est comprehensible que par les implementeurs. Il faut rendre la trace accessible a d'autres types utilisateurs. Pour cela, nous l'associons a une semantique operationnelle definie suivant des criteres de coherence, de monotonicite et de capture mutuelle. Un prototype implemente cette association par un meta-interprete pilote par la trace. Les informations contenues dans la trace dirigent le meta-interprete et evitent de refaire des calculs effectues au cours de l'execution, en particulier les acces a la base de donnees. Enfin, en utilisant des techniques d'instrumentation de meta-interprete, nous illustrons la flexibilite de notre technique pour definir des images de l'execution.