Verification des contraintes d'integrites dans les bases de donnees relationnelles et deductives
Institution:
Paris 6Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
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.