Contrôle de la cohérence dans les bases objets : une approche par le comportement, projet Aristote

par Hervé Martin

Thèse de doctorat en Informatique

Sous la direction de Michel Adiba.

Soutenue en 1991

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Cette thèse traite des problèmes de contrôle et de maintien de la cohérence dans les bases de données orientées objet. Nous proposons un modèle d'expression de contraintes s'appuyant sur le comportement des objets qui est modélisé par les méthodes. Un langage déclaratif a été défini pour l'expression de conditions portant sur les contextes d'activation et de validation des méthodes. Nous présentons également le prototypage de notre modèle de contrôle qui a été réalisé dans le cadre du SGBD O#2 développé à l'Inria au sein du GIP ALTAIR

  • Titre traduit

    Consistency checking in object databases: a behavioural approach


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (169 p.)

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS 91/GRE1/0011
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1991-MAR
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : G2A 279/1991/MAR/CON
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.