Abstract FR:

Dans le cadre de cette these, nous nous interessons a l'etude des aspects comportementaux d'un modele de donnees semantique. Par aspects comportementaux, nous entendons: description d'elements derives, definition de contraintes d'integrite et modelisation du comportement des donnees. La prise en compte de ces aspects se fera par l'intermediaire de langages textuels declaratifs. Afin de preserver l'homogeneite de notre vision, nous nous sommes attaches a employer le langage de description de la derivation a tous les niveaux de notre systeme. Nous l'utilisons ainsi, aussi bien pour modeliser des donnees (comme c'est son emploi habituel) que pour realiser des requetes d'interrogation ou decrire les contraintes d'integrite. Notre travail s'inscrit dans le cadre du projet candid qui vise a offrir une interface pour un utilisateur non specialiste. Pour cette raison, le dialogue homme/machine n'etait possible initialement que sous la seule forme d'un langage graphique. En meme temps que nous imaginions les langages textuels, qui permettront l'utilisation du resultat de nos investigations dans le cadre de ce projet, nous avons generalise cette ecriture textuelle aux parties deja existantes: la partie statique du schema et le langage d'interrogation