Methodes d'optimisation du controle d'integrite et d'etude de la consistance des contraintes par les tables de decision

par Faten Labene dit Kalti

Thèse de doctorat en Sciences appliquées

Sous la direction de Nhan Le Thanh.

Soutenue en 1992

à Nice .


  • Résumé

    Le cout du controle d'integrite semantique dans les sgbd relationnels est un cout additionnel au cout de la mise a jour de la base. L'approche presentee dans cette etude consiste a exploiter le concept de table de decision pour l'optimisation du cout du controle et eventuellement pour trouver des solutions pour le calcul de l'ensemble minimal des contraintes ainsi que pour la detection, s'il y a lieu, de leur inconsistance. Une contrainte d'integrite semantique est une formule dans le calcul relationnel a variables tuples, fermee et mise sous forme normale prenexe disjonctive. Nous partageons les contraintes en deux classes: les contraintes elementaires (definies sur une seule relation et devant etre verifiees par chaque tuple dans la relation) et les contraintes generales (tous les autres types de contraintes). L'ensemble des contraintes elementaires definies sur une meme relation de base est represente a partir d'une structure de table de decision et peuvent etre ainsi evaluees sans acces a la base. Cette representation a permis de trouver des solutions pour le calcul de l'ensemble minimal ainsi que pour la detection de l'inconsistance des contraintes. Ces traitements ainsi que le controle d'integrite sont ramenes a un calcul dans l'algebre des vecteurs binaires. Concernant les contraintes generales, nous montrons qu'il est possible de definir un index qui a la structure d'une table de decision et qui est exploite pour accelerer l'evaluation des selections. L'utilisation des vecteurs binaires nous a oriente vers une methode de jointure qui est pertinente pour le controle d'integrite et qui permet une prise en compte implicite des quantificateurs. Cette methode utilise les vecteurs binaires et n'aboutit pas a la construction de nouveaux tuples. Enfin, une specification de l'implantation de ces methodes dans le cadre du sgbdoo nice-c++ est proposee


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 63 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Université de la Nouvelle Calédonie (Nouméa). Bibliothèque universitaire.
  • PEB soumis à condition
  • Cote : TH EXT 1992 LAB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.