Un modèle d'exécution paramétrique pour systèmes de bases de données actifs - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1996

A parametric execution model for active database systems

Un modèle d'exécution paramétrique pour systèmes de bases de données actifs

Résumé

An active database system is able to execute automatically some predefined actions in response to specific events when some conditions are satisfied. Active rule, of the form Event-Condition-Action, are the core of this approach. This thesis is concerned with active systems execution models. The execution model of an active rule system describes when and how (scheduling, synchronization) rules triggered during the execution of a transaction are executed during an application. First, we propose a taxonomy and a graphic representation of active systems execution models. Then we set out a parametric execution model named Flare (Flexible active rule execution). An essential characteristic of the model is to consider rule modules - each module being intended to a particular use of rules. The behaviour of each rule of a module can be specified, and then, the execution strategy of each module. In order to do that, one just has to choose a value for each proposed parameter among a set of predefined values. We also give a denotational (or functionnal) semantics of the model. We show that this formalism provides an implementable specification that we use within the framework of the experiment we are making around NAOS - an active rule system for the O2 object-oriented DBMS - in order to replace its execution engine by Flare.
Un systeme de bases de données actif est capable d'executer automatiquement des actions predefinies en reponse a des evenements specifiques lorsque certaines conditions sont satisfaites. Les regles actives, de la forme evenement-Condition-Action, sont au coeur de cette approche. Dans cette these, nous nous interessons aux modeles d'execution des systemes actifs. Le modele d'execution d'un systeme actif decrit quand et comment (ordonnancement, synchronisation) sont executées, au cours d'une application, les regles declenchées lors de l'execution d'une transaction. Nous proposons tout d'abord une taxonomie et une representation graphique des modeles d'execution des systemes actifs. Nous exposons ensuite un modele d'execution parametrique nomme Flare (Flexible active rule execution). Une caracteristique essentielle de ce modele est de considerer des modules de regles - chaque module etant destine a une utilisation particuliere des regles. On peut specifier, d'une part, le comportement de chaque regle d'un module, et d'autre part, la strategie d'execution de chaque module. Il suffit, pour cela, de choisir une valeur pour chacun des parametres proposes parmi un ensemble de valeurs predefinies. Nous donnons egalement une semantique denotationnelle (ou fonctionnelle) du modele. Nous montrons que ce formalisme fournit une specification implantable que nous utilisons dans le cadre de l'experimentation que nous menons autours de NAOS - un mecanisme de regles actives pour le SGBD a objets O2 - afin de remplacer son moteur d'execution par Flare.
Fichier principal
Vignette du fichier
tel-00004983.pdf (2.3 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00004983 , version 1 (23-02-2004)

Identifiants

  • HAL Id : tel-00004983 , version 1

Citer

Thierry Coupaye. Un modèle d'exécution paramétrique pour systèmes de bases de données actifs. Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1996. Français. ⟨NNT : ⟩. ⟨tel-00004983⟩

Collections

UGA IMAG CNRS UJF
159 Consultations
139 Téléchargements

Partager

Gmail Facebook X LinkedIn More