Abstract FR:

Etant donnee une contrainte d'integrite c, satisfaite sur une base de donnees b et une mise-a-jour u a appliquer sur b. Nous nous interessons a la question suivante : est-ce-que c reste satisfaite apres application de u sur b ? quand b est une base de donnees relationnelles, nous definissons un systeme de reecriture confluent et qui termine toujours. A partir de c et u, ce systeme derive automatiquement une plus faible precondition simplifiee wp(c,u) telle que, si b satisfait wp(c,u) alors la base de donnees mise a jour u(b) satisfait c, de plus wp(c,u) est simplifiee dans le sens ou son evaluation depend uniquement des instances de la contrainte c qui peuvent etre modifiees par la mise-a-jour u. Ensuite, nous avons etendu la definition de la plus faible precondition simplifiee wp(c,u) au cas des bases de donnees deductives ; nous en faison la preuve en.