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

Semantic integrity enforcement in relational and deductive databases

• Auteur / Autrice : PASCALE BORLA-SALAMET
• Direction : Georges Gardarin
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 6

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