Abstract FR:

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