On Mon, 23 Apr 2001, Eric Armstrong wrote:
> 1) The ID should ideally be globally unique.
> That requirement allows me to modify a document, while you
> do likewise, and merge our additions with a minimum of
> overlap problems. (The fact that we both created nodes in
> the same place creates a decidable problem: Should your
> change come before or after mine. But if we both create a
> node with the same ID, the issue is realistically
> undecidable: Who gets the original ID, who gets a different
> ID, and what happens as a consequence of changing the ID
> you *thought* you had created, if you are the loser.
No two people should ever create a node with the same ID. You can get
around this simply by attaching the user ID to the ID of every document.
If two people are trying to merge changes to the same node, it'll
necessarily be up to a human to resolve which addition gets merged. I'm
not aware of any version control system that works otherwise.
-- +=== Eugene Eric Kim ===== firstname.lastname@example.org ===== http://www.eekim.com/ ===+ | "Writer's block is a fancy term made up by whiners so they | +===== can have an excuse to drink alcohol." --Steve Martin ===========+
This archive was generated by hypermail 2.0.0 : Tue Aug 21 2001 - 17:58:05 PDT