edit

SPARQL Working Group

Minutes of 26 October 2010

Agenda
http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0156.html
Seen
Andy Seaborne, Axel Polleres, Birte Glimm, Carlos Buil Aranda, Gregory Williams, Ivan Herman, Matthew Perry, Nicholas Humfrey, Nico Michaelis, Olivier Corby, Paula Gearon, Sandro Hawke, Steve Harris
Regrets
Andy Seaborne
Chair
Axel Polleres
Scribe
Unknown gearon
IRC Log
Original
Resolutions
  1. Approve minutes at http://www.w3.org/2009/sparql/meeting/2010-10-19 link
Topics

There are some format problems with the chatlog. Please correct them and reload this page. They are labeled on this page in a red box, like this message.

It may be helpful to

13:46:26 <RRSAgent> logging to http://www.w3.org/2010/10/26-sparql-irc

RRSAgent IRC Bot: logging to http://www.w3.org/2010/10/26-sparql-irc

13:46:42 <AxelPolleres> Zakim, this will be sparql

Axel Polleres: Zakim, this will be sparql

13:46:43 <Zakim> ok, AxelPolleres; I see SW_(SPARQL)10:00AM scheduled to start in 14 minutes

Zakim IRC Bot: ok, AxelPolleres; I see SW_(SPARQL)10:00AM scheduled to start in 14 minutes

