补丁分类理论（2013）

下载PDF摘要：当与远方合作者共同处理同一文档时，经常使用一个版本控制系统，该程序可跟踪文件的历史记录并帮助将其他人带来的修改作为补丁导入。这种系统的实现需要处理许多情况，这取决于用户对文件执行的操作，因此很难确保正确解决所有极端情况。在这里，不是验证这种系统的实现，而是采用一种补充方法：我们引入一个理论模型，该模型由它应该满足的通用属性抽象地定义，并对它进行具体描述。我们首先定义文件和补丁的类别，其中两个共同补丁的效果的合并操作由pushout定义。由于两个补丁可能不兼容，因此此类pushout不一定存在于类别中，这就提出了一个问题表示和操作处于冲突状态的文件的正确类别。我们通过调查文件的无限完成来提供无限答案，并给出了对此类别的明确描述：其对象是由带有传递关系的线标记的有限集，而同态是关于标记和关系的部分函数。