Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Une étude récente des dépendances difonctionnelles entre des sous-ensembles d'attributs d'un schéma relationnel nous a permis de mettre en évidence une nouvelle forme de décomposition appelée décomposition canonique, qui est sans perte d'information par produit relatif. Cependant, l'ordre et le désordre coexistent dans la plupart des instances relationnelles des bases de données. Cela traduit la présence d'une dépendance difonctionnelle partielle entre les attributs du schéma relationnel correspondant. L'objectif de notre communication est de présenter trois algorithmes de décomposition d'un schéma de relation qui reposent sur l'existence d'une dépendance difonctionnelle totale ou partielle entre deux sous-ensembles d'attributs de ce schéma. Ces …
Colloque
L'étude de la tolérance aux fautes dans les programmes nous a permis de trouver les conditions de consistance d'un état courant du programme en cours d'exécution relativement à sa spécification. Parmi les méthodes de recouvrement avant de programmer, l'approche dite préventive se caractérise par une plus grande simplicité. Testée sur des petits programmes, la méthode préventive a fourni des résultats satisfaisants aussi bien au niveau de la fiabilité que de l'efficacité. L'objectif de cette étude est de proposer une méthode de transformation automatique d'une version initiale d'un logiciel en une version cible plus fiable dans le sens où celle-ci va …
Colloque
L'étude de la tolérance aux fautes dans les programmes nous a permis de trouver les conditions de consistance d'un état courant du programme en cours d'exécution relativement à sa spécification. Parmi les méthodes de recouvrement avant de programmer, l'approche dite préventive se caractérise par une plus grande simplicité. Testée sur des petits programmes, la méthode préventive a fourni des résultats satisfaisants aussi bien au niveau de la fiabilité que de l'efficacité. L'objectif de cette étude est de proposer une méthode de transformation automatique d'une version initiale d'un logiciel en une version cible plus fiable dans le sens où celle-ci va …
