Abstract FR:

Cette these a pour cadre les bases de donnees orientees-objet. Elle est composee de trois parties. La premiere commence par un etat de l'art sur la persistance dans les bases de donnees orientees-objet. Elle se poursuit par la presentation d'une implantation en c++ d'omnis, un gestionnaire de schema orientes-objet extensible base sur un modele reflexif. La deuxieme partie s'interesse a la coherence comportementale, i. E. , des methode, de schemas orientes-objet. Nous proposons d'accepter des exceptions aux regles de coherence comportementale, telles que la contravariance ou la covariance, pour faciliter la modelisation et l'evolution de schema. Pour eviter les erreurs de type a l'execution, des clauses de verification dynamique de type sont ajoutees autour des instructions rendues non-sures par les exceptions. Nous presentons le processus de verification statique de type en presence d'exceptions ainsi que la generation des clauses de verification. La troisieme partie est centree sur l'implantation de l'envoi de multi-methodes. Elle tente de rendre applicable aux multi-methodes la technique des tables d'envoi qui assure une liaison retardee en temps constant. L'applicabilite de cette technique depend de la taille des tables d'envois. Celles-ci etant enormes dans le cas des multi-methodes, nous presentons un algorithme de compression