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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 215 P.
  • Annexes : 79

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Clermont Auvergne (Aubière). Bibliothèque Sciences, Technologies et Staps.
  • Accessible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1992-AGO
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.