ADQL-2_0-Err-1 < IVOA

---+ ADQL-2.0 Erratum 1: Remove Nonterminal Separator

Author: DAL WG

Date last changed: 2017-05-26

---++ Rationale

The BNF grammar for the [[http://www.ivoa.net/Documents/cover/ADQL-20081030.html][ADQL-2.0]] language is listed in Appendix A of the recommendation. In this grammar a =separator= rule is present, with the following definition:
<verbatim>
<separator> ::= { <comment> | <space> | <newline> }...
</verbatim>
However this nonterminal token is only referenced in the rule for the =character_string_literal=, i.e.
<verbatim>
<character_string_literal> ::=
  <quote> [ <character_representation>... ] <quote>
  [ { <separator>... <quote> 
  [ <character_representation>... ] <quote> }... ]
</verbatim>
It is uncontroversial that the intent is to allow comments and white-space wherever SQL-92 allows them. The !ADQL standard however says differently, and there should be a clarification.
Between two alternatives, adding a clarifying subsection to the !ADQL-2.0 standard or removing the =separator=, the second seems more attractive and has been considered suitable for a simple erratum to the current recommendation.

---++ Erratum Content

The definition for the nonterminal =separator= in the ADQL-2.0 specification is not clear. It suggests, with its only reference in the =character_string_literal= that any !ADQL language token may be followed by a separator and that nondelimiter tokens shall be followed by a delimiter token or a separator. The intention, however, was probably to let white-space and comments occur wherever they are allowed in SQL-92.

This Erratum updates the !ADQL-2.0 recommendation removing the =separator= token rule from the !ADQL grammar in its Appendix A. This, consequently, modifies the rule for =character_string_literal= to
<verbatim>
<character_string_literal> ::=
  <quote> [ <character_representation>... ] <quote>
</verbatim>
omitting the final
<verbatim>
  [ { <separator>... <quote> 
  [ <character_representation>... ] <quote> }... ]
</verbatim>
These changes won't affect in any other way the ADQL grammar.

---++ Impact Assessment

The change introduced by this erratum has no other impact on the current ADQL grammar and language apart from what already described in the previous sections of this note. Current implementations and parsers of ADQL query strings shouldn't be affected at all by this change. Moreover, current BNF grammar in !ADQL-2.0 needs changes to be machine readable and validated and one of the issues in BNF is exactly how to deal with optional or required white spaces.

---++ Note

This Erratum was previously part of the !ADQL2Err1 Note still available on [[http://volute.g-vo.org/svn/trunk/projects/dal/ADQL2Err1/][volute]]. The content makes some small changes with respect to that Note at svn revision 2802.

<!--
      * Set ALLOWTOPICRENAME = IVOA.TWikiAdminGroup
-->
This topic: IVOA > WebHome > IvoaDAL > ADQL > ADQL-2_0-Errata > ADQL-2_0-Err-1
Topic revision: r1 - 2017-05-26 - MarcoMolinaro