Minutes of QT joint call #655, 2016-09-27

Apologies for the tardy arrival of these minutes.

Minutes of XML Query/XSL WG Joint Teleconference #655, 2016-09-27

> This week, I'd like us to work on the following items:
> J4.2 (F&O)
> J4.4 (XPath)
> J4.6 (Test suite)
> Q2.4 (XQueryX)


> Key:
> J = Joint Query/XSLT meeting;
> Q = Query-only meeting


> Teleconference connection details
> ---------------------------------

> (Member only)
> https://lists.w3.org/Archives/Member/w3c-xsl-query/2015Sep/0014.html



> SUMMARY OF DECISIONS
> ====================

RESOLVED: To treat bug 29830 "[FO31] Unclear what happens w.r.t.
backwards / forwards compatibility in fn:transform" as editorial.

RESOLVED: To treat bug 29831 "[FO31] fn:transform and serialization to
string" as editorial.

RESOLVED: to adopt MK's proposal for bug 29850 "Functions having the
'same signature'", in which identity of types is defined (for purposes
of section 1.7.4, rule 5c of F and O) as each of the two types being a
subtype of the other.

RESOLVED: to adopt the fix proposed in bug 29855 Non-capturing
subexpressions.

RESOLVED: to adopt the fix proposed in bug 29856 "Operations on gYear,
gYearMonth, etc" , removing the false implication that
component-extraction functions are defined for these types.

RESOLVED: to accept MK's proposal in comment 2 of bug 29853
"fn:collation-key() does not depend on implicit-timezone".

RESOLVED: to accept the proposal in the bug report of bug 29857
"Uniqueness scope for generate-id()".

RESOLVED: to accept the proposal in bug 29863 "Is there a constructor
function for xs:numeric?", with the proviso that an explanatory note
to point out that the constructor will always return a double (owing
to the fact that the lexical space of double covers the entire lexical
space of xs:numeric).

RESOLVED: to accept the change proposed in bug 29864 "Incorrect
example of format-number() with exponent separator".

RESOLVED: to accept the proposal outlined in comment 2 of bug 29865
"UCA collation in substring matching".

RESOLVED: accept the proposal in bug 29872 "escape=yes in parse-json()
and json-to-xml()".

RESOLVED: Close 29876 "Drop FORX0003, to bring regexes in line with
XSLT 3.0" as WORKSFORME.



> NEW ACTION ITEMS
> ================

ACTION A-655-01: MK to produce detailed proposal for 29832
"fn:transform options" for WG to review.

ACTION A-655-02: MK to write up suggestion in comment 2 of bug 29853
"fn:collation-key() does not depend on implicit-timezone".

ACTION A-655-03: MK to make the change proposed in comment 2 of bug 29865 "UCA
collation in substring matching".

ACTION A-655-04: MK to fix bug 29872 "escape=yes in parse-json() and
json-to-xml()" as proposed.

ACTION A-655-05: Jonathan Robie to make a proposal to resolve bug 29858 "Named
Function References - context information".

ACTION A-655-06: Jonathan Robie to review the use of the verb "denote" in the
XPath and XQuery specs.



> ===================================================
> Joint XML Query Working Group and XSL Working Group
> ===================================================


> J1. Administrative Items

> J1.1 Selection of secretary(s)

> Michael Sperberg-McQueen has been asked to take the minutes.  Michael Dyck 
> has been asked to stand by.

MSM took these minutes.

> NOTE: The chair will confirm the secretary prior to the start of the 
> meeting.


