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

par AHMED AIT BOUZIAD

Thèse de doctorat en Sciences et techniques

Sous la direction de Irène Guessarian.

Soutenue en 1999

à Paris 6 .

    mots clés mots clés


  • Résumé

    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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 135 p.
  • Annexes : 78 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1999
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.