diff --git a/spec/index.html b/spec/index.html index 93922483..0bdb3bb2 100644 --- a/spec/index.html +++ b/spec/index.html @@ -4042,8 +4042,9 @@

Projection

selects all of the variables that are in-scope at that point in the query. It excludes variables only used in FILTER, in the right-hand side of MINUS, and takes account of subqueries.

-

Use of SELECT * is only permitted when the query does not have a - GROUP BY clause.

+

Use of SELECT * is only permitted when the query does not use grouping + (either through the use of a GROUP BY clause, or due to the presence of aggregates + in HAVING or ORDER BY clauses).

 PREFIX  foaf:  <http://xmlns.com/foaf/0.1/>
@@ -11420,6 +11421,12 @@ 

Grammar

a simple path (an IRI, the keyword `a`, or a variable), and not for other path expressions. +
  • + The use of `*` in a SELECT clause + is not allowed in a query containing a GROUP BY clause + or when aggregates appear in either HAVING or + ORDER BY clauses. +
  • @@ -12884,7 +12891,7 @@

    Changes between SPARQL 1.1 Query Language and SPARQL 1.2 Query Language

    `LANGDIR`, `hasLANG`, hasLANGDIR, and `STRLANGDIR`
  • Define parser input as being an RDF string. - Exclude Unicode surrogates from Unicode escape sequences.
  • + Exclude Unicode surrogates from Unicode escape sequences
  • Remove concepts of plain and simple literals, in favor of explicit mentions of `xsd:string`
  • Migrate XML Schema references to 1.1. Note that for datatypes involving years, the year 1 BCE is represented by `0000` and not as `-0001`. @@ -12893,13 +12900,14 @@

    Changes between SPARQL 1.1 Query Language and SPARQL 1.2 Query Language

    for details.
  • Update references to XPath from 2.0 to 3.1
  • -
  • Define `EBV` as a functional form.
  • -
  • Forbid duplicated variables in `VALUES`.
  • -
  • Add in-between term type ORDER BY support for triple terms in .
  • -
  • Fixes the previously informal definition of `EXISTS` by adding a formal definition in , which includes extending the eval function with a solution mapping μctx as third argument.
  • +
  • Define `EBV` as a functional form
  • +
  • Forbid duplicated variables in `VALUES`
  • +
  • Add in-between term type ORDER BY support for triple terms in
  • +
  • Fixes the previously informal definition of `EXISTS` by adding a formal definition in , which includes extending the eval function with a solution mapping μctx as third argument
  • Rename function `RDFterm-equal` as and expand the definition to cover literal arguments of differing datatypes where the - values are known to be equal or to be not equal.
  • + values are known to be equal or to be not equal +
  • Expand the restriction on the use of `*` projection on queries that have implicit grouping
  • @@ -12933,15 +12941,15 @@

    Changes between SPARQL 1.1 Query Language and SPARQL 1.2 Query Language

    as links to their respective definition
  • Rename the function used to define the evaluation of property path expressions in - from eval to ppeval.
  • + from eval to ppeval
  • Rename the function used within the definition of the ALP function - from eval to reachableTerms.
  • -
  • Add section about SPARQL expression evaluation errors.
  • -
  • Rename section "Filter evaluation" as .
  • + from eval to reachableTerms +
  • Add section about SPARQL expression evaluation errors
  • +
  • Rename section "Filter evaluation" as
  • Improve definitions of all algebra operators that involve expressions (Filter, Diff, - LeftJoin, and Extend).
  • + LeftJoin, and Extend)