Abstract FR:

Cette these a pour cadre les bases de donnees a objet. Elle est constituee de deux parties. La premiere partie traite de la souplesse des modeles de donnees a objets. Nous etudions deux categories de contraintes qui limitent cette souplesse. D'une part, la semantique de valeur, qui peut etre associee a la construction des types, s'accompagne de restrictions sur le partage de donnee, l'abstraction de type, la muabilite et le sous-typage. D'autre part, les contraintes de covariance et de contravariance s'appliquent respectivement au type retour et au type des arguments des methodes, pour garantir la surete de typage. Afin de lever ces contraintes, nous proposons un modele de donnees a semantique de valeur orthogonale, et un controle de typage statique deferant un minimum de controles a l'execution. La deuxieme partie traite des multi-methodes. Pour garantir leur selection dynamique efficacement et en temps constant, nous proposons des algorithmes efficaces de generation de tables et d'arbres d'envoi compresses. Par ailleurs, nous proposons un algorithme qui aide a la resolution des ambiguites de selection de multi-methodes en fournissant l'ensemble minimal des signatures de methodes a ajouter pour resoudre toutes les ambiguites