- From: Morris Matsa <mmatsa@us.ibm.com>
- Date: Thu, 25 Oct 2001 14:33:03 -0400
- To: Eric van der Vlist <vdv@dyomedea.com>
- Cc: Karuna A <a_karuna@hotmail.com>, xmlschema-dev@w3.org
The one caveat is that the recursive structure must be satisfiable by a finite instance, e.g. type foo can not require a sub-tag of type foo. This was explained in [1]. Morris [1] http://lists.w3.org/Archives/Public/xmlschema-dev/2001May/0053.html Eric van der Vlist <vdv@dyomedea.com>@w3.org on 10/25/2001 12:00:16 PM Sent by: xmlschema-dev-request@w3.org To: Karuna A <a_karuna@hotmail.com>, xmlschema-dev@w3.org cc: Subject: Re: Recursion in XML Schema Hi, Karuna A wrote: > Hi:I am defining an XML schema for predicate properties. In the process, I > have defined a global element and a global complex type associated with it. > Now, can this complex type be referenced inside another element which is of > this complex type itself? Here is an example: > <property> := <invariant>|<next>|<stable> > <invariant> := <predicate>|<quantification>|<property> > See how <property> has <invariant> as a child and <invariant> in turn has > <property> as it's possible child. Is this valid?!? Will instance documents > be valid if such recusrsion of elements occurs? Sure, the XML Schema vocabulary itself gives us a bunch of such recursions! (xs:elements , xs:complexType, xs:sequence to name few can all be nested). To do so, the simplest way is to define your elements as global and reference them. This has recently been discussed in this thread: http://lists.w3.org/Archives/Public/xmlschema-dev/2001Oct/thread.html#138 Hope this helps. Eric > Please help. Thanks > --Karuna -- Rendez-vous à Paris pour le Forum XML. http://www.technoforum.fr/Pages/forumXML01/index.html ------------------------------------------------------------------------ Eric van der Vlist http://xmlfr.org http://dyomedea.com http://xsltunit.org http://4xt.org http://examplotron.org ------------------------------------------------------------------------
Received on Thursday, 25 October 2001 14:38:28 UTC