Abstract FR:

Les traitements complexes autour des bases de données nécessitent des fonctionnalités nouvelles, telles que l’inférence de données à partir de faits permanents. La réalisation de ces bases de données déductives passe par la définition d'un langage de règles de production, générant des relations déduites à partir de relations permanentes. Ces règles sont exécutées lorsqu'un utilisateur lance une requête faisant intervenir des relations déduites. Les règles dont l’exécution est non procédurale, sont parfois simultanément activables avec des conséquences contradictoires. Un contrôle de l’exécution s'impose: il est interne, implante dans le moteur d’inférence, ou défini par l'utilisateur dans un langage procédural ou de méta-règles. Selon les applications, tel contrôle est meilleur que tel autre. Cette thèse détaille le langage de règles rdl1, conçu pour le système de gestion de bases de données relationnel, Sabrina, puis les contrôles de l’exécution des règles et une application géographique écrite en rdl1