- From: Gregory Williams <greg@evilfunhouse.com>
- Date: Thu, 16 Jun 2016 16:18:04 -0700
- To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
- Cc: public-sparql-dev@w3.org
On Jun 16, 2016, at 4:11 PM, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote: > > >> The wording here is a bit awkward, but I believe the subquery evaluation >> is still occurring first *within the context of the evaluating the EXISTS >> pattern*. > > There is no such qualifier in the wording. Agreed. >> I think calling out the bottom-up semantics here is a good thing, but the >> text might have benefited from discussing how evaluating EXISTS patterns >> is different than evaluating other type of pattern. > > I don't consider calling out something that is not true a good thing. I am suggesting that qualifying the sentence would be more appropriate than removing it entirely, because in all cases other than sub-selects within EXISTS blocks, it is a true statement (as should be clear from the evaluation semantics). .greg
Received on Thursday, 16 June 2016 23:18:29 UTC