- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 12 Jul 2016 20:55:40 -0700
- To: Daniel Hernandez <daniel@degu.cl>, public-sparql-exists@w3.org
On 07/12/2016 06:43 PM, Daniel Hernandez wrote:
> Hi all,
>
[...]
>
> [1]: http://arxiv.org/abs/1606.01441v2
I took a quick look at this version and found a problem.
Consider query Q
SELECT ?x WHERE { ?x :p :b . FILTER ( 1=0 ) }
There can never be any solutions returned for this query, so dom(Q) = {}, but
Lemma 1 says that dom(Q) = { ?x }.
Consider also
SELECT ?x WHERE { }
The discussion of in-scope in 18.2.1 of the spec has similar problems.
You are also missing SELECT *
peter
Received on Wednesday, 13 July 2016 03:56:10 UTC