Un modèle d'exécution paramétrique pour systèmes de bases de données actifs / Thierry Coupaye ; sous la direction de Christine Collet

par Thierry Coupaye

Thèse de doctorat en Sciences appliquées

Sous la direction de Christine Collet.

Soutenue en 1996

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Un système de bases de données actif est capable d'exécuter automatiquement des actions prédéfinies en réponse a des évènements spécifiques lorsque certaines conditions sont satisfaites. Les règles actives, de la forme évènement-condition-action, sont au cœur de cette approche. Dans cette thèse, nous nous intéressons aux modèles d'exécution des systèmes actifs. Le modèle d'exécution d'un système actif décrit quand et comment (ordonnancement, synchronisation) sont exécutées, au cours d'une application, les règles déclenchées par l'exécution d'une transaction. Nous proposons tout d'abord une taxonomie et une représentation graphique des modèles d'exécution des systèmes actifs. Nous exposons ensuite un modèle d'exécution paramétrique nomme fl'are (flexible active rule execution). Une caractéristique essentielle de ce modèle est de considérer des modules de règles chaque module étant destine à une utilisation particulière des règles. On peut spécifier, d'une part, le comportement de chaque règle d'un module, et d'autre part, la stratégie d'exécution de chaque module. Il suffit, pour cela, de choisir une valeur pour chacun des paramètres proposes parmi un ensemble de valeurs prédéfinies. Nous donnons également une sémantique dénotationnelle (ou fonctionnelle) du modèle. Nous montrons que ce formalisme fournit une spécification implantable que nous utilisons dans le cadre de l'expérimentation que nous menons autours de naos un mécanisme de règles actives pour le SGBD a objets O#2 afin de remplacer son moteur d'exécution par fl'are


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 196 P.
  • Annexes : 153 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1996-COU
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.