- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Fri, 15 Jul 2016 08:07:14 -0700
- To: Andy Seaborne <andy@apache.org>, public-sparql-exists@w3.org
On 07/15/2016 07:41 AM, Andy Seaborne wrote: > On a different thread: > 15/07/16 04:11, james anderson wrote:wrote: >> i modified the suggested page for the multiset >> problem, >> > https://github.com/w3c/sparql-exists/wiki/EXISTS-must-permit-multiset-arguments, > > There seems to be a mixture of before and after evaluation. Multisets of > solution mappings are the outcome of evaluation. > > eval(whatever form) works on algebra by eval'ing the sub algebra expressions > and combining them. > > In this regard, issue 1 is different to issues 2-5 because it's able the > static algebra, not the execution. [...] > > Andy The change in name of this page is not correct, as the problem is that the argument to EXISTS can be a ToMultiSet expression, from a SubSelect, or a multiset, from a VALUES. Both of these would initially have been part of a Join expression but the simplification step 18.2.2.8 (probably!) says to simplify away that Join if the argument to EXISTS has only one subconstruct. peter
Received on Friday, 15 July 2016 15:07:44 UTC