A ruled-based query optimizer for an extended relational database
Une plate-forme pour la generation d'optimiseurs extensibles. Application a un systeme relationnel etendu
Abstract
Ruled-based query optimizer
Cette these aborde le probleme de l'optimisation de requetes pour les nouvelles generations de systemes de gestion de bases de donnees (sgbd). L'emergence de ces nouveaux systemes et l'interet que constituent leurs performances ont souleve le probleme epineux de l'optimisation. En effet, il est aujourd'hui primordial que ces systemes offrent des techniques d'optimisation efficaces et un optimiseur s'adaptant aux besoins specifiques des applications. Cette these propose une formalisation du processus d'optimisation a base de regles de reecriture. Ce travail integre certains resultats issus de l'intelligence artificielle, de la programmation logique ou fonctionnelle. Differentes strategies de recherche pour l'optimisation sont etudiees. Une etude complete d'un optimiseur pour un sgbd relationnel etendu avec des types abstraits de donnees et de la deduction est donnee. Cette etude a abouti a la realisation d'un optimiseur logique au sein du projet esprit eds. Enfin, des solutions au probleme de la generation automatique d'un optimiseur sont proposees.