[Bug 12534] [DM] Definition of 'tree' missing and apparently non-standard

http://www.w3.org/Bugs/Public/show_bug.cgi?id=12534

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mike@saxonica.com

--- Comment #2 from Michael Kay <mike@saxonica.com> 2011-04-20 21:32:53 UTC ---
There's only one kind of tree that's of interest in XDM, and that's the tree of
nodes defined implicitly by the dm:parent relation between nodes. XDM is
talking about this kind of tree (and indeed, this kind of node), and XDM nodes
each belong to exactly one tree of this kind. A "subtree" of this tree is not
itself a tree, because it does not contain a root node; it is an essential
property of a root node that it has no dm:parent.

I wasn't aware that the use of the term "tree" in mathematics differed so
widely from the use of the term in computer science - clearly it's the usage in
computer science that's relevant here, not the usage in mathematics.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Wednesday, 20 April 2011 21:32:56 UTC