Abstract FR:

Cette these contribue a l'elaboration d'un outil de mise a jour de schema pour un systeme de bases de donnees oriente-objet. Les problemes a resoudre pour avoir un mecanisme d'evolution de schema sont identifies. Completude et coherence sont les caracteristiques essentielles qu'un outil d'evolution doit satisfaire. Completude est atteinte quand un schema coherent peut toujours etre construit a partir d'un autre schema coherent. Coherence est obtenue quand la coherence structurelle du schema et des objets (respect du schema pour les contraintes imposees par le modele et coherence des objets avec leur description), et la coherence de comportement liee au bon fonctionnement des methodes sont assurees. Une mise a jour de schema a un effet sur le schema et parfois aussi sur les objets et methodes, il s'agit donc d'assurer coherence au schema modifie et a sa base de donnees. L'etude montre l'importance de l'etablissement des fonctions de mises a jour de schema pour avoir completude, puis analyse tout particulierement les problemes lies a la preservation de la coherence structurelle de schema. Diverses strategies assurant la coherence structurelle de schema sont proposees. Elles considerent l'application d'une a plusieurs mises a jour de schema a la fois. Les problemes crees par le groupement de mises a jour dans la detection d'incoherences structurelles d'un schema sont ainsi mis en evidence: il y a une relation entre l'ordre d'application des mises a jour et l'introduction d'incoherences structurelles dans les etats successifs d'un schema en cours de modification