13:47:15 <sandro> my regrets, alas.     :-(

Sandro Hawke: my regrets, alas. :-(

13:47:19 <AxelPolleres> agenda+ SELECT *

Axel Polleres: agenda+ SELECT *

13:47:33 <AxelPolleres> agenda- SELECT *

Axel Polleres: agenda- SELECT *

13:47:45 <AxelPolleres> doesn't work it seems ;-)

Axel Polleres: doesn't work it seems ;-)

13:47:54 <AxelPolleres> agenda+ admin

Axel Polleres: agenda+ admin

13:48:14 <AxelPolleres> agenda+ aggregates issues

Axel Polleres: agenda+ aggregates issues

13:48:31 <AxelPolleres> agenda+ potentially bound/SELECT*

Axel Polleres: agenda+ potentially bound/SELECT*

13:48:59 <AxelPolleres> agenda+ test case approval

Axel Polleres: agenda+ test case approval

13:49:02 <AxelPolleres> agenda?

Axel Polleres: agenda?

13:49:33 <AxelPolleres> item- 1

Axel Polleres: item- 1

13:49:58 <AxelPolleres> agenda?

Axel Polleres: agenda?

13:50:14 <AxelPolleres> remove agendum 1

Axel Polleres: remove agendum 1

13:50:19 <AxelPolleres> agenda?

Axel Polleres: agenda?

13:53:43 <AxelPolleres> chair: Axel Polleres
13:54:00 <AxelPolleres> regrets: Andy Seaborne
13:54:42 <AxelPolleres> agenda: http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0156.html
13:54:56 <Zakim> SW_(SPARQL)10:00AM has now started

Zakim IRC Bot: SW_(SPARQL)10:00AM has now started

13:55:00 <Zakim> SW_(SPARQL)10:00AM has ended

Zakim IRC Bot: SW_(SPARQL)10:00AM has ended

13:55:02 <Zakim> Attendees were

Zakim IRC Bot: Attendees were

13:55:09 <AxelPolleres> alex, can you scribe?

Axel Polleres: alex, can you scribe?

13:55:45 <AxelPolleres> Zaki, are you ok?!?

Axel Polleres: Zaki, are you ok?!?

13:56:09 <AxelPolleres> Zakim, you start end end our meeting 5min in advance... strange...

Axel Polleres: Zakim, you start end end our meeting 5min in advance... strange...

13:56:09 <Zakim> I don't understand you, AxelPolleres

Zakim IRC Bot: I don't understand you, AxelPolleres

13:56:30 <Zakim> SW_(SPARQL)10:00AM has now started

Zakim IRC Bot: SW_(SPARQL)10:00AM has now started

13:56:38 <Zakim> + +49.911.973.4.aaaa

Zakim IRC Bot: + +49.911.973.4.aaaa

13:56:39 <Zakim> +??P1

Zakim IRC Bot: +??P1

13:56:53 <NickH> Zakim, ??P1 is me

Nicholas Humfrey: Zakim, ??P1 is me

13:56:53 <Zakim> +NickH; got it

Zakim IRC Bot: +NickH; got it

13:57:12 <NickH> not a lot of people here?

Nicholas Humfrey: not a lot of people here?

13:57:20 <NicoM> Zakim, +49 is me

Nico Michaelis: Zakim, +49 is me

13:57:20 <Zakim> +NicoM; got it

Zakim IRC Bot: +NicoM; got it

13:58:28 <Zakim> +AxelPolleres

Zakim IRC Bot: +AxelPolleres

13:58:49 <AxelPolleres> Zakim, who is on the phone?

Axel Polleres: Zakim, who is on the phone?

13:58:51 <Zakim> On the phone I see NicoM, NickH, AxelPolleres

Zakim IRC Bot: On the phone I see NicoM, NickH, AxelPolleres

13:58:55 <Zakim> +kasei

Zakim IRC Bot: +kasei

13:59:01 <Zakim> +OlivierCorby

Zakim IRC Bot: +OlivierCorby

13:59:13 <kasei> Zakim, mute me

Gregory Williams: Zakim, mute me

13:59:19 <Zakim> kasei should now be muted

Zakim IRC Bot: kasei should now be muted

13:59:44 <Zakim> +??P24

Zakim IRC Bot: +??P24

14:00:15 <cbuilara> zaki, Zakim ??P24 is me

Carlos Buil Aranda: zaki, Zakim ??P24 is me

14:00:28 <Zakim> +MattPerry

Zakim IRC Bot: +MattPerry

14:00:29 <cbuilara> Zakim ??P24 is me

Carlos Buil Aranda: Zakim ??P24 is me

14:00:38 <cbuilara> Zakim, ??P24 is me

Carlos Buil Aranda: Zakim, ??P24 is me

14:00:38 <Zakim> +cbuilara; got it

Zakim IRC Bot: +cbuilara; got it

14:00:41 <AxelPolleres> let's wait for 1-2 min for people to join still

Axel Polleres: let's wait for 1-2 min for people to join still

14:00:55 <Zakim> +??P27

Zakim IRC Bot: +??P27

14:01:04 <SteveH> Zakim, ??P27 is me

Steve Harris: Zakim, ??P27 is me

14:01:04 <Zakim> +SteveH; got it

Zakim IRC Bot: +SteveH; got it

14:01:07 <pgearon> dialing in now....

Paula Gearon: dialing in now....

14:01:22 <AxelPolleres> Zakim, who is on the phone?

Axel Polleres: Zakim, who is on the phone?

14:01:23 <Zakim> On the phone I see NicoM, NickH, AxelPolleres, kasei (muted), OlivierCorby, cbuilara, MattPerry, SteveH

Zakim IRC Bot: On the phone I see NicoM, NickH, AxelPolleres, kasei (muted), OlivierCorby, cbuilara, MattPerry, SteveH

14:01:26 <SteveH> out of UK lines, again :(

Steve Harris: out of UK lines, again :(

14:01:40 <AxelPolleres> still only one UK line?

Axel Polleres: still only one UK line?

14:01:47 <Zakim> +pgearon

Zakim IRC Bot: +pgearon

14:01:48 <SteveH> dunno, not enough

Steve Harris: dunno, not enough

14:01:50 <AxelPolleres> ivan, sandro?

Axel Polleres: ivan, sandro?

14:03:17 <AxelPolleres> Zakim, who is on the phone?

Axel Polleres: Zakim, who is on the phone?

14:03:17 <Zakim> On the phone I see NicoM, NickH, AxelPolleres, kasei (muted), OlivierCorby, cbuilara, MattPerry, SteveH, pgearon

Zakim IRC Bot: On the phone I see NicoM, NickH, AxelPolleres, kasei (muted), OlivierCorby, cbuilara, MattPerry, SteveH, pgearon

14:03:56 <SteveH> bglimm, there's no UK lines :(

Steve Harris: bglimm, there's no UK lines :(

14:04:27 <AxelPolleres> scribe: paul gearon

Scribe problem: the name 'paul gearon' does not match any of the 65 active names. Either change the name used, or request the list of names be altered.Active names: Ahmed Ezzat Alexandre Passant Andrea Westerinen Andrei Lopatenko Andy Seaborne Axel Polleres Bijan Parsia Birte Glimm Bryan Thompson Carlos Buil Aranda Chimezie Ogbuji Cui Tao Daniel Schutzer Dave Beckett David Charboneau David Newman Davide Palmisano Dhanapalan Kulandai Vadivel Dirk Colaert Dirk-Willem van Gulik Edward Thomas Elias Torres Enrico Franconi Eric Prud'hommeaux Frank Careccia Fred Zemke Gregory Williams Hiroyuki Sato Ivan Mikhailov Ivan Herman Jacek Kopecký Jari Vänttinen Jean-François Baget Jeen Broekstra Jeff Pollock John Clark Jos De Roo Kendall Clark Kevin Wilkinson Lee Feigenbaum Luke Wilson-Mawer Matthew Perry Michael Smith Michele Minno Nicholas Humfrey Nico Michaelis Nophadol Jekjantuk Olivier Corby Orri Erling Paula Gearon Prateek Jain Rachel Yager Roland Schwaenzl Sandro Hawke Sergio Tessaris Simon Johnston Souripriya Das Steve Harris Sven Groppe Timo Westkämper Tommi Koivula Yoshio Fukushige Zakim IRC Bot Trackbot IRC Bot RRSAgent IRC Bot

(Scribe set to Unknown gearon)

14:05:02 <AxelPolleres> next agendum

Axel Polleres: next agendum

14:05:04 <pgearon> AxelPolleres: same agenda as from last week

Axel Polleres: same agenda as from last week [ Scribe Assist by Paula Gearon ]

14:05:15 <ivan> zakim, dial ivan-voip

Ivan Herman: zakim, dial ivan-voip

14:05:15 <Zakim> ok, ivan; the call is being made

Zakim IRC Bot: ok, ivan; the call is being made

14:05:17 <Zakim> +Ivan

Zakim IRC Bot: +Ivan

14:06:04 <AxelPolleres> PROPOSED: Approve minutes at http://www.w3.org/2009/sparql/meeting/2010-10-19

PROPOSED: Approve minutes at http://www.w3.org/2009/sparql/meeting/2010-10-19

14:06:46 <AxelPolleres> RESOLVED: Approve minutes at http://www.w3.org/2009/sparql/meeting/2010-10-19

RESOLVED: Approve minutes at http://www.w3.org/2009/sparql/meeting/2010-10-19

14:07:16 <AxelPolleres> ivan: w3.org has problems... some attack

Ivan Herman: w3.org has problems... some attack [ Scribe Assist by Axel Polleres ]

14:07:39 <bglimm> Yes, but it is always my private money. The university should pay for that!

Birte Glimm: Yes, but it is always my private money. The university should pay for that!

14:07:44 <pgearon> AxelPolleres: next regular meeting 2nd November

Axel Polleres: next regular meeting 2nd November [ Scribe Assist by Paula Gearon ]

14:07:46 <AxelPolleres> Next regular meeting: 2010-11-02 @ 15:00 UK / 10:00 EDT (scribe: Alex Passant)

Axel Polleres: Next regular meeting: 2010-11-02 @ 15:00 UK / 10:00 EDT (scribe: Alex Passant)

14:08:12 <AxelPolleres> next agendum

Axel Polleres: next agendum

14:08:39 <AxelPolleres> topic: aggregate issues

1. aggregate issues

14:08:39 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0040.html

Axel Polleres: http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0040.html

14:08:43 <pgearon> AxelPolleres: some mail exchanged, mainly answered by Steve and Andy about how to deal with unbounds and aggregates

Axel Polleres: some mail exchanged, mainly answered by Steve and Andy about how to deal with unbounds and aggregates [ Scribe Assist by Paula Gearon ]

14:09:02 <Zakim> +bglimm

Zakim IRC Bot: +bglimm

14:09:15 <bglimm> Zakim, mute me

Birte Glimm: Zakim, mute me

14:09:15 <pgearon> AxelPolleres: variable which is GROUPed BY is potentially unbound, should there by an error or unbound

Axel Polleres: variable which is GROUPed BY is potentially unbound, should there by an error or unbound [ Scribe Assist by Paula Gearon ]

14:09:15 <Zakim> bglimm should now be muted

Zakim IRC Bot: bglimm should now be muted

14:09:48 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0002.html

Axel Polleres: http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0002.html

14:10:19 <pgearon> AxelPolleres: according to Andy, in ARQ there will be a separate group for unbound

Axel Polleres: according to Andy, in ARQ there will be a separate group for unbound [ Scribe Assist by Paula Gearon ]

14:10:57 <pgearon> SteveH: the idea is that the key for that group would be a symbol indicating an error

Steve Harris: the idea is that the key for that group would be a symbol indicating an error [ Scribe Assist by Paula Gearon ]

14:11:32 <AxelPolleres>  GROUP BY (?X+?Y)

Axel Polleres: GROUP BY (?X+?Y)

14:12:10 <AxelPolleres> GROUP BY ((?X+?Y) AS ?Z)

Axel Polleres: GROUP BY ((?X+?Y) AS ?Z)

14:12:34 <kasei> I thought we had agreed to support grouping by expressions(?)

Gregory Williams: I thought we had agreed to support grouping by expressions(?)

14:12:48 <pgearon> SteveH: I don't think you can group by expressions. You can do it with a subquery that projects an expression

Steve Harris: I don't think you can group by expressions. You can do it with a subquery that projects an expression [ Scribe Assist by Paula Gearon ]

14:13:11 <SteveH> kasei, I'm not 100% sure

Steve Harris: kasei, I'm not 100% sure

14:13:15 <pgearon> SteveH: if X and Y are both strings, then the evaluation will be an error, and all of those errors will fall into one group

Steve Harris: if X and Y are both strings, then the evaluation will be an error, and all of those errors will fall into one group [ Scribe Assist by Paula Gearon ]

14:13:18 <AxelPolleres> current understanding is all errors and unbound would fall into one group

Axel Polleres: current understanding is all errors and unbound would fall into one group

14:13:37 <pgearon> AxelPolleres: is that compliant with what SQL does?

Axel Polleres: is that compliant with what SQL does? [ Scribe Assist by Paula Gearon ]

14:13:47 <AxelPolleres> Axel: is that compliant with SQL?

Axel Polleres: is that compliant with SQL? [ Scribe Assist by Axel Polleres ]

14:14:14 <pgearon> SteveH: SQL doesn't define this, I don't think. I can't remember offhand. SPARQL have more type errors than SQL because SQL is loosely typed and SPARQL is strongly typed

Steve Harris: SQL doesn't define this, I don't think. I can't remember offhand. SPARQL have more type errors than SQL because SQL is loosely typed and SPARQL is strongly typed [ Scribe Assist by Paula Gearon ]

14:14:34 <SteveH> pgearon, other way round SQL = strong, SPARQL = weak   -- ish

Steve Harris: pgearon, other way round SQL = strong, SPARQL = weak -- ish

14:14:41 <AxelPolleres> Axel: ListEval() in the algebra needs adaption, yes?

Axel Polleres: ListEval() in the algebra needs adaption, yes? [ Scribe Assist by Axel Polleres ]

14:14:45 <pgearon> AxelPolleres: leave that with the editors. It will come back to the evaluation of list eval in the algebra

Axel Polleres: leave that with the editors. It will come back to the evaluation of list eval in the algebra [ Scribe Assist by Paula Gearon ]

14:15:19 <MattPerry> FYI- Oracle SQL treats Null as a distinct group

Matthew Perry: FYI- Oracle SQL treats Null as a distinct group

14:16:21 <pgearon> MattPerry: just did a quick experiment of group by on a table with some null columns, and it came out as a separate group

Matthew Perry: just did a quick experiment of group by on a table with some null columns, and it came out as a separate group [ Scribe Assist by Paula Gearon ]

14:16:23 <SteveH> good enough :)

Steve Harris: good enough :)

14:16:25 <AxelPolleres> ACTION: steve to implement the common understanding in ListEval() on unbound treated like errors

ACTION: steve to implement the common understanding in ListEval() on unbound treated like errors

14:16:26 <trackbot> Created ACTION-328 - Implement the common understanding in ListEval() on unbound treated like errors [on Steve Harris - due 2010-11-02].

Trackbot IRC Bot: Created ACTION-328 - Implement the common understanding in ListEval() on unbound treated like errors [on Steve Harris - due 2010-11-02].

14:17:02 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0041.html

Axel Polleres: http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0041.html

14:17:26 <AxelPolleres> order by  parameter for group concat

Axel Polleres: order by parameter for group concat

14:17:26 <pgearon> AxelPolleres: recall that we'd agreed to put an order by parameter on group concat

Axel Polleres: recall that we'd agreed to put an order by parameter on group concat [ Scribe Assist by Paula Gearon ]

14:18:00 <AxelPolleres> ASC|DESC only or full expressions for order?

Axel Polleres: ASC|DESC only or full expressions for order?

14:18:07 <pgearon> AxelPolleres: in reply to this, Steve and also Andy said that we'd allow ASC|DESC

Axel Polleres: in reply to this, Steve and also Andy said that we'd allow ASC|DESC [ Scribe Assist by Paula Gearon ]

14:18:18 <pgearon> Steveh: that's not my opinion

Steve Harris: that's not my opinion [ Scribe Assist by Paula Gearon ]

14:18:28 <pgearon> SteveH: too much for this version of the spec

Steve Harris: too much for this version of the spec [ Scribe Assist by Paula Gearon ]

14:18:53 <pgearon> (referring to full expressions for ordering)

Paula Gearon: (referring to full expressions for ordering)

14:19:26 <pgearon> SteveH: my proposal is to leave it as it is. No ORDER BY expression at all

Steve Harris: my proposal is to leave it as it is. No ORDER BY expression at all [ Scribe Assist by Paula Gearon ]

14:19:43 <pgearon> AxelPolleres: I think that this would not be useful

Axel Polleres: I think that this would not be useful [ Scribe Assist by Paula Gearon ]

14:20:01 <pgearon> AxelPolleres: disagree. Been using for a decade and have never needed ordering on this

Axel Polleres: disagree. Been using for a decade and have never needed ordering on this [ Scribe Assist by Paula Gearon ]

14:20:01 <SteveH> Lee may have an opinion, he uses it a lot too

Steve Harris: Lee may have an opinion, he uses it a lot too

14:20:14 <AxelPolleres> Zakim, who is on the phone?

Axel Polleres: Zakim, who is on the phone?

14:20:14 <Zakim> On the phone I see NicoM, NickH, AxelPolleres, kasei (muted), OlivierCorby, cbuilara, MattPerry, SteveH, pgearon, Ivan, bglimm (muted)

Zakim IRC Bot: On the phone I see NicoM, NickH, AxelPolleres, kasei (muted), OlivierCorby, cbuilara, MattPerry, SteveH, pgearon, Ivan, bglimm (muted)

14:20:55 <pgearon> AxelPolleres: don't want to close this issue until we have other opinions. Expect Lee and Andy will have opinions on this, and they're not here this week

Axel Polleres: don't want to close this issue until we have other opinions. Expect Lee and Andy will have opinions on this, and they're not here this week [ Scribe Assist by Paula Gearon ]

14:20:59 <SteveH> q+ to speak against simple ordering

Steve Harris: q+ to speak against simple ordering

14:21:44 <SteveH> we'll also need limit

Steve Harris: we'll also need limit

14:21:51 <AxelPolleres> Options for group_concat: 1) no order_by 2) simple order_by 3) full ordering by expressions (e.g. order by second letter of a word, etc.)

