All Group Operator

• From: Robin Aly <robin@aly.de>
• Date: Mon, 15 Nov 2004 17:09:08 +0100
• To: www-ql@w3.org
• Message-Id: <200411151709.09231.robin@aly.de>

Hello,

could you please clarify the semantics of the &-Operator for me:  I 
understand, that:

- XML Schema ALL-Groups are represented by the &-notation in XQuery
- ALL-Groups in XML Schema may only contain Element-Nodes with MaxOccurs=1 
as content
- The & notation can be expanded to the interleaved product of its content 
items.

However, the XQuery semantics document contains judgements like the 
following:

- ElementContent & text*                     (Sec. 7.1.6)
- Type3 & processing-instruction* & comment* (Sec. 7.1.8).

How can the all-notation in these examples be expanded to an interleaved 
product?  In particular, I do not understand how to handle the occurence 
indicators.  Can type expressions be broken up? For example is the 
following expansion valid? (A,B) & C* == (C*,A,C*,B,C*)

Thanks in advance,
  Robin Aly
-- 
Robin Aly (robin@pi3.informatik.uni-mannheim.de)

Received on Monday, 15 November 2004 16:09:14 UTC