5-6 Liens entre procédures exploratoires et propriétés

Ces liens indiquent la précision avec laquelle les procédures délivrent des informations sur une propriété. Une procédure exploratoire peut être :

• optimale, s’il s’agit de la procédure la plus efficace pour extraire une propriété donnée ;
• suffisante, si elle extrait la propriété de façon significative, sans pour autant être la plus performante ;
• nécessaire, si c’est la seule capable d’extraire cette propriété.