Axel Polleres: Options for group_concat: 1) no order_by 2) simple order_by 3) full ordering by expressions (e.g. order by second letter of a word, etc.)

14:22:05 <AxelPolleres> simple order by would just be ASC|DESC

Axel Polleres: simple order by would just be ASC|DESC

14:22:27 <pgearon> SteveH: concern that it won't meet all that many use cases, and we'll probably have full ordering in SPARQL 1.2 that may be different, and we don't want to have alternatives due to complexity

Steve Harris: concern that it won't meet all that many use cases, and we'll probably have full ordering in SPARQL 1.2 that may be different, and we don't want to have alternatives due to complexity [ Scribe Assist by Paula Gearon ]

14:22:48 <AxelPolleres> argumetn against 3) is  too much work at t the moment.

Axel Polleres: argumetn against 3) is too much work at t the moment.

14:23:08 <SteveH> 1 for now

Steve Harris: 1 for now

14:23:09 <kasei> 1 (punt until next time)

Gregory Williams: 1 (punt until next time)

14:23:12 <MattPerry> 1

Matthew Perry: 1

14:23:13 <pgearon> 1

Paula Gearon: 1

14:23:13 <NickH> 1

Nicholas Humfrey: 1

14:23:14 <bglimm> 1

Birte Glimm: 1

