Specification et controle d'integrite dans les bases de donnees objet : approche utilisant des regles actives

par TARIK BOUAZIZ

Thèse de doctorat en Sciences appliquées

Sous la direction de A. FLORY.

Soutenue en 1995

à Villeurbanne, INSA .

    mots clés mots clés


  • Résumé

    Nous presentons une approche utilisant des regles actives pour specifier et controler l'integrite d'une base de donnees objet. Nous proposons une typologie composee des contraintes structurelles, comportementales et explicites. Les contraintes structurelles sont celles inherentes aux mecanismes d'abstraction. Les contraintes comportementales permettent de controler le comportement local et global des objets, elles correspondent aux preconditions et aux postconditions appliquees aux methodes et aux transactions. Les contraintes explicites correspondent aux proprietes invariantes de l'application. Nous distinguons deux sous-classes de contraintes explicites: les contraintes statiques qui portent sur la coherence d'un seul etat de la base et les contraintes dynamiques qui portent sur les changements d'etats permis de la base. L'influence de l'heritage sur ces types de contraintes d'integrite a ete etudie, ce qui nous a mene a un ensemble de regles d'heritage des contraintes. Les contraintes structurelles sont definies de maniere declarative a l'aide de constructeurs. En revanche, les contraintes comportementales et explicites sont decrites a l'aide de regles actives. Le comportement des contraintes d'integrite structurelles est connu en fonction des operations de mise a jour, ce qui permet la generation automatique des regles actives associees. Nous avons developpe un modele de regles actives specifique au probleme de controle d'integrite. Ce modele est defini par les trois composantes qui sont, le langage de regles actives, les modeles de representation et d'execution des regles. Les principes de ce modele sont mis en uvre a l'aide d'un prototype de systeme d'integrite, nomme aris, qui est implante sous forme de sur-couche au-dessus du sgbd 02


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 199 P.
  • Annexes : 125 REF.

Où se trouve cette thèse ?

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