Abstract FR:

Dans cette these, nous nous sommes concentres sur les problemes lies a la definition et a la manipulation d'espaces de recherche pour l'optimisation de requetes objets. Les principaux problemes introduits par les concepts objets pour l'optimisation de requetes concernent la generalite du modele, la definition fonctionnelle des requetes, l'invocation de methodes et de fonctions externes, et la complexite des connaissances semantiques. Notre these propose des solutions a ces problemes avec les contributions principales suivantes. Nous proposons une algebre objet et des structures de donnees associees pour modeliser les plans d'execution ; cette algebre supporte un sous-ensemble interessant de oql et facilite la definition de l'espace de recherche. Nous definissons un langage de description des connaissances semantiques fournies par l'utiliser, et les transformations de requetes exploitant ces connaissances, sous forme de regles de reecriture algebrique. Nous donnons egalement un algorithme polynomial qui donne les conditions suffisantes pour exploiter une vue materialisee pour optimiser une requete et un algorithme d'ordonnancement des operations qui preserve les contraintes d'evaluation pour garantir l'equivalence avec la requete initiale. Finalement, nous decrivons l'architecture de l'optimiseur flora qui integre les solutions precedentes en offrant un bon compromis entre temps d'optimisation et qualite du plan d'execution produit.