层次结构中重写的可逆性与组合

在本文中，我们研究基于半推出重写的图变换如何被逆转，以及如何构造重写的组合。我们阐明此类可逆性与组合如何用于为单个图与图层次结构设计审计追踪系统。这为我们提供了一种紧凑方式来维护对象更新历史，包括其多个版本。所设计框架的主要应用是表示于图层次结构中的知识的更新审计追踪。因此，我们引入规则层次结构这一概念，其表示整个层次结构的变换，研究规则层次结构如何应用于层次结构，并分析该应用可逆的条件。我们随后提出构造连续层次结构重写之组合的理论。针对带属性的简单图层次结构变换的原型审计追踪系统作为 ReGraph Python 库的一部分实现。