Definition


Two objects are history equivalent if their histories are shapshot equivalent. History equivalence is a binary relation that can be applied to objects of any kind (of the real world or of a database).