Re: Issue 1 - ToMultiSet

On 07/07/16 15:13, james anderson wrote:
> good afternoon;
>
>> On 2016-07-07, at 15:42, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote:
>>
>>
>>
>> On 07/07/2016 06:31 AM, james anderson wrote:
>>> good afternoon;
>>>
>>>> On 2016-07-07, at 14:12, Peter F. Patel-Schneider <pfpschneider@gmail.com
>>>> <mailto:pfpschneider@gmail.com>> wrote:
>>>>
>>>>
>>>>
>>>> […]
>>>>
>>>
>>> -1
>>>
>>> what is the concrete benefit of the “add a note” approach, when not putting
>>> the entry in the table puts the reader in the position to need to correlate
>>> information at different locations in the document?
>>>
>>> best regards, from berlin,
>>> ---
>>> james anderson | james@dydra.com <mailto:james@dydra.com> | http://dydra.com
>>
>> The only benefit is that this is a smaller change.  It does not remove
>> ToMultiSet from the solution modifiers part of the algebra.
>>
>> I don't think that there are any negative consequences of the removal.  I
>> believe that moving ToMultiSet results in a better document.  However, the
>> SPARQL document is long and complex so I'm not completely sure of the lack of
>> negative consequences, thus I prefer the smaller change because I see only a
>> tiny added benefit from making the larger change.
>
>
> if to add that entry to the 18.2 table column were to introduce some contradiction into the recommendation, when a literal reading of the algebra indicates that form should be a permitted argument, then there is more to be repaired in the text than a single note can rectify.
>
> if that table is taken as the basis for a literal reading, the most direct correction would be to accept the text at 17.4.1.4 as is, with the understanding the the reader will not take it to be a literal specification and change the definition for exists in 18.6 to permit a “solution modifier”.
>

Adding to the "Graph Pattern" column is not clean. The things already 
there act on graph patterns.

That's why ToMultiSet is in the solution modifiers column - it acts on a 
solution sequence.

EXISTS then misuses "graph pattern". The argument is "the algebra 
transalation of a GroupGraphPattern" i.e. the {} so it uses Graph 
Pattern in a different sense.

 Andy

> best regards, from berlin,
> ---
> james anderson | james@dydra.com | http://dydra.com
>
>
>
>
>
>

Received on Monday, 11 July 2016 15:09:08 UTC