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 :
  • Disponible pour le PEB
  • Cote : TS 91/GRE1/0011
  • Bibliothèque :
  • Accessible pour le PEB
  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : IMAG-1991-MAR
  • Bibliothèque :
  • 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.