14:23:18 <AxelPolleres> strawpoll... 1,2,3?

Axel Polleres: strawpoll... 1,2,3?

14:23:31 <OlivierCorby> 1

Olivier Corby: 1

14:23:33 <AxelPolleres> 2 mildly, but can live with 1.

Axel Polleres: 2 mildly, but can live with 1.

14:23:36 <NicoM> 1

Nico Michaelis: 1

14:23:57 <pgearon> AxelPolleres: that's quite clear. We'll stick with no ORDER BY in group concat for the moment

Axel Polleres: that's quite clear. We'll stick with no ORDER BY in group concat for the moment [ Scribe Assist by Paula Gearon ]

14:24:04 <AxelPolleres> current understanding is... let's stick with no ORDER BY

Axel Polleres: current understanding is... let's stick with no ORDER BY

14:24:23 <pgearon> next agendum

Paula Gearon: next agendum

14:24:23 <AxelPolleres> next agendum

Axel Polleres: next agendum

14:24:24 <SteveH> can we have a postponed t�hig for the next group?

Steve Harris: can we have a postponed t�hig for the next group?

14:24:31 <AxelPolleres> q?

Axel Polleres: q?

14:24:35 <SteveH> q-

Steve Harris: q-

14:24:39 <AxelPolleres> ack steveh

