- From: Torsten Grust <Torsten.Grust@uni-konstanz.de>
- Date: Tue, 23 Sep 2003 16:27:27 +0200
- 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