Modelisation et optimisation des bases de donnees deductives fondees sur les reseaux de petri de haut niveau

• Auteur / Autrice : YASMINA MAIZI
• Direction : Michel Scholl
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1998
• Etablissement(s) : Paris, CNAM

Résumé

Cette these a pour objectif de contribuer a l'etude des bases de donnees deductives et plus particulierement a l'etude du probleme de l'evaluation des requetes recursives. A cet effet une modelisation des bases de donnees deductives fondee sur un modele derive des reseaux de petri de haut niveau a ete proposee, en l'occurrence les reseaux de petri deductifs. Dans un premier temps, nous definissons formellement les reseaux de petri deductifs, en donnant la semantique de ce modele ainsi que la transformation qui permet le passage d'une base de donnees deductive, decrite dans le langage de regles datalog a un reseau de petri deductif et inversement. Puis, nous proposons d'optimiser le mecanisme de franchissement des transitions d'un reseau de petri deductif en integrant des heuristiques d'optimisations basees sur la coloration des jetons. Une evaluation de performances du mecanisme de franchissement des transitions d'un reseau de petri deductif est ensuite proposee. Cette evaluation permet de mettre en evidence l'efficacite obtenue en integrant les heuristiques d'optimisations proposees. Dans un second temps, nous proposons une strategie d'evaluation des requetes recursives basee sur le modele reseau de petri deductif. Cette strategie se veut applicable quelque soit le type de programme, le type de requete et la structure de donnees consideres. Elle exploite d'une part, les techniques d'analyse structurelles, en l'occurrence la theorie des reductions et d'autre part, la structure de controle inherente aux reseaux de petri pour repondre a la requete efficacement. Cette efficacite est mesuree en termes de jetons generes durant l'evaluation de la requete. La strategie est d'autant plus efficace si elle genere un nombre minimal de jetons. Afin de tester la validite d'une telle strategie, nous proposons des comparaisons de performances de cette derniere avec les methodes d'evaluation des requetes recursives les plus citees dans la litterature. Grace a cette evaluation de performances, nous montrons que l'evaluation des requetes recursives, fondee sur le modele reseau de petri est toujours aussi efficace que la plus efficace des methodes existantes.