Re: Updated definitions

On Thu, 2005-05-19 at 11:43 +0100, Seaborne, Andy wrote:
> Dan,
> 
> Thanks for spending the time on this - your comments are very helpful.

Sure thing...

Just replying to one part, for now...

[...]
> >>Definition: Query Solution 
> >>
> >>A Query Solution is a Pattern Solution for the Query Pattern. A
> >>substitution in a query solution only contains variables mentioned in
> >>the query.
> >>
> > 
> > suggest:
> > 
> > Given a Query Pattern, a Query Solution is one of its Pattern Solutions
> > whose substitutions only contains variables mentioned in the Query
> > Pattern.
> 
> I don't see the need for a restriction to only contain variables mentioned in 
> the query.  Is there a technical reason for this?

I don't know. I thought that's what the "only contains..." phrasing
was trying to say, and I just tried to clarify it.

> Allowing other variables/values in a solution does no harm as far as I can see 
> and allows for later extension to nested queries.
> 
> I have to change the Query Results from saying plain "all" because of variable 
> inference capabilities.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
see you at XTech in Amsterdam 24-27 May?

Received on Thursday, 19 May 2005 12:50:46 UTC