> Most recent secretaries (least-recent participants first):
> ----------------------------------------------------------
> (This list identifies the most recent three occasions when each 
> participant acted as Secretary for the Task Force.  The person whose 
> name is at the top of the list should plan to take the minutes at the 
> meeting identified by this agenda; if that person is unavailable, then 
> the job will fall to the next person on the list, etc.

> Michael Dyck        - 2016-06-14, 2016-03-08, 2015-11-17
> Abel Braaksma       - 2016-06-28
> Jonathan Robie      - 2016-07-05, 2016-04-12, 2016-01-05
> Josh Spiegel        - 2016-07-19, 2016-03-15, 2015-12-01
> Mike Kay            - 2016-07-26, 2016-04-26, 2016-03-01
> O'Neil Delpratt     - 2016-09-06, 2016-04-19, 2016-02-02
> Liam Quin           - 2016-09-13, 2016-05-03, 2016-01-19
> Tim Mills           - 2016-09-20, 2016-05-10, 2016-03-22
> Michael Sprbrg-McQn - 2016-09-27, 2016-06-07, 2016-02-09 



> J1.2 Call the Roll -- NOT DONE DURING TELECONFERENCE

> Note to secretary: During the meeting, take a note of the Webex 
> participants, then list in the minutes those present and those who sent 
> regrets.  All others will be presumed to have been absent without regrets.


> XML Query WG membership list: 
> http://www.w3.org/2000/09/dbwg/details?group=18797&order=org

> XSL WG membership list: 
> http://www.w3.org/2000/09/dbwg/details?group=19552&order=org

  Abel Braaksma 
  Andrew Coleman (chair; IBM Corporation)
  O'Neil Delpratt 
  Michael Dyck 
  Michael Kay
  Tim Mills (Clinical and Biomedical Computing Ltd)
  Liam Quin (W3C Staff)
  Jonathan Robie (EMC Corporation)
  Michael Sperberg-McQueen 
   Josh Spiegel (Oracle Corporation)

> Regrets:

  None recorded.


> J1.3 Approval of agenda

> J1.3.1 Additions, deletions, or corrections?

Josh Spiegel has asked to add bug 29868; we added it as agenda item
Q2.4.2.


> J1.4 Review of recent minutes and administrative items

> J1.4.1 Minutes of meeting #654 (Tim)
> https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0021.html

Accepted as a true record.


> J1.5 Review of action items

> NOTE: Please be prepared to respond quickly on your action items!

> J1.5.1 Outstanding action items


> ACTION A-654-01:  Abel to commit changes to CVS for fn:transform tests.

> Status: Pending; ETA not specified.

Progress; https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0029.html
38 tests, 35 succeeding.

The tests are still not committed; they are attached to message 0029.

ETA: 4 October 2016.


> ACTION A-654-07: Josh to investigate duplicated elements in XQueryX (Bug 
> 29823).

> Status: Pending; ETA not specified.

DONE. https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0026.html


> ACTION A-654-08: Josh to review Bug 29789 with respect to latest F&O 
> updates.

> Status: Pending; ETA not specified.

DONE. https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0027.html

JS still thinks the prescribed result is incorrect; but 29879.


> ACTION A-654-09: Tim to fix test suite bug 29833.

> Status: Pending; ETA not specified.

DONE.  Reported in Bugzilla.


> ACTION A-654-11: Jonathan, Michael Kay, Abel, Tim, Michael 
> Sperberg-McQueen and Andy to review assigned specifications.

> Status: Pending; ETA 2016-10-11

Some progress by Tim Mills and Michael Kay.

All reviewers should start now if they haven't already started. Some
editorial bugs are still open; just work around them.


> J1.5.2 Completed action items


> ACTION A-649-04: Abel to report test results.

> Status: Closed; See
> https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0020.html


> ACTION A-650-08: Action on Abel to implement fn:transform

> Status: Closed; See
> https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0019.html


> ACTION A-653-01: Mike to implement change in bug 29765 comment 5 for
> width modifier in formatting the year component

> Status: Closed; See
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29765#c7


> ACTION A-653-02: Mike to implement bug 29785 comment 6, modified by "the
> outcome of validation..."

> Status: Closed; See
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29785#c8


> ACTION A-653-03 Mike to fix typo pointed out in 29722 on fn:sort,
> array:sort

> Status: Closed; See
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29722#c12


> ACTION A-654-02: Mike Kay to propose a response to behaviour of 
> fn:transform with for XSLT processor version (Bug 29830).

> Status: Closed; See
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29830#c1


> ACTION A-654-03: Mike Kay to propose a response to behaviour of 
> fn:transform with serialization (Bug 29831).

> Status: Closed; See
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29831#c1


> ACTION A-654-04: Mike Kay to propose a response to request for 
> additional options to fn:transform (Bug 29832).

> Status: Closed; See
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29832#c1


> ACTION A-654-05: Andy to change text "An instance of xs:string or 
> xs:untypedAtomic" to include xs:anyURI (Bug 29822) in SER31.

> Status: Closed; See
> https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0022.html


> ACTION A-654-06: Andy to specify the properties of the decimal format to 
> use when serializing xs;double to ensure it is in the lexical space of 
> xs:double (Bug 29824).

> Status: Closed; See
> https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0022.html


> ACTION A-654-10: O'Neil to fix test suite Bug 29781.

> Status: Closed; See
> https://lists.w3.org/Archives/Public/public-xsl-query/2016Sep/0023.html



> J1.6 Update on related activities

> J1.6.1 Update on XSLT WG activities (Sharon, MikeK)

MK said there was nothing that needed to be reported.


> J1.6.2 Update on EXPath/EXQuery CG activities (Mike)

Nothing to report.


> J1.7 Future Meetings

> J1.7.1 QT Meeting Schedule

> [V45] Joint XML Query/XSL WG meeting schedule
> https://lists.w3.org/Archives/Member/w3c-xsl-query/2016Jul/0003.html



> J1.7.2 Future F2F Meetings

> J1.7.2.1 Other future F2F meetings

> (none)


> J2. Documents For Review

> (none)



> J3. Maintenance Issues

> J3.0 The XML Query WG and XSLT WG do not intend to maintains specs 
> earlier than the 3.0 suite of documents; when the 3.1 suite reaches 
> Recommendation, maintenance of the 3.0 documents will be terminated.

> This agenda item is reserved for reporting errors and other problems 
> reported against the 3.0 (later, 3.1) suite of specifications.


> J3.0.1 Concerns raised by the XSLT working group in regards to potential
> completion delays of XSLT 3.0 if XPath 3.0 is made obsoleted by 3.1

> Status: Pending the outcome of Abel's review of 3.0 bugs/errata.
>         Any change to the status of the 3.0 specs requires explicit XSL WG
>         consultation. 


> J3.1 Bugzilla Bugs filed against the 3.0 suite of joint XML Query WG and 
> XSLT WG documents

> (none)



> J4. Active Specification Development


> ** Note: Full Text 3.1 has been removed from the WG agenda.
> If, in the future, there is sufficient interest (i.e. at least two
> independent participants to develop the spec and implementations),
> then this can be brought back on the agenda.



> J4.1 Data Model 3.1 (Norm)

> J4.1.0 Internal working draft
> http://www.w3.org/XML/Group/qtspecs/specifications/xpath-datamodel-31/html/Overview.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xpath-datamodel-31/html/Overview-diff.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xpath-datamodel-31/src/changes.txt

> (none)


> J4.2 Functions and Operators 3.1 (Mike Kay)

> J4.2.0 Internal working draft
> http://www.w3.org/XML/Group/qtspecs/specifications/xpath-functions-31/html/Overview.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xpath-functions-31/html/Overview-diff.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xpath-functions-31/src/changes.txt


> J4.2.1 [FO31] Unclear what happens w.r.t. backwards / forwards 
> compatibility in fn:transform
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29830

> Status: Ready to discuss; See proposal in comment #1

RESOLVED: To treat bug 29830 "[FO31] Unclear what happens w.r.t.
backwards / forwards compatibility in fn:transform" as editorial.


> J4.2.2 [FO31] fn:transform and serialization to string
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29831

> Status: Ready to discuss; See comments #1 & #2

Cf. 
https://www.w3.org/XML/Group/qtspecs/specifications/xslt-xquery-serialization-31/html/#serphases
and 


RESOLVED: To treat bug 29831 "[FO31] fn:transform and serialization to
string" as editorial.


> J4.2.3 [FO31] fn:transform options
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29832

> Status: Ready to discuss; See proposal in comment #1

We discussed.

ACTION A-655-01: MK to produce detailed proposal for 29832
"fn:transform options" for WG to review.


> J4.2.4 Bug 29850 - [FO31] Functions having the "same signature"
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29850

> Status: Ready to discuss

We spent some time focusing our eyes carefully on the head of the
relevant pin, and concluded that the number of angels dancing on it
under MK's proposal was acceptable.

RESOLVED: to adopt MK's proposal for bug 29850 "Functions having the
'same signature'", in which identity of types is defined (for purposes
of section 1.7.4, rule 5c of F and O) as each of the two types being a
subtype of the other.

