Techniques d'expression et de vérification des contraintes d'intégrité : application au SGBD PEPIN
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.