W3C home > Mailing lists > Public > www-ql@w3.org > July to September 2003

Re: creation order vs. document order

From: Torsten Grust <Torsten.Grust@uni-konstanz.de>
Date: Tue, 23 Sep 2003 16:27:27 +0200
Message-ID: <16240.22607.912222.282480@gargle.gargle.HOWL>
To: www-ql@w3.org

Hi,

On September 23 (16:09 +0200), Jan Hidders wrote with possible deletions:
| [...]
| Ok, but can you point out to me where in the formal semantics it says
| that it *must* be so? We are trying here, for research purposes, to come
| up with a concise, formal and complete description of the semantics of
| (a subset) of XQuery, so I would like to be sure.

Is 4.8.2 in the XQuery Formal Semantics what you're looking for?

(*)              dynEnv |- Expr1 => Item1 ,..., Itemn
        dynEnv + varValue(Variable => Item1) |- Expr2 => Value1
                                  ...
        dynEnv + varValue(Variable => Itemn) |- Expr2 => Valuen
      -------------------------------------------------------------------
(**)  dynEnv |- for Variable in Expr1 return Expr2 => Value1 ,..., Valuen

Note the order of Items and Values in lines (*) and (**).  They
coincide.

Cheers,
   --Torsten

--
  | Dr. Torsten Grust                          Torsten.Grust@uni-konstanz.de |
  |                                   http://www.inf.uni-konstanz.de/~grust/ |
  | Database Research Group, University of Konstanz (Lake Constance/Germany) |
  |             (Please avoid sending me MS Word or PowerPoint attachments.) |
Received on Tuesday, 23 September 2003 10:27:29 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:17:16 UTC