Techniques d'expression et de vérification des contraintes d'intégrité : application au SGBD PEPIN

Expression and verification methods of integrity constraints : application to the DBMS PEPIN

• Auteur / Autrice : Habib Ounally
• Direction : Geneviève Jomier
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1986
• Etablissement(s) : Paris 11
• Partenaire(s) de recherche : autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)

Mots clés

Mots clés contrôlés

Bases de données -- Gestion

Mots clés libres

Contrainte d'intégrité (informatique)

Résumé

Cette thèse propose des techniques de conception et d'implantation d'un sous-système d'intégrité dans un SGBD relationnel. Ces techniques considèrent le sous-système d'intégrité dans sa globalité, c'est-à-dire les fonctions d'expression et de stockage, de manipulation et de vérification des contraintes d’intégrité. L'expression des contraintes est réalisée à l'aide d’un langage utilisant des mots-clés pour distinguer entre trois classes de contraintes, les domaines, les contraintes structurelles et les contraintes de l'application. Les contraintes sont compilées puis stockées dans une représentation interne comportant un déclencheur, une assertion et un veilleur. Des règles et des algorithmes permettant de déterminer cette représentation sont proposés. La vérification des contraintes est assurée par des algorithmes spécialisés dans le contrôle des différents types de contraintes. Des n-index et des n-résumés sont proposés pour vérifier efficacement les contraintes référentielles et d'inclusion. Des règles de simplification sont utilisées pour déterminer des pré-tests pour les contraintes de l'application. Enfin, une maquette de sous-système d'intégrité basée sur ces techniques est implantée dans le SGBD PEPIN.

This thesis proposes some conception and implementation of integrity subsystem in a relational DBMS. The methods deals with all functions of an integrity subsystem i. E. Definition and storage, manipulation and verification of integrity constraints. The definition of constraints is done in a language using key-words to distinguish between three classes of constraints: domains, structural constraints and application ones. The constraints are compiled into an internal representation consisting of three data structures: trigger, assertion and guardian. Somes algorithms have been proposed to generate this representation for each class of the constraints. The constraints verification uses algorithms specialized in checking different types of the constraints. N-indices and N-abstracts are proposed to verify efficiently referential and inclusion constraints. Simplification rules determine pretests for application constraints. Finally, an integrity subsystem based on the proposed methods has been implemented in the PEPIN DBMS.