If you share data on the web as delimiter-separated values – that is, as spreadsheets – there is a world of power-ups available to you.

In response to this note, a reader asked How is data unification different than data fusion?

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.

Values like “3” are typically considered separately from constraints like “< 10” or types like “number”.