[Bug 4894] Clarify that acyclicity is determined polymorphically

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





------- Comment #3 from pratul.dublish@microsoft.com  2007-11-12 18:29 -------
Agree with the proposal in 4639. Recommend resolving this as FIXED

--- Copied from 4639 ---------
2. Replace section 4.3.1.3 with the following text:
----------------
If T is a complex type definition with {acyclic} true, then instances of T MUST
NOT create cycles in any model. More precisely, the directed graph whose arcs
are SML references of a given complexType (and any derived types) and whose
nodes are all the elements pointed to by this set of SML references, must be
acyclic.

---- end copy -----

Received on Monday, 12 November 2007 18:29:30 UTC