Earlier this week, I wrote that In sharing scientific research data, the goal is often to provide data reductions to the extent possible without loss – the output is, in a strong sense, equivalent to the input.

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.