Please close the bug.


> J4.2.5 Bug 29855 - [FO31] Non-capturing subexpressions
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29855

> Status: Ready to discuss

RESOLVED: to adopt the fix proposed in bug 29855 Non-capturing
subexpressions.


> J4.2.6 Bug 29856 - [FO31] Operations on gYear, gYearMonth, etc
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29856

> Status: Ready to discuss

RESOLVED: to adopt the fix proposed in bug 29856 "Operations on gYear,
gYearMonth, etc" , removing the false implication that
component-extraction functions are defined for these types.


> J4.2.7 Bug 29853 - [FO31] fn:collation-key() does not depend on 
> implicit-timezone
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29853

> Status: Ready to discuss

We discussed, and converged eventually on the proposal in comment 2.

RESOLVED: to accept MK's proposal in comment 2 of bug 29853
"fn:collation-key() does not depend on implicit-timezone".

ACTION A-655-02: MK to write up suggestion in comment 2 of bug 29853
"fn:collation-key() does not depend on implicit-timezone".

> J4.2.8 Bug 29857 - [FO31] Uniqueness scope for generate-id()
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29857

> Status: Ready to discuss

RESOLVED: to accept the proposal in the bug report of bug 29857
"Uniqueness scope for generate-id()".


> J4.2.9 Bug 29863 - [FO31] Is there a constructor function for xs:numeric?
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29863

