Flexibilite, robustesse et efficacite des modeles de donnees a objet

par Éric Dujardin

Thèse de doctorat en Sciences appliquées

Sous la direction de E. SIMON.

Soutenue en 1995

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these a pour cadre les bases de donnees a objet. Elle est constituee de deux parties. La premiere partie traite de la souplesse des modeles de donnees a objets. Nous etudions deux categories de contraintes qui limitent cette souplesse. D'une part, la semantique de valeur, qui peut etre associee a la construction des types, s'accompagne de restrictions sur le partage de donnee, l'abstraction de type, la muabilite et le sous-typage. D'autre part, les contraintes de covariance et de contravariance s'appliquent respectivement au type retour et au type des arguments des methodes, pour garantir la surete de typage. Afin de lever ces contraintes, nous proposons un modele de donnees a semantique de valeur orthogonale, et un controle de typage statique deferant un minimum de controles a l'execution. La deuxieme partie traite des multi-methodes. Pour garantir leur selection dynamique efficacement et en temps constant, nous proposons des algorithmes efficaces de generation de tables et d'arbres d'envoi compresses. Par ailleurs, nous proposons un algorithme qui aide a la resolution des ambiguites de selection de multi-methodes en fournissant l'ensemble minimal des signatures de methodes a ajouter pour resoudre toutes les ambiguites


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 226 P.
  • Annexes : 106 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1995
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.