Técnica de Desenrollamiento

Una transformación estructural que expande un modelo relacional en una forma arborescente (desenrollada) duplicando nodos a lo largo de caminos para que las relaciones locales se conviertan en ramas de árbol; se usa para simplificar argumentos semánticos y análisis de decidibilidad.