Abstract FR:

Nous proposons une semantique algebrique pour bases de donnees orientees objet. A cette fin, nous definissons un modele de donnees et son langage de requetes. Le modele incorpore tous les concepts fondamentaux de l'approche orientee objet, a savoir : classe, methode, heritage, type complexe, sous-typage, identite d'objet, surcharge, redefinition, liaison statique, liaison dynamique, selection multiple, persistance, etc. Notre modele poursuit le style du modele relationnel, en adoptant une architecture modulaire qui circonscrit une frontiere claire entre les notions de : schema, instance, systeme de types et requete. Les attributs et les methodes d'une classe sont vus, dans notre modele, comme des fonctions partielles sur les objets identifiables dans la classe. Le langage de requetes est purement algebrique, et il prend en compte les orientations objet de notre modele. De plus, il preserve la nature ensembliste de l'algebre relationnelle et des algebres pour relations imbriquees, tout en lui integrant une composante de nature fonctionnelle. En effet, notre langage est defini par deux composantes inter-liees. Une premiere composante qui combine les fonctions (attributs, methodes, operations des types de base, ) par une algebre de fonctions partielles. Une seconde, qui combine les ensembles (extensions de classe) par des operations ensemblistes (selection, jointure, ). Un autre aspect important de notre approche reside dans le fait qu'elle fournit un traitement mathematique rigoureux pour les valeurs nulles dans les bases de donnees orientees objet.