Le controle de l'integrite semantique des bases de donnees relationnelles et deductives

par PASCALE BORLA-SALAMET

Thèse de doctorat en Sciences appliquées

Sous la direction de Georges Gardarin.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Les methodes declaratives de controle de l'integrite semantique des bases de donnees definissent les contraintes d'integrite sous la forme d'assertions de la logique du 1er ordre. L'evaluation de telles assertions lors des mises a jour de la base est couteuse, car elle necessite d'acceder a des volumes de donnees non explicitement mis en cause par la mise a jour. Cette these decrit une methode de differenciation de contraintes d'integrite qui a pour but de reduire le nombre d'assertions a evaluer lors d'une mise a jour, et le volume des donnees a acceder. Elle traite des mises a jour generales pour une large classe d'assertions exprimees en calcul relationnel de tuples, et permet de realiser un controle preventif des incoherences. C'est une methode de compilation qui, a partir d'une assertion a genere un ensemble de contraintes compilees (cis). Chaque cis donne pour un type de mise a jour sur une relation apparaissant dans a, l'expression a evaluer, lors d'une mise a jour de ce type, pour garantir la coherence de la base. Une base de donnees deductive est constituee d'un ensemble de relations de base, et de relations deduites definies a l'aide de regles. Dans ce cadre, une mise a jour sur relation de base, induit a travers des regles un ensemble de mises a jour sur les relations deduites. Pour eviter d'avoir a calculer ces mises a jour, une technique de reecriture des contraintes portant sur les relations deduites en contraintes n'invoquant que des relations de base est proposee. La methode de compilation peut alors s'appliquer. Un prototype de la methode de compilation a ete developpe dans un sgbd standard

  • Titre traduit

    Semantic integrity enforcement in relational and deductive databases


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 66 REF

Où se trouve cette thèse ?

  • Bibliothèque :
  • Non disponible pour le PEB
  • Cote : T Paris 6 1990 415
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.