Evolution de schéma et d'instances dans les bases de données orientées objet

= Objects and schema evolution in oriented object databases

• Auteur / Autrice : Ghassan El Nemr
• Direction : André Flory
• Type : Thèse de doctorat
• Discipline(s) : Ingénierie informatique
• Date : Soutenance en 1996
• Etablissement(s) : Lyon, INSA
• Ecole(s) doctorale(s) : école doctorale non créée
• Partenaire(s) de recherche : Laboratoire : LISI - Laboratoire d'Ingénierie des Systèmes d'Information (Lyon, INSA)

Mots clés

Mots clés contrôlés

Conception orientée objets (informatique)

Base de données

Résumé

La conception et l'exploitation des bases de données orientées objet se fait actuellement selon un processus interactif dans lequel l'évolution du schéma conceptuel et l'évolution des objets sont fortement corrélées. Le traitement de l'évolution est complexe : l'évolution se fait dans certains systèmes avec oubli du passé et perte des données, et dans d'autres systèmes avec maintien du passé par la gestion des versions des objets et la propagation retardée ou immédiate de toute évolution de schéma vers les instances. Dans cette thèse, nous proposons une nouvelle approche de la gestion de l'évolution, basée sur les contraintes. Une logique à quatre valeurs traduisant les états d'une proposition (nécessaire, possible, impossible ou aberrante) est introduite. La définition du type découle de ces quatre valeurs le type est alors formalisé par une conjonction de toutes les contraintes existentielles liées aux attributs du dictionnaire de données, partitionné en univers sémantiques. La classe est représentée par un type et un ensemble de contraintes ; elle est de plus décrite par une expression logique : sa fonction caractéristique. L'objet possède une structure libre, exprimée par des contraintes sur l'un des univers d'attributs, et représenté par une expression logique. Cela permet de définir une relation d'appartenance d'un objet à une classe dès lors que l'expression logique de l'objet implique la fonction caractéristique de la classe. L'appartenance multiple d'un objet à plusieurs classes est ainsi immédiate. L'évolution d'un objet se traduit soit par un changement de l'objet lui-même (valeurs ou structure) soit par le changement d'une des classes du schéma.

The OODB Conception and Exploitation are made actually within an interactive process where conceptual schema evolution and objects evolution are strongly correlate. Evolution handling is very complex: the evolution is made in some systems by past erasing and in other systems by maintaining objects versions and immediate propagation or differ propagation of any schema evolution towards the objects. In this thesis we propose a new constraint-based approach for the evolution management. A four valued logic is introduced and translate the different proposition states (such necessary, possible, impossible or less meaningful). The type definition result from different combinations of these four values. The type is formalized by conjunction of existential constraints attached to attributes of a data dictionary. The data dictionary is divided to many semantic worlds. The class is represented by a type and a set of constraints: Its characteristic function. Object possesses a free structure expressed by constraints under one semantic world, and represented by a logical expression. This allow to define the object bellowing to a given class, every time the object logical expression verify the class characteristic function. This allow to define the object bellowing to each class which has characteristic function verified by the object logical expression. So, multiple belonging to several classes is immediate. Object evolution is translate by the direct change of object or by change of one class.