thesis

Verification des contraintes d'integrites dans les bases de donnees relationnelles et deductives

Defense date:

Jan. 1, 1999

Edit

Institution:

Paris 6

Disciplines:

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.