Abstract FR:

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