W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1699] [FS] algebra of sequence concatenation is not complete

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


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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC