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

par Habib Ounally

Thèse de doctorat en Informatique

Sous la direction de Geneviève Jomier.

Soutenue en 1986

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .


  • 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.

  • Titre traduit

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


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (172 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 166-172

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure des sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : I 2. OUN.
  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1986)350
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.