Expression and semantic integrity control in the relational data bases : MICROBE project

Expression et contrôle de l'intégrité sémantique dans les bases de données relationnelles : projet MICROBE

Lounas Ferrat (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

Cette thèse présente le sous-système ISIS, une méthode d'expression et de contrôle de l'intégrité sémantique, dans les bases de données relationnelles. Celle-ci est réglée par un ensemble de lois appelées contraintes d'intégrité sémantique (CIS). Une réalisation est effectuée dans le cadre du projet MICROBE

Mots clés: SGBD; bases de données; sémantique; algèbre relationnelle; bases de données relationnelles; arborescence algébrique; opérations de mise à jour

Domaines: Modélisation et simulation

Lounas Ferrat. Expression et contrôle de l'intégrité sémantique dans les bases de données relationnelles : projet MICROBE. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1983. Français. ⟨NNT : ⟩. ⟨tel-00308643⟩