W3C home > Mailing lists > Public > www-ql@w3.org > October to December 2004

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 22 July 2006 00:10:20 GMT