Formalisation des aspects comportementaux d'un modele de donnees semantique et description des langages textuels correspondants

par LAURENT AGOPIAN

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Schneider.

Soutenue en 1992

à Clermont-Ferrand 2 .

mots clés

Résumé

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

Titre traduit

Formalization of the behaviour aspects for a semantic data model and description of the corresponding textual languages

Pas de résumé disponible.