Abstract FR:

Le controle des acces concurrents a des donnees partagees et manipulees simultanement par plusieurs utilisateurs, ainsi que la reprise sur pannes, sont des composantes essentielles de tout systeme de gestion de donnees actuelles, notamment des bases de donnees. Nous mettons en evidence les limites inherentes du critere le plus important du domaine: la commutativite des operations sur les types de donnees abstraits. Ces limites nous confortent dans l'utilisation de methodes relativement simples dans les deux travaux ulterieurs. Ensuite, nous proposons une methode de controle de concurrence adaptee aux bases de donnees a objets car s'appuyant sur le graphe d'heritage. Cette proposition s'avere etre une generalisation de la seule methode implementee: le protocole d'orion. Combinant les limites theoriques de la commutativite a la notion de methodes, qui encapsulent le comportement des objets, nous proposons une technique simple, et dans une large mesure suffisante, pour determiner la commutativite entre methodes. Cette derniere proposition combine les avantages de la methode precedente a ceux obtenus, involontairement, par la decomposition en premiere forme normale dans les bases de donnees relationnelles