[Bug 4639] Allow cycle checking on element graphs as well as document graphs

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





------- Comment #8 from kumarp@microsoft.com  2007-10-30 18:37 -------
During the Redmond f2f meeting, we had discussed a proposal where
-- we retain sml:acyclic on SML ref
-- we consider hierarchy of a ref when detecting cycles

For example, consider docs d1 & d2. d1 has element e1 and d2 has element
e2. Suppose sml:acyclic=true is defined on complexType A. In this case,
a cycle is formed between e1 & e2 if:
-- e1 is or contains SML ref of type A (or a type derived from it) to e2
AND
-- e2 is or contains SML ref of type A (or a type derived from it) to e1

Is this proposal covered in the latest doc? If not, was this
subsequently discussed in some email that I missed?

Received on Tuesday, 30 October 2007 18:37:18 UTC