Axel Polleres: ack steveh

14:24:43 <AxelPolleres> next agendum

Axel Polleres: next agendum

14:24:59 <AxelPolleres> http://www.w3.org/2009/sparql/wiki/Potentially_bound

Axel Polleres: http://www.w3.org/2009/sparql/wiki/Potentially_bound

14:25:19 <pgearon> AxelPolleres: definition of "potentially bound" variables on the wiki

Axel Polleres: definition of "potentially bound" variables on the wiki [ Scribe Assist by Paula Gearon ]

14:25:42 <pgearon> AxelPolleres: two things are ambiguous at the moment. First is, what is the meaning of "SELECT *"

Axel Polleres: two things are ambiguous at the moment. First is, what is the meaning of "SELECT *" [ Scribe Assist by Paula Gearon ]

14:26:22 <pgearon> AxelPolleres: the spec mentions SELECT * in 2 places

Axel Polleres: the spec mentions SELECT * in 2 places [ Scribe Assist by Paula Gearon ]

14:26:28 <AxelPolleres> 17.2.3 Converting Solution Modifiers

Axel Polleres: 17.2.3 Converting Solution Modifiers

14:26:48 <AxelPolleres> VS := list of all variables visible in the pattern

Axel Polleres: VS := list of all variables visible in the pattern

14:27:22 <pgearon> ... that's not clearly defined, but could use potentially bound variable definition

Paula Gearon: ... that's not clearly defined, but could use potentially bound variable definition

14:28:30 <pgearon> AxelPolleres: proposal to use "potentially bound" as the definition for SELECT *

Axel Polleres: proposal to use "potentially bound" as the definition for SELECT * [ Scribe Assist by Paula Gearon ]

14:28:56 <SteveH> doesn't this contradict a strawpoll earlier?

Steve Harris: doesn't this contradict a strawpoll earlier?

14:28:56 <AxelPolleres> strawpoll, shall we go ahead with that definiition to define "SELECT *"?

Axel Polleres: strawpoll, shall we go ahead with that definiition to define "SELECT *"?

14:30:20 <AxelPolleres> P = { P1 } GROUP BY E1 ... En such that either there is an Ei of the form ?v or (E AS ?v)

Axel Polleres: P = { P1 } GROUP BY E1 ... En such that either there is an Ei of the form ?v or (E AS ?v)

14:30:51 <pgearon> SteveH: there's a clause in the Potentially Bound def, that refers to GROUP BY, and this means that GROUP BY affects SELECT *

Steve Harris: there's a clause in the Potentially Bound def, that refers to GROUP BY, and this means that GROUP BY affects SELECT * [ Scribe Assist by Paula Gearon ]

14:31:18 <SteveH> SELECT * WHERE { ?x ?y ?z } GROUP BY ?x, ?y

Steve Harris: SELECT * WHERE { ?x ?y ?z } GROUP BY ?x, ?y

14:31:30 <bglimm> Zakim, unmute me

Birte Glimm: Zakim, unmute me

14:31:30 <Zakim> bglimm should no longer be muted

Zakim IRC Bot: bglimm should no longer be muted

14:31:57 <bglimm> q+ to ask why * is not just an abbreviation for all variables mentioned

Birte Glimm: q+ to ask why * is not just an abbreviation for all variables mentioned

14:32:07 <pgearon> SteveH: think that the previous strawpoll suggested that query should be an error

Steve Harris: think that the previous strawpoll suggested that query should be an error [ Scribe Assist by Paula Gearon ]

14:32:10 <SteveH> bglimm, quite

Steve Harris: bglimm, quite

14:33:07 <SteveH> MINUS is a little tricky

Steve Harris: MINUS is a little tricky

14:33:10 <pgearon> bglimm: recall that was an error, since * refers to all variables, and ?z cannot be selected when it is not in the GROUP BY

Birte Glimm: recall that was an error, since * refers to all variables, and ?z cannot be selected when it is not in the GROUP BY [ Scribe Assist by Paula Gearon ]

14:33:24 <AxelPolleres> "The syntax SELECT * is an abbreviation that selects all of the variables that could be bound in a query."

Axel Polleres: "The syntax SELECT * is an abbreviation that selects all of the variables that could be bound in a query."

14:33:32 <AxelPolleres> section 15.1.1

Axel Polleres: section 15.1.1

14:33:46 <kasei> i think the current definition has some bugs in it. I'm in favor or using something like this, but probably not this exact text.

Gregory Williams: i think the current definition has some bugs in it. I'm in favor or using something like this, but probably not this exact text.

14:34:06 <kasei> in particular, the definition for SERVICE seems wrong.

Gregory Williams: in particular, the definition for SERVICE seems wrong.

