In this paper, we investigate the relationship between two elementary operations on derivations in adhesive high-level replacement systems that are well-known in the context of graph transformation: 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.

翻译：本文研究了粘性高级替换系统中两种基本推导操作之间的关系，这些操作在图变换领域广为人知：一方面是基于并行独立性和顺序独立性的沿推导移动推导，另一方面是相对于到起始对象的单同态的推导限制。直观上，限制操作会裁剪掉起始对象中在整个推导过程中从未被规则应用匹配的部分。作为主要结果，本文证明移动推导会保持其脊柱（即最小限制）不变。