Abstract FR:

Cette thèse traite des problèmes de contrôle et de maintien de la cohérence dans les bases de données orientées objet. Nous proposons un modèle d'expression de contraintes s'appuyant sur le comportement des objets qui est modélisé par les méthodes. Un langage déclaratif a été défini pour l'expression de conditions portant sur les contextes d'activation et de validation des méthodes. Nous présentons également le prototypage de notre modèle de contrôle qui a été réalisé dans le cadre du SGBD O#2 développé à l'Inria au sein du GIP ALTAIR