Abstract 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.