Technique de Dépliage

Une transformation de structures relationnelles qui développe un modèle en une forme arborescente en dupliquant des nœuds le long des chemins, de sorte que les relations locales deviennent des branches d'arbre, utilisée pour simplifier les arguments sémantiques et les analyses de décidabilité.