| 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é |
|