Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00004983
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

Identifiers

  • HAL Id : tel-00004983, version 1

Collections

UJF | IMAG | CNRS | UGA

Citation

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⟩

Share

Metrics

Record views

281

Files downloads

155