Specifying the join semantics of a merge operation