> Status: Ready to discuss

We reviewed the proposal.

RESOLVED: to accept the proposal in bug 29863 "Is there a constructor
function for xs:numeric?", with the proviso that an explanatory note
to point out that the constructor will always return a double (owing
to the fact that the lexical space of double covers the entire lexical
space of xs:numeric).


> J4.2.10 Bug 29864 - [FO31] Incorrect example of format-number() with 
> exponent separator
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29864

> Status: Ready to discuss

RESOLVED: to accept the change proposed in bug 29864 "Incorrect
example of format-number() with exponent separator".


> J4.2.11 Bug 29865 - [FO31] UCA collation in substring matching
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29865

> Status: Ready to discuss

We discussed at some length.

RESOLVED: to accept the proposal outlined in comment 2 of bug 29865
"UCA collation in substring matching".

ACTION A-655-03: MK to make the change proposed in comment 2 of bug 29865 "UCA
collation in substring matching".


J4.2.12 Further FO31 bugs.

We discussed the other outstanding FO31 bugs.

29872 [FO31] escape=yes in parse-json() and json-to-xml()

If the input is unnecessarily escaped, the output will be as well. The
example in the spec illustrates the rule, but there was no test case.

But we don't have this rule for json-to-xml.

RESOLVED: accept the proposal in bug 29872 "escape=yes in parse-json()
and json-to-xml()".

ACTION A-655-04: MK to fix bug 29872 "escape=yes in parse-json() and
json-to-xml()" as proposed.


29876 [FO31] Drop FORX0003, to bring regexes in line with XSLT 3.0

We discussed. There was resistance to the proposal, and it became
clear that we were not going to develop unanimity on any approach to
the issue. In the absence of consensus, the status quo remains in
force.

RESOLVED: Close 29876 "Drop FORX0003, to bring regexes in line with
XSLT 3.0" as WORKSFORME.


> J4.3 Serialization 3.1 (Michael Sperberg-McQueen, Andy)

> J4.3.0 Internal working draft
> http://www.w3.org/XML/Group/qtspecs/specifications/xslt-xquery-serialization-31/html/Overview.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xslt-xquery-serialization-31/html/Overview-diff.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xslt-xquery-serialization-31/src/changes.txt

> (none)


> J4.4 XPath 3.1 (Jonathan)

> J4.4.0 Internal working draft
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xpath-31.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xpath-31-diff.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/src/changes.txt


> J4.4.1 Bug 29858 - [XP31] Named Function References - context information
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29858

> Status: Ready to discuss

We discussed at some length. 

It was discovered that the use of "denote" in the XPath and XQuery
spec may need editorial review.

It was also discovered that "named function" and "anonymous function"
do not now together make up the set of functions (partial function
applications have no name but are excluded by the definition of
anonymous function).

ACTION A-655-05: Jonathan Robie to make a proposal to resolve bug 29858 "Named
Function References - context information".

ACTION A-655-06: Jonathan Robie to review the use of the verb "denote" in the
XPath and XQuery specs.


At this point, the time for the call was exhausted. We adjourned.


> J4.5 Grammar Test Applets (Michael Dyck)

> (none)


