Tenets of (Scalable) Data Unification
Donny Winston · 2021
Unification is a process of combining partial-information structures. First used in computing for theorem proving, 1 it is used widely for type inference in programming-language compilers and for logic-programming systems. Data unification is described well in this whitepaper by Stonebraker.