Explications dans les bases de donnees deductives : associer trace et semantique

par SARAH MALLET

Thèse de doctorat en Sciences et techniques

Sous la direction de MIREILLE DUCASSE.

Soutenue en 1999

à l'INSA RENNES .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 133 p.
  • Annexes : 58 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Institut National des Sciences Appliquées. Bibliothèque.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.