In this paper, we investigate the relationship between two elementary operations on derivations in the framework of graph transformation based on adhesive categories: moving a derivation along a derivation based on parallel and sequential independence on one hand and restriction of a derivation with respect to a monomorphism into the start object on the other hand. Intuitively, a restriction clips off parts of the start object that are never matched by a rule application throughout the derivation on the other hand. As main result, it is shown that moving a derivation preserves its spine being the minimal restriction.

翻译：本文在基于黏合范畴的图变换框架下，研究了推导的两种基本操作之间的关系：一方面是基于并行与序列独立性的推导沿推导移动操作，另一方面是推导相对于起始对象单态射的限制操作。直观而言，限制操作会剪裁掉起始对象中在推导过程中始终未被规则匹配所触及的部分。主要结果表明，推导移动操作能够保持其作为最小限制的脊柱性质。