Volet Détails du modèle

Le volet Détails du modèle présente les détails d'analyse de votre modèle. L'écran affichera des informations pour les caractéristiques suivantes :

• Nom : nom du modèle dont vous visualisez les données.
• Entités : nombre d'entités
• Relations : nombre de relations
• Est acyclique : formé par un ensemble d'entités et de relations dirigées, chaque relation reliant une entité à un autre, de telle sorte qu'il est impossible de démarrer à une entité v et de suivre une séquence de relation qui finit par revenir de nouveau à v.
• Est doublement connecté : connecté et inséparable, de telle sorte que si une entité devait être enlevée, le modèle resterait connecté.
• Est biparti : les entités peuvent être divisées en deux ensembles disjoints U et V, de telle sorte que chaque relation relie une entité en U à une entité en V ; autrement dit, U et V sont des ensembles indépendants. Parallèlement, un modèle biparti est un modèle qui ne contient pas de cycles de longueur impaire.
• Est connecté : un chemin existe d'une entité dans le modèle à une autre entité du modèle.
• Est cyclique : se compose d'un cycle unique ou, en d'autres termes, d'un certain nombre d'entités reliées dans une chaîne fermée.
• Est une forêt : modèle non dirigé, dont les composants connectés sont des arborescences ; en d'autres termes, le modèle se compose d'une union disjointe d'arborescences. Parallèlement, une forêt est un modèle sans cycle non dirigé.
• Est libre de plusieurs relations : est libre d'au moins deux relations liées aux deux mêmes entités.
• Est planaire : peut être dessiné de telle manière qu'aucune relation ne se croise.
• Est une arborescence racine : la racine a été attribuée à une entité, auquel cas les relations présentent une orientation naturelle, vers la racine ou en dehors de celle-ci.
• Est fortement connecté : un chemin existe à partir de chaque entité vers les autres entités. Cela se traduit, en particulier, par des chemins dans chaque direction ; un chemin de a à b, ainsi qu'un chemin de b à a.
• Est une arborescence : modèle non dirigé dans lequel deux entités sont reliées par un seul chemin simple.