Nouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri
Nouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri
| dc.contributor.author | BABA-HAMED Latifa | |
| dc.date.accessioned | 2022-11-27T19:36:39Z | |
| dc.date.available | 2022-11-27T19:36:39Z | |
| dc.date.issued | 06-2007 | |
| dc.description.abstract | Un système de gestion de bases de données (SGBD) actif est un système qui fournit les mêmes fonctionnalités qu’un SGBD classique et est, également, en mesure de réagir automatiquement aux changements des états de la base grâce à des règles appelées règles actives. Le déclenchement de ces règles peut produire un cycle infini et entraîner ainsi un problème de non terminaison. Dans cette thèse, nous proposons une approche d’analyse de terminaison de règles actives basée sur les réseaux de Petri (RdPs) et présentons, également la structure du modèle, son exécution ainsi que son implémentation. Cette approche est meilleure que ses précédentes du fait qu’elle tienne compte des événements composés (pour représenter des situations complexes) et de la priorité des règles d’une part, et qu’un même RdP permet la représentation de la règle et son analyse d’une autre part. Cette méthode permet de détecter des cas de terminaison non détectables par les autres approches. | |
| dc.identifier.uri | https://dspace.univ-oran1.dz/handle/123456789/1197 | |
| dc.language.iso | fr | |
| dc.subject | SGBD actif | |
| dc.subject | Règles ECA | |
| dc.subject | Terminaison de règles | |
| dc.subject | Réseau de Petri | |
| dc.subject | Chemin | |
| dc.subject | Matrice d’incidence | |
| dc.subject | Priorité des règles | |
| dc.subject | Chemin cyclique | |
| dc.title | Nouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri | |
| grade.Examinateur | ALLA Hassane, Professeur , INPG Université de Grenoble, France | |
| grade.Examinateur | ZAOUI Lynda, Maître de Conférences, USTO | |
| grade.Examinateur | BENHAMAMOUCH Djilali, Maître de Conférences, Université Oran | |
| grade.Option | informatique | |
| grade.Président | RAHMOUNI Mustapha Kamel, Professeur, Université Oran | |
| grade.Rapporteur | BELBACHIR Hafida, Professeur, USTO | |
| la.Spécialité | Informatique | |
| la.cote | TH2465 |
Fichiers
Bundle original
1 - 1 sur 1