14:34:08 <pgearon> I agree with bglimm. I think * would refer to ?z and this must lead to an error

Paula Gearon: I agree with bglimm. I think * would refer to ?z and this must lead to an error

14:34:13 <SteveH> 10.1 "The syntax SELECT * is an abbreviation that selects all of the variables in a query."

Steve Harris: 10.1 "The syntax SELECT * is an abbreviation that selects all of the variables in a query."

14:34:43 <kasei> Zakim, unmute me

Gregory Williams: Zakim, unmute me

14:34:43 <Zakim> kasei should no longer be muted

Zakim IRC Bot: kasei should no longer be muted

14:34:44 <cbuilara> but the SERVICE definition does not use potentally bound

Carlos Buil Aranda: but the SERVICE definition does not use potentally bound

14:34:49 <SteveH> http://www.w3.org/TR/rdf-sparql-query/#select

Steve Harris: http://www.w3.org/TR/rdf-sparql-query/#select

14:34:55 <pgearon> bglimm: I don't see why the definition needs to be complicated. Just refer to all variables, and then define errors in some cases

Birte Glimm: I don't see why the definition needs to be complicated. Just refer to all variables, and then define errors in some cases [ Scribe Assist by Paula Gearon ]

14:34:59 <MattPerry> SELECT * FROM EMP GROUP BY job is an error in SQL

Matthew Perry: SELECT * FROM EMP GROUP BY job is an error in SQL

14:36:53 <kasei> kasei: the defintion for SERVICE seems wrong as "SERVICE ?t {...}" alone won't mean ?t is potentially bound

Gregory Williams: the defintion for SERVICE seems wrong as "SERVICE ?t {...}" alone won't mean ?t is potentially bound [ Scribe Assist by Gregory Williams ]

14:37:08 <kasei> Zakim, mute me

Gregory Williams: Zakim, mute me

14:37:08 <Zakim> kasei should now be muted

Zakim IRC Bot: kasei should now be muted

14:37:09 <pgearon> SteveH: the first spec just says that SELECT * selects all the variables from the query

Steve Harris: the first spec just says that SELECT * selects all the variables from the query [ Scribe Assist by Paula Gearon ]

14:37:30 <pgearon> +q

Paula Gearon: +q

14:37:38 <bglimm> ack bglimm

Birte Glimm: ack bglimm

14:37:38 <Zakim> bglimm, you wanted to ask why * is not just an abbreviation for all variables mentioned

Zakim IRC Bot: bglimm, you wanted to ask why * is not just an abbreviation for all variables mentioned

14:38:14 <bglimm> Zakim, mute me

Birte Glimm: Zakim, mute me

14:38:14 <Zakim> bglimm should now be muted

Zakim IRC Bot: bglimm should now be muted

14:38:52 <SteveH> it does need a bit of rewording, yes

Steve Harris: it does need a bit of rewording, yes

14:39:18 <kasei> bglimm, which is the same as not grouping, right? :)

Gregory Williams: bglimm, which is the same as not grouping, right? :)

14:39:29 <SteveH> kasei, well, it's the same as lots of groups of 1

Steve Harris: kasei, well, it's the same as lots of groups of 1

14:39:36 <bglimm> yes, subquery might be a reason for the def to be more complicated

Birte Glimm: yes, subquery might be a reason for the def to be more complicated

14:39:43 <SteveH> kasei, not grouping is one group of everything

Steve Harris: kasei, not grouping is one group of everything

14:40:06 <AxelPolleres> paul: subquery SELECT * would mean also the variables in the subquery..�

Paula Gearon: subquery SELECT * would mean also the variables in the subquery..� [ Scribe Assist by Axel Polleres ]

14:40:29 <pgearon> according to the SPARQL 1 definition, yes

Paula Gearon: according to the SPARQL 1 definition, yes

14:40:31 <kasei> ok, right. I hope my main point was clear, though: it's a nice syntax shortcut.

Gregory Williams: ok, right. I hope my main point was clear, though: it's a nice syntax shortcut.

14:41:07 <pgearon> we need to update the definition so that it does not "accidentally" refer to variables that are out of scope (ie in a subquery)

Paula Gearon: we need to update the definition so that it does not "accidentally" refer to variables that are out of scope (ie in a subquery)

14:41:24 <Zakim> -NickH

Zakim IRC Bot: -NickH

14:41:33 <AxelPolleres>  SELECT *  WHERE { ... SELECT ?X { ?X ? Y ...} }}

Axel Polleres: SELECT * WHERE { ... SELECT ?X { ?X ? Y ...} }}

14:41:43 <SteveH> something like "all of the variables in this query, or it's subqueries"

Steve Harris: something like "all of the variables in this query, or it's subqueries"

14:41:44 <AxelPolleres> would leave ?Y always unbound

Axel Polleres: would leave ?Y always unbound

14:42:16 <pgearon> I don't want ?Y to appear in SELECT * in that case

Paula Gearon: I don't want ?Y to appear in SELECT * in that case

14:42:20 <SteveH> my feeling is that as soon as you get to that level of complexity * is pretty useless

Steve Harris: my feeling is that as soon as you get to that level of complexity * is pretty useless

14:42:31 <bglimm> yes, I agree with pgearon

Birte Glimm: yes, I agree with pgearon

14:42:35 <MattPerry> I agree with Paul. It should only get ?x

Matthew Perry: I agree with Paul. It should only get ?x

14:42:45 <Zakim> +??P1

Zakim IRC Bot: +??P1

14:42:52 <kasei> pgearon, how is that different from variables which aren't grouped?

