[Bug 1699] [FS] algebra of sequence concatenation is not complete from bugzilla@wiggum.w3.org on 2005-07-21 (public-qt-comments@w3.org from July 2005)

From: <bugzilla@wiggum.w3.org>
Date: Thu, 21 Jul 2005 19:05:21 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DvgMD-0000qq-2T@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1699


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Additional Comments From simeon@us.ibm.com  2005-07-21 19:05 -------
I think having a binary rule for the sequence construction is probably better.

The way sequences of values behave is described in [XQuery 3.3 Sequence
Expressions] and [Data Model 2.5 Sequences].

Those rules are recalled in [Formal Semantics 2.3.1 Formal values] (second
paragraph from the end of the section). We may want to add a pointer to the data
model there for clarification.

We may want to formalize those rules on sequences by adding something along the
lines that you propose. I believe the following would be a bit cleaner, and more
complete as well. But I am not completely convinced this is necessary.


  ---------------
  (Value) = Value


  -------------------
  (), Value2 = Value2


  -------------------
  Value1, () = Value1

- Jerome

Received on Thursday, 21 July 2005 19:05:26 UTC