Thèse soutenue

Aide a la specification et a l'optimisation des applications actives

FR  |  
EN
Auteur / Autrice : FRANCOIS LLIRBAT
Direction : Eric Simon
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1997
Etablissement(s) : Paris 6

Résumé

FR

Les regles actives (ou triggers) sont maintenant largement reconnues comme un mecanisme puissant pour mettre en oeuvre de nombreuses applications base de donnees. Les triggers sont d'ailleurs presentes comme une fonctionnalite cle dans les systemes de base de donnees commerciaux. Cependant, les systemes actifs existants ont deux inconvenients majeurs. D'abord, leurs modeles d'execution de regles sont souvent trop limites et manquent de flexibilite. Ils sont donc difficilement adaptables aux besoins semantiques, parfois tres differents, des applications. Ensuite, les applications de production s'executant sur ces systemes ont souvent des problemes de performance. Dans cette these, nous presentons une nouvelle approche qui vise a aider le concepteur d'une application active a : (i) specifier la semantique de son application independamment du systeme (et langage) actif cible, et (ii) developper au dessus d'un systeme (actif) existant, un systeme d'execution de regles qui met en oeuvre exactement la semantique specifiee. Nous proposons aussi deux techniques d'optimisation de regles actives applicables dans le contexte des triggers sql3 (le standard en cours). La premiere technique permet d'eviter les calculs redondants dans les conditions et action des triggers. La deuxieme technique utilise des versions pour reduire les blocages inter-transactions dus aux verrous supplementaires de lecture pris lors de l'execution des regles actives et des contraintes.