Gregory Williams: pgearon, how is that different from variables which aren't grouped?

14:42:54 <NickH> Zakim, ??P1 is me

Nicholas Humfrey: Zakim, ??P1 is me

14:42:54 <Zakim> +NickH; got it

Zakim IRC Bot: +NickH; got it

14:43:10 <SteveH> subqueries, and MINUS I think

Steve Harris: subqueries, and MINUS I think

14:43:18 <SteveH> perhaps

Steve Harris: perhaps

14:43:21 <OlivierCorby> Nice use case: SELECT *  WHERE { ... SELECT * { ?X ? Y ...} }}

Olivier Corby: Nice use case: SELECT * WHERE { ... SELECT * { ?X ? Y ...} }}

14:43:40 <AxelPolleres> SELECT *  WHERE { ... SELECT ?X { ?X ? Y ...} }}

Axel Polleres: SELECT * WHERE { ... SELECT ?X { ?X ? Y ...} }}

14:43:41 <bglimm> that should give ?x ?y IMO

Birte Glimm: that should give ?x ?y IMO

14:43:44 <pgearon> variables (like ?y in the above query) are not in scope, whereas ungrouped variables are in scope, but not selectable

Paula Gearon: variables (like ?y in the above query) are not in scope, whereas ungrouped variables are in scope, but not selectable

14:43:44 <Zakim> -OlivierCorby

Zakim IRC Bot: -OlivierCorby

14:44:06 <AxelPolleres> strawpoll... +1 ?X only -1 ?X ?Y

Axel Polleres: strawpoll... +1 ?X only -1 ?X ?Y

14:44:08 <kasei> +1

Gregory Williams: +1

14:44:10 <SteveH> 0

Steve Harris: 0

14:44:12 <pgearon> +1

Paula Gearon: +1

14:44:14 <bglimm> +1

Birte Glimm: +1

14:44:14 <MattPerry> +1

Matthew Perry: +1

14:44:18 <cbuilara> +1

Carlos Buil Aranda: +1

14:44:31 <Zakim> +OlivierCorby

Zakim IRC Bot: +OlivierCorby

14:44:38 <pgearon> I don't see how it could be otherwise. There's no point in having a SELECT clause in the subquery otherwise

Paula Gearon: I don't see how it could be otherwise. There's no point in having a SELECT clause in the subquery otherwise

14:44:50 <bglimm> yes

Birte Glimm: yes

14:44:53 <SteveH> pgearon, huh? it's just sugar

Steve Harris: pgearon, huh? it's just sugar

14:45:00 <pgearon> +q

Paula Gearon: +q

14:45:04 <bglimm> Zakim, unmute me

Birte Glimm: Zakim, unmute me

14:45:04 <Zakim> bglimm should no longer be muted

Zakim IRC Bot: bglimm should no longer be muted

14:45:46 <AxelPolleres> birte: "potentially bound" should only cover subqueries but not more...

Birte Glimm: "potentially bound" should only cover subqueries but not more... [ Scribe Assist by Axel Polleres ]

14:45:46 <SteveH> agreed, "potentially bound" is not a good phrase, ambiguous

Steve Harris: agreed, "potentially bound" is not a good phrase, ambiguous

14:45:51 <pgearon> bglimm: the def should cover only the subquery case, don't want it too complicated

Birte Glimm: the def should cover only the subquery case, don't want it too complicated [ Scribe Assist by Paula Gearon ]

14:46:04 <pgearon> AxelPolleres: can you make a proposal please?

Axel Polleres: can you make a proposal please? [ Scribe Assist by Paula Gearon ]

14:46:09 <pgearon> bglimm: OK

Birte Glimm: OK [ Scribe Assist by Paula Gearon ]

14:46:18 <AxelPolleres> ACTION: birte to come up with a more minimalistic proposal for "*" than "potentially bound"

ACTION: birte to come up with a more minimalistic proposal for "*" than "potentially bound"

14:46:18 <trackbot> Created ACTION-329 - Come up with a more minimalistic proposal for "*" than "potentially bound" [on Birte Glimm - due 2010-11-02].

Trackbot IRC Bot: Created ACTION-329 - Come up with a more minimalistic proposal for "*" than "potentially bound" [on Birte Glimm - due 2010-11-02].

14:49:00 <AxelPolleres> birte, it seems that a stub for that is already in Section 17...

Axel Polleres: birte, it seems that a stub for that is already in Section 17...

14:49:27 <pgearon> +1 for waiting for bglimm's proposed definition

Paula Gearon: +1 for waiting for bglimm's proposed definition

14:50:17 <pgearon> AxelPolleres: another restriction on the use of SELECT expressions, which is where this definition of Potentially Bound was coming into play

Axel Polleres: another restriction on the use of SELECT expressions, which is where this definition of Potentially Bound was coming into play [ Scribe Assist by Paula Gearon ]

14:50:22 <AxelPolleres> "The new variable is introduced using the keyword AS; it must not already be potentially bound."

Axel Polleres: "The new variable is introduced using the keyword AS; it must not already be potentially bound."

14:50:40 <AxelPolleres> and I guess we'll have thesame restriction for BIND

Axel Polleres: and I guess we'll have thesame restriction for BIND

14:50:50 <SteveH> this is to meet Andy's SAMPLE(?x) A ?x usecase I think

Steve Harris: this is to meet Andy's SAMPLE(?x) A ?x usecase I think

14:50:54 <SteveH> *AS

Steve Harris: *AS

14:52:01 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0087.html

Axel Polleres: http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0087.html

