Dépendances fonctionnelles : objet et sémantique des extensions de classe

Object functional : dependancies and class extensions semantics

• Auteur / Autrice : M'Bayang Thiam
• Direction : Nicolas Spyratos
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques appliquées aux sciences sociales
• Date : Soutenance en 1998
• Etablissement(s) : Paris 1

Mots clés

Mots clés contrôlés

Modèles mathématiques

Langages de programmation -- Sémantique

COM (architecture des ordinateurs)

Informatique

Résumé

Nous introduisons le concept de dépendance fonctionnelle objet pour un modèle de base de données « attribut comme fonction » et nous étudions la consistance, la satisfaction et l'inférence dans le contexte de l'extension d'une classe contenant des valeurs nulles. Nous utilisons cette inférence fonctionnelle afin de définir par construction de point fixe une sémantique formelle d'une extension de classe. Les concepts introduits sont motivés par des concepts similaires et bien connus du modèle relationnel. Cependant, leur définition dans le contexte d'une extension de classe demande une approche « duale » à celle utilisée dans les modèles orientés-objet. En effet, au lieu de considérer chaque objet d'une extension de classe associée à un tuple de valeurs sur les attributs de classe, nous considérons chaque attribut de classe associé à un tuple de valeurs sur les objets de l'extension de classe.