Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinatorial geometry to provide a complete finite system of equational axioms for the first order theory of the override and update constructions on partial functions, resolving the main unsolved problem in the area.

中文翻译：

---

覆盖和更新

覆盖和更新是组合部分函数的自然构造，它们出现在各种程序规范上下文中。我们使用与组合几何的意外联系，为偏函数的覆盖和更新构造的一阶理论提供了一个完整的有限方程公理系统，解决了该领域的主要未解决问题。