14:52:30 <AxelPolleres> andy seems to indicate it's natural

Axel Polleres: andy seems to indicate it's natural

14:52:31 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0101.html

Axel Polleres: http://lists.w3.org/Archives/Public/public-rdf-dawg/2010OctDec/0101.html

14:52:33 <pgearon> +q

Paula Gearon: +q

14:52:43 <AxelPolleres> lee says it is forbidden in Glitter

Axel Polleres: lee says it is forbidden in Glitter

14:54:14 <pgearon> pgearon: Andy will have a strong opinion here. Any conversation we have will be repeated once he comes back, so we shouldn't spend any further time on it

Paula Gearon: Andy will have a strong opinion here. Any conversation we have will be repeated once he comes back, so we shouldn't spend any further time on it [ Scribe Assist by Paula Gearon ]

14:54:26 <SteveH> we can deal with the SAMPLE usecase by just saying that no two aggregate expression can project the same variable name

Steve Harris: we can deal with the SAMPLE usecase by just saying that no two aggregate expression can project the same variable name

14:54:30 <pgearon> -q

Paula Gearon: -q

14:54:31 <SteveH> as you said they're a different case

Steve Harris: as you said they're a different case

14:54:42 <AxelPolleres> Problem is: "The new variable is introduced using the keyword AS; it must not already be potentially bound." Aggregates are not affected by this restriction

Axel Polleres: Problem is: "The new variable is introduced using the keyword AS; it must not already be potentially bound." Aggregates are not affected by this restriction

14:54:46 <SteveH> you=axel :)

Steve Harris: you=axel :)

14:55:56 <bglimm> I'll try

Birte Glimm: I'll try

14:56:01 <pgearon> AxelPolleres: on test cases. Ask that anyone with a test case on the list, please fix wrt what was decided last time

Axel Polleres: on test cases. Ask that anyone with a test case on the list, please fix wrt what was decided last time [ Scribe Assist by Paula Gearon ]

14:56:02 <MattPerry> sure

Matthew Perry: sure

14:56:10 <kasei> is there a summary of "what we decided last time"? I didn't really follow it.

Gregory Williams: is there a summary of "what we decided last time"? I didn't really follow it.

14:56:22 <SteveH> bye all

Steve Harris: bye all

14:56:44 <MattPerry> bye

Matthew Perry: bye

14:56:48 <ivan> zakim, drop me

Ivan Herman: zakim, drop me

14:56:52 <kasei> ok, that would help. the minutes weren't all that clear to me.

Gregory Williams: ok, that would help. the minutes weren't all that clear to me.

14:56:56 <AxelPolleres> Axel: will try to include decisions from ;last time on test vocab into README.html

Axel Polleres: will try to include decisions from ;last time on test vocab into README.html [ Scribe Assist by Axel Polleres ]

14:57:02 <Zakim> Ivan is being disconnected

Zakim IRC Bot: Ivan is being disconnected

14:57:04 <pgearon> AxelPolleres: summary from last time in the minutes, but hope to get this into html files before the end of the week

Axel Polleres: summary from last time in the minutes, but hope to get this into html files before the end of the week [ Scribe Assist by Paula Gearon ]

14:57:06 <Zakim> -Ivan

Zakim IRC Bot: -Ivan

14:57:08 <Zakim> -MattPerry

Zakim IRC Bot: -MattPerry

14:57:12 <Zakim> -bglimm

Zakim IRC Bot: -bglimm

14:57:22 <Zakim> -SteveH

Zakim IRC Bot: -SteveH

14:57:28 <AxelPolleres> please all try to update test cases accordingly, and send a mail to the list askign for approval, as you';re done.

Axel Polleres: please all try to update test cases accordingly, and send a mail to the list askign for approval, as you';re done.

14:57:29 <Zakim> -NicoM

Zakim IRC Bot: -NicoM

14:57:31 <Zakim> -OlivierCorby

Zakim IRC Bot: -OlivierCorby

14:57:34 <Zakim> -kasei

Zakim IRC Bot: -kasei

14:57:35 <AxelPolleres> adjourned

Axel Polleres: adjourned

14:57:40 <Zakim> -cbuilara

Zakim IRC Bot: -cbuilara

14:57:40 <Zakim> -NickH

Zakim IRC Bot: -NickH

14:59:08 <AxelPolleres> rrsagent, make records public

Axel Polleres: rrsagent, make records public

14:59:14 <Zakim> -AxelPolleres

Zakim IRC Bot: -AxelPolleres

14:59:18 <Zakim> -pgearon

Zakim IRC Bot: -pgearon

14:59:20 <Zakim> SW_(SPARQL)10:00AM has ended

Zakim IRC Bot: SW_(SPARQL)10:00AM has ended

14:59:23 <Zakim> Attendees were +49.911.973.4.aaaa, NickH, NicoM, AxelPolleres, kasei, OlivierCorby, MattPerry, cbuilara, SteveH, pgearon, Ivan, bglimm

Zakim IRC Bot: Attendees were +49.911.973.4.aaaa, NickH, NicoM, AxelPolleres, kasei, OlivierCorby, MattPerry, cbuilara, SteveH, pgearon, Ivan, bglimm

15:01:47 <AxelPolleres> paul, guess you can just generate the minutes and the nstore the html locally to be sure it's not lost.

Axel Polleres: paul, guess you can just generate the minutes and the nstore the html locally to be sure it's not lost.

15:01:50 <AxelPolleres> thanks!

Axel Polleres: thanks!



Formatted by CommonScribe