Mémoires de Fin d’Etudes
Etablissement
Université d’Oran1 - Ahmed Ben Bella
Affiliation
Département d’Informatique
Auteur
TRACHE, Nacer
Directeur de thèse
(Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Langage de specification de régles actives pour la gestion des contraintes d’intégrité dans bases de donnée objet.
Mots clés
SGBD actif- evennement - condition - action - régle actif
Résumé
La genération actuelle de SGBD à objets manque d’outils déclaratifs pour exprimer des controles sur l’intégrité des données, les controles sont ecrits dans des méthodes et laissés à la charge des programmeurs. - un etat de l’art des B,D actives est fait - une principales caracteristiques d’un système de B,D actifs ccordent une attention speciales aux evenements. - une des criptoir du formalisme de modelisation d’un régle active (evennemnt, condition, action) est donnée La remantique des régles, cad mode de connexion entre l’execution de la régle et le rapport entre l’execution de la régle et la transaction ou cette régle a été déclenchée, est etudiée et approfondie. La seulle action possible en cas de violation d’une contiante d’intégrité etait le rejet de tonte l’operation. Avec les régles actives d’autres types d’actions sont prises en compte - c’est l’objectif du cette thèse.
Statut
Validé