Modele de donnees b-rel et approche logique b-log

par Evelyne Vittori

Thèse de doctorat en Sciences appliquées

Sous la direction de Lethanh Nhan.

Soutenue en 1992

à Nice .


  • Résumé

    De nombreux modeles de donnees ont ete proposes pour pallier les limites du modele relationnel et permettre la modelisation naturelle des donnees complexes utilisees dans les nouvelles applications des bases de donnees. Le modele b-rel, defini a partir du modele b-relationnel de n. Le thanh se situe dans cette tendance. Son objectif est d'introduire un cadre general uniforme permettant l'extension progressive du modele relationnel vers le paradigme oriente objet tout en preservant au maximum ses acquis. Le caractere purement centre valeur du concept de relation est ainsi conserve (b-relation) et le concept de domaine est etendu en differentes etapes vers le concept de classe d'objet (b-domaine). Le lien entre les deux concepts est represente par les notions d'identificateur de b-tuple et d'operateur d'acces transversal permettant d'etablir des liaisons entre des valeurs localisees dans differentes b-relations. Les fondements logiques du modele b-rel sont definis a partir d'une logique centree objet, baptisee b-log, derivee des travaux de m. Kifer, g. Lausen et j. Wu sur f-logic. Cette logique est construite de maniere incrementale en mettant en evidence la representation des differents concepts tant au niveau de la syntaxe formelle qu'au niveau de la semantique. La notion syntaxique de description de base de donnees permet d'introduire deux approches de representation logique de l'information contenue dans une base de donnees b-rel: l'approche semantique caracterisee par la notion de modele de herbrand minimal, et l'approche axiomatique representee par la notion de theorie b-log. Cette derniere approche est basee sur l'axiomatique b-log qui est introduite dans une optique plus generale et peut servir de point de depart a la prise en compte de la deduction dans une base de donnees b-rel

  • Titre traduit

    B-rel data model and b-log logical approach


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (227 p.)
  • Annexes : 138 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Université de la Nouvelle Calédonie (Nouméa). Bibliothèque universitaire.
  • PEB soumis à condition
  • Cote : TH EXT 1992 Bor
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.