Dependances fonctionnelles objet et semantique des extensions de classe

par M'Bayang Thiam

Thèse de doctorat en Mathématiques appliquées aux sciences sociales

Sous la direction de Nicolas Spyratos.

Soutenue en 1998

à Paris 1 .

  • Titre traduit

    Objet functional dependencies and class extensions semantics


  • Pas de résumé disponible.


  • Résumé

    Nous introduisons le concept de dependance fonctionnelle objet pour un modele de base de donnees << attribut comme fonction >> et nous etudions la consistance, la satisfaction et l'inference dans le contexte de l'extension d'une classe contenant des valeurs nulles. Nous utilisons cette inference fonctionnelle afin de definir par construction de point fixe une semantique formelle d'une extension de classe. Les concepts introduits sont motives par des concepts similaires et bien connus du modele relationnel. Cependant, leur definition dans le contexte d'une extension de classe demande une approche << duale >> a celle utilisee dans les modeles orientes-objet. En effet, au lieu de considerer chaque objet d'une extension de classe associee a un tuple de valeurs sur les attributs de classe, nous considerons chaque attribut de classe associe a un tuple de valeurs sur les objets de l'extension de classe.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (132 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 125-132

Où se trouve cette thèse ?

  • Bibliothèque : Université Panthéon-Sorbonne. Bibliothèque Pierre Mendès France.
  • Consultable sur place dans l'établissement demandeur
  • Bibliothèque : Centre d'économie de la Sorbonne (Paris). Centre de documentation.
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.