登入選單

返回Google圖書搜尋

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

Thierry Coupaye (auteur en informatique).)

出版	1996
URL	http://books.google.com.hk/books?id=58nEMgEACAAJ&hl=&source=gbs_api

註釋

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