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

par FRANCOIS LLIRBAT

Thèse de doctorat en Sciences appliquées

Sous la direction de ERIC SIMON.

Soutenue en 1997

à Paris 6 .

    mots clés mots clés


  • Résumé

    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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 186 P.
  • Annexes : 93 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1997 684
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1997
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.