Unravelling Technique

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A structural transformation that expands a relational model into a tree-like (unfolded) model by duplicating nodes along paths so that local relations become tree branches, used to simplify semantic arguments and decidability analyses.