Abstract FR:

Les systemes transactionnels reposent sur deux modeles de transaction ; le modele a effets differes (majd) et le modele a effets immediats (maji). Le travail presente met en evidence les consequences de l'utilisation des objets types, sur la concurrence et la tolerance aux fautes, dans chacun des modeles de transaction, en se focalisant plus particulierement sur le modele majd. Il precise et ameliore les differentes techniques de mise en uvre de ce modele. Le controle de concurrence y est approfondi en caracterisant et en exploitant differents types de dependances, de facon en particulier a pouvoir continuer l'execution, en cas de conflits d'acces, a condition de rester serialisable. Enfin, il tire partie des deux modeles pour accroitre la concurrence, en proposant une relation de commutativite, appelee commutativite avant-arriere, ainsi qu'une methode de controle de concurrence qui l'exploite, basee sur l'utilisation des objets biversions