> J4.6 QT3 test suite (O'Neil)

> J4.6.1 Status report on test suite, harness, tools


> J4.6.2 Status of 3.1 tests results

> Status: Currently three implementers submitted results



> J5. Progression of Work

> J5.1 XSLT 3.0, XQuery 3.1, XQueryX 3.1, XPath 3.1, XDM 3.1, F&O 3.1, 
> Serialization 3.1

> J5.1.1 Current status

> * In Candidate Recommendation; awaiting implementation reports

> * Potential coordination of dates with XSLT 3.0


> J5.1.2 Dependencies inhibiting progression

> * Sufficient implementation experience and reports thereof

> * Detailed review of specifications by WG

> Participant assigned to each document for detailed review
>   - XDM 3.1           - Jonathan
>   - XPath 3.1         - Mike Kay
>   - F&O 3.1           - Abel
>   - Serialization 3.1 - Tim
>   - XQuery 3.1        - Michael Sperberg-McQueen
>   - XQueryX 3.1       - Andy


> * Formal response to all comments, responses accepted by commenters

> * PR Transition Request and authorization, PR pub request

> * REC Transition Request and authorization, REC pub request



> J5.2 Update 3.0

> J5.2.1 Current Status

> * In Last Call Working Draft

> At XML Prague, Liam talked to a few people about XQuery Update but found 
> no great enthusiasm for doing the work.  We cannot progress without plans 
> for a test suite and potential implementers.  The WG needs to decide what 
> to do with this spec.

> Status: Ready to discuss



> J5.2.2 Require owner of XQUF 3.0 Test Suite


> J5.2.3 Dependencies inhibiting progression

> * CR Transition Request and authorization, CR pub request

> * Completion of test suite minimum-required-to-declare-victory

> * Sufficient implementation experience and reports thereof

> * Formal response to all comments, responses accepted by commenters

> * PR Transition Request and authorization, PR pub request

> * REC Transition Request and authorization, REC pub request



> J6. Any other business

> J6.1 Consideration of future work

> J6.1.1 QT 3.2

> The WGs decided that we will finish the 3.1 documents presently under way,
> but undertake no new work. Maintenance work should be planned upon for a
> period of time after finishing the specifications. 


> J6.1.2 FT 3.1

> Currently inadequate interest and resources


> J6.1.3 Update 3.1

> Currently inadequate interest and resources



> J7. Adjourn




> =======================
> XML Query Working Group
> =======================

> Q1. The XML Query WG does not intend to maintains specs earlier than the 
> 3.0 suite of documents; when the 3.1 suite reaches Recommendation, 
> maintenance of the 3.0 documents will be terminated.

> Q1.0 This agenda item is reserved for reporting errors and other 
> problems reported against the 3.0 (later, 3.1) XML Query WG suite of 
> specifications.


> Q1.1 Bugzilla Bugs filed against the 3.0 suite of XML Query WG documents

> (none)



> Q2. Active Specification Development

> Q2.1 XQuery Update Facility 3.0 (John)

> Q2.1.0 Internal working draft
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-update-30/html/Overview.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-update-30/html/Overview-diff.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-update-30/src/changes.txt

> * The WG needs to obtain implementation experience with this document.


> Q2.2 XQuery Update Facility 3.0 Requirements and Use Cases (Andy)
> See 
> http://www.w3.org/XML/Group/qtspecs/requirements/xquery-update-30/html/Overview.html

> * The WGs need to be certain that this document is completed 
> (red/yellow/green bullets on requirements, all the use cases intended to 
> be published) and a decision made to advance it to WG Note.


> Q2.3 XQuery 3.1 (Jonathan)

> Q2.3.0 Internal working draft
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xquery-31.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/html/xquery-31-diff.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xquery-31/src/changes.txt

> (none)


> Q2.4 XQueryX 3.1 (Josh)

> Q2.4.0 Internal working draft
> http://www.w3.org/XML/Group/qtspecs/specifications/xqueryx-31/html/Overview.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xqueryx-31/html/Overview-diff.html
> http://www.w3.org/XML/Group/qtspecs/specifications/xqueryx-31/src/changes.txt


> Q2.4.1 Bug 29823 - [XQX31] Duplicated elements
> https://www.w3.org/Bugs/Public/show_bug.cgi?id=29823

> Status: Ready to discuss


Q 2.4.2 Bug 29868 - XQueryX stylesheet does not always convert arrowExpr to XQuery correctly 


> Q3. Test Suite Development

> Q3.1 Update Facility 3.0 Test Suite (????)

> * Need test suite developer/manager

> * Need tests 



> Q4. Any other business



> Q5. Adjourn

********************************************
C. M. Sperberg-McQueen
Black Mesa Technologies LLC
cmsmcq@blackmesatech.com
http://www.blackmesatech.com
********************************************

Received on Thursday, 29 September 2016 20:17:19 UTC