Séminaire

Les implications de la forme A->B présentes dans un ensemble de données objet-attributs étant trop nombreuses, on cherche à en isoler un sous-ensemble sans perte d’information appelé base. La plus petite de ces bases, la base canonique, peut être calculée en énumérant les ensembles d’attributs dits pseudo-fermés. Ce problème, bien que beaucoup étudié, présente toujours des zones d’ombre, notamment au sujet de l’influence de l’ordre sur la complexité de l’énumération. Nous expliquerons en quoi l’ordre est important et présenterons des résultats concernant deux catégories d’ordres importantes.