Spécification et contrôle d’intégrité dans les bases de données objet

par Tarik Bouaziz

Thèse de doctorat en Informatique

Sous la direction de André Flory.


  • Résumé

    Nous présentons une approche utilisant des règles actives pour spécifier et contrôler l'intégtité d'une base de données objet. Nous proposons une typologie composée des contraintes structurelles, comportementales et explicites. Les contraintes structurelles sont celles inhérentes aux mécanismes d'abstraction. Les contraintes comportementales permettent de contrôler le comportement local et global des objets, elles correspondent aux préconditions et aux postconditions appliquées aux méthodes et aux transactions. Les contraintes explicites correspondent aux propriétés invariantes de l'application. Nous distinguons deux sous-classes de contraintes explicites : les contraintes statiques qui portent sur la cohérence d'un seul état de la base et les contraintes dynamiques qui portent sur les changements d'états permis de la base. L'influence de 1'héritage sur ces types de contraintes d’intégrité a été étudié, ce qui nous a mené à un ensemble de règles d'héritage des contraintes. Les contraintes structurelles sont définies de manière déclarative à l'aide de constructeurs. En revanche, les contraintes comportementales et explicites sont décrites à l'aide de règles actives. Le comportement des contraintes d'intégrité structurelles est connu en fonction des opérations de mise à jour, ce qui permet la génération automatique des règles actives associées. Nous avons développé un modèle de règles actives spécifique au problème de contrôle d'intégrité. Ce modèle est défini par les trois composantes qui sont, le langage de règles actives, les modèles de représentation et d'exécution des règles. Les principes de ce modèle sont mis en œuvre à l'aide d'un prototype de système d'intégrité, nommé ARIS, qui est implanté sous forme de sur-couche au-dessus du SGBD 02.

  • Titre traduit

    = Integrity specification and control in object oriented databases : an approach using active rules


  • Résumé

    [We present an approach using active rules to specify and control the integrity of an object- oriented databases. We suggest a typology composed of structural, behavioral and explicit constraints. The structural constraints are those inherent to abstraction mechanisms. The behavioral constraints allow to control the local and global behavior of objects, they correspond to preconditions and post conditions applied to methods and transactions. We distinguish two sub-classes of explicit constraints: the static constraints which ensure the consistency of a current state of the database and the dynamic constraints which carry on the changes of authorized states of the database. The int1uence of the inheritance on these integrity constraints was studied, this leads us to propose a set of integrity constraints inheritance rules. The structural constraints are specified in a declarative manner with constructors. However, the behavioral and explicit constraints are specified using active rules. The behavior of structural integrity constraints is known on basis of updates operations, this allows the automatic generation of associated active rules. We developed an active rule mode! adapted to the consistency problem, this model is defined by three components : the active rule language, the knowledge and the execution models. The principles of this model are realized using a prototype of an integrity system, named ARIS, which is implemented with a layered architecture "on top"' of 02 DBMS. ]

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (199 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Disponible pour le PEB
  • Cote : C.83(1743
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.