Skip to Main content Skip to Navigation

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

Abstract : 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.
Document type :
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download
Contributor : Thèses Imag <>
Submitted on : Monday, February 23, 2004 - 11:47:47 AM
Last modification on : Friday, November 6, 2020 - 4:05:01 AM
Long-term archiving on: : Friday, September 14, 2012 - 10:35:09 AM


  • HAL Id : tel-00004983, version 1




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. ⟨tel-00004983⟩



Record views


Files downloads