Abstract FR:

L'environnement des systemes de gestion de bases de donnees (sgbd) evolue : les nouvelles applications (graphiques, multimedias,) engendrent de nouveaux modeles de donnees, les machines cibles se perfectionnent, les choix faits dans le cadre de systeme relationnel centralise ou le cout d'entrees/sorties domine ne sont plus necessairement valables pour des systemes paralleles ou a grande memoire, bases sur des modeles relationnel etendu ou oriente objet. Dans ce contexte evolutif, un bon optimiseur doit etre suffisamment souple, ie, extensible et parametrable, pour s'adapter a ces changements. Il doit egalement offrir des outils d'explication (visualisation de l'espace de recherche, validation des heuristiques,) pour aider l'administrateur a concevoir son optimiseur. Dans cette these, nous avons concu une plate-forme d'aide a la mise au point d'un optimiseur de requetes, destinee aux concepteurs de sgbd. Cette plate-forme repose sur une meta-modelisation de l'optimisation de requetes par un langage logique de second ordre, a la fois simple (nombre limite de concepts) et general (permet d'exprimer tous les aspects d'un optimiseur de requetes). Elle offre des outils pour valider les parametres de l'optimiseur. Le langage permet notamment de definir les heuristiques, jusqu'alors fixes et integrees dans le code de l'optimiseur, de facon homogene et declarative, pour les valider. L'utilisation de la plate-forme est illustree par l'implementation d'un optimiseur en prolog et la validation d'heuristiques usuelles du modele relationnel. Nous montrons par des exemples que la plate-forme peut s'adapter egalement a d'autres modeles de donnees.