- From: John Snelson <John.Snelson@marklogic.com>
- Date: Tue, 24 May 2016 17:08:00 +0000
- To: "public-xsl-query@w3.org" <public-xsl-query@w3.org>
- Message-ID: <FCE7D6CDF16BFA44ACA9470EC9588510118D248B@EXCHG10-BE02.marklogic.com>
On 20/05/16 15:05, Andrew Coleman wrote:
DRAFT XML Query/XSL WG Joint Teleconference #644 Agenda 2016-05-24
Liam will chair this meeting.
PLEASE SEND CORRECTIONS AND ADDITIONS AS SOON AS POSSIBLE SO A REVISED
AGENDA CAN BE PREPARED IN A TIMELY MANNER!
Changes in this agenda:
This week, I'd like us to work on the following items:
J4.2 (F&O)
J4.4 (XPath)
Q2.3 (XQuery)
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
====================
Note to secretary: Please insert a summary of all decisions made during
this teleconference at this location in the minutes.
Decisions MUST be clear as to their complete intent. The subject of the
decision should *not* require dereferencing; it is most helpful if
agenda numbers and bug numbers are accompanied by their titles. If a
decision is recorded about the resolution of a bug, the decision must
state exactly what the resolution is (e.g., "Accept the solution in
comment #5", or "Replace the production for XXX with this: <new
production>", or the like. It should be possible to read a decision
months later and be certain what it meant and whether or not it was
properly applied.
DECISION: Modify map:remove() and array:remove() to allow multiple key arguments as requested by bug 29660.
NEW ACTION ITEMS
================
Note to secretary: Please insert all new action items assigned during
this teleconference at this location in the minutes.
Action items MUST make sense even when they are viewed standalone (that
is, not read in the context of the agenda item where they were
assigned). This explicitly requires that all referents (e.g., "this",
"that") be made clear. Action items such as "Ralph to resolve this
problem" are DISALLOWED. It takes a scribe only a few additional
minutes to ensure that action items are clear, while it takes the entire
WG considerable effort to constantly research the meaning of unclear
action items. The subject of the action item should *not* require
dereferencing; it is most helpful if agenda numbers and bug numbers are
accompanied by their titles.
ACTION A-644-01 O'Neil - look into tests tests FODC0004 and FODC0005-1 in misc-CombinedErrorCodes as per bug 29404
ACTION A-644-02 Michael Kay to implement the change proposed in bug 29660.
ACTION A-644-03 Tim to revise his proposal in bug 29586 "The judgement subtype-itemtype(Ai, Bi)" with changes from today's discussion
===================================================
Joint XML Query Working Group and XSL Working Group
===================================================
J1. Administrative Items
J1.1 Selection of secretary(s)
John has been asked to take the minutes. Michael Sperberg-McQueen has been asked to stand by.
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.
Adam Retter - 2016-01-26, 2015-10-20, 2015-04-21
Michael Sprbrg-McQn - 2016-02-09, 2015-10-03, 2015-06-09
Michael Dyck - 2016-03-08, 2015-11-17, 2015-09-01
Josh Spiegel - 2016-03-15, 2015-12-01, 2015-09-08
Abel Braaksma -
Norm Walsh - 2016-04-05, 2015-12-15, 2015-09-22
Jonathan Robie - 2016-04-12, 2016-01-05, 2015-09-29
O'Neil Delpratt - 2016-04-19, 2016-02-02, 2015-10-27
Mike Kay - 2016-04-26, 2016-03-01, 2015-11-10
Liam Quin - 2016-05-03, 2016-01-19, 2015-10-06
Tim Mills - 2016-05-10, 2016-03-22, 2015-12-08
John Snelson - 2015-07-16, 2015-06-02, 2016-05-24
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
Liam Quin
Abel Braaksma
C.M. Sperberg-McQueen
Michael Dyck
O'Neil
Tim Mills
John Snelson
Jonathan Robie
Josh
Michael Kay
Regrets:
J1.3 Approval of agenda
J1.3.1 Additions, deletions, or corrections?
J1.4 Review of recent minutes and administrative items
J1.4.1 Minutes of meeting #643 (Tim)
https://lists.w3.org/Archives/Public/public-xsl-query/2016May/0028.html
Accepted.
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-637-02: JRobie to include the note in Comment #8 of Bug 29419. Note also comment #11.
Status: Pending; ETA 2016-05-17
ACTION A-640-03: Jonathan to document the decision: Partial function application never returns a map or an array. if $F is a map or an array then $F(?) is legal, it returns a function and the function is not a map or an array.
Status: Pending; ETA 2016-05-17
ACTION A-640-04: Jonathan Robie to resolve Bug #29277 by making the changes from comment #20 items 2 and 5.
Status: Pending; ETA 2016-05-17
ACTION A-641-03 (bug 29583) Jonathan to add xs:anySimpleType to the list of types for which there is no constructor function.
Status: Pending; ETA 2016-05-17
ACTION A-641-04 (bug 29277) Jonathan to make the editorial changes needed.
Status: Pending; ETA 2016-05-17
ACTION A-641-05 (bug 29509) Jonathan to make a proposal to resolve this bug.
Status: Pending; ETA 2016-05-17
ACTION A-641-11 (bug 29592) (array and map prefixes). Action on Tim to resolve the issue in the way suggested in the bug report.
Status: Pending; ETA not specified.
Ongoing.
ACTION A-641-14 on Jonathan and Michael Dyck to agree revised wording to resolve the potential ambiguity in the resolution of action A-636-08 as described in <https://lists.w3.org/Archives/Public/public-xsl-query/2016Apr/0020.html> https://lists.w3.org/Archives/Public/public-xsl-query/2016Apr/0020.html.
Status: Pending; ETA not specified.
ACTION A-641-15 (bug 29576) (date/time limits) on Jonathan to apply the proposed text in comment #1 of the bug report.
Status: Pending; 2016-05-17
ACTION A-642-02 Mike Kay to implement the change he suggested in bug
29588
to make the prose normative for duplicate keys
Status: Pending; ETA not specified.
ETA 2016-06-07
ACTION A-642-03 Mike Kay to make editorial change in 29593 (search
terms)
Status: Pending; ETA not specified.
ETA 2016-06-07
ACTION A-643-01: MikeK to update proposal on Bug 29555.
Status: Pending; ETA not specified.
Action title should read "update proposal on width modifiers in Bug 29555"
ETA 2016-06-07
ACTION A-643-02: MikeK to fix definition of array:join so that joining
zero arrays returns an empty array.
Status: Pending; ETA not specified.
ETA 2016-06-07
ACTION A-643-03: MikeK to address Bug 29608 - Fragment identifiers in
fn:doc etc. Adopted Plan A. normative text remains as is (inconsistent
funcitons), add health warning on doc()
Status: Pending; ETA not specified.
ETA 2016-06-07
ACTION A-643-05: Andy to investigate how to solve Q2.3.2 Bug 29610 -
Differing namespace definitions for xqt-errors.
Status: Pending; ETA not specified.
J1.5.2 Completed action items
ACTION A-640-02: Mdyck to implemented proposal in the appendix A of the XPath and XQuery specs as described in 2b. Also to make change in the applet and ensure tests cases are updated in the test suite.
Primary one is map-constructor. See: https://lists.w3.org/Archives/Public/public-xsl-query/2016Mar/0035.html
- part a) Change spec - DONE
- part b) Change applets
- part c) Change test suite
Status: Closed; Overtaken by events
ACTION A-641-09 (bug 29547) (year zero) OND to apply the resolution: make these tests (a) dependent on support for XSD 1.1, and (b) allow an FODT0001 result for implementations whose minimum year is 0001.
Status: Closed; See
https://lists.w3.org/Archives/Public/public-xsl-query/2016May/0027.html
ACTION A-642-01 Mike Kay to incorporate changes for 29555 into F&O
for width modifiers
Status: Closed; Overtaken by events; See A-643-01
ACTION A-642-05 MDyck to update the spec to reflect NCName:*/*:NCName
change to option 1a as per
https://lists.w3.org/Archives/Public/public-xsl-query/2016Mar/0035.html
[this is the decision regarding parsing MapConstructorEntry]
Status: Closed; See
ttps://lists.w3.org/Archives/Public/public-xsl-query/2016May/0026.html
ACTION A-642-06 Tim to write out consequences of his proposal in 29586
for the judgement subtype-itemtype(Ai, Bi)
Status: Closed; See
https://lists.w3.org/Archives/Public/public-xsl-query/2016May/0025.html
ACTION A-643-04: JRobie and Tim to draw up a proposal to resolve bug
29586 (funciton item types).
Status: Closed; See
https://lists.w3.org/Archives/Public/public-xsl-query/2016May/0034.html
J1.6 Update on related activities
J1.6.1 Update on XSLT WG activities (Sharon, MikeK)
No meeting last week.
J1.6.2 Update on EXPath/EXQuery CG activities (Mike)
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/2016Apr/0000.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 Bug 29619 - [FO31] Casting to abstract types
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29619
Status: Ready to discuss
MKay: I don't think you can define your own abstract simple type. I think section 9.1 already says that you can't cast to an abstract type.
Closed the bug as invalid.
J4.2.2 Bug 29555 - [FO31] 9.8.4.2 The Width Modifier
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29555
Status: REOPENED: Ready to dicuss
Mike will come up with a proposal. Incorporate this in ACTION A-643-01
J4.2.3 Bug 29404 - [QT3] anyURI in fn:collection
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29404
Status: REOPENED: Ready to discuss
ACTION A-644-01 O'Neil - look into tests tests FODC0004 and FODC0005-1 in misc-CombinedErrorCodes as per bug 29404
J4.2.4 Bug 29626 - fn:fold-left in appendix - calls not correct
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29626
Status: Ready to discuss
Closed and fixed already, as per comment #2.
J4.2.5 Bug 29627 - Appendix examples eg:highest, eg:lowest - proposed improvement
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29627
Status: Ready to discuss
Closed as "won't fix"
J4.2.6 Bug 29628 - 16.2.1 fn:for-each - proposal of more succinct rules
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29628
Status: Ready to discuss
Closed as "won't fix"
J4.2.7 Bug 29631 - [FO31] fn:serialize options map
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29631
Status: Ready to discuss
Closed as a duplicate of bug 28373
J4.2.8 Bug 29632 - [FO31] array:flatten
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29632
Status: Ready to discuss
Rename the $array argument to $input.
J4.2.9 Should map:remove allow multiple keys?
https://lists.w3.org/Archives/Member/w3c-xsl-query/2016May/0001.html
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29660
MKay: Concerned that we shouldn't be adding new changes at this stage.
JRobie: I support this change.
Liam: Any objections?
None heard.
DECISION: Modify map:remove() and array:remove() to allow multiple key arguments as requested by bug 29660.
ACTION A-644-02 Michael Kay to implement the change proposed in bug 29660.
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 29509 - Functions: External, Implementation-Defined, Host Language
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29509
Status: Pending completion of A-641-05
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
J5.1.2 Dependencies inhibiting progression
* 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
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
Q2.3.1 Bug 29586 - [XQ31] 2.5.6.2 The judgement subtype-itemtype(Ai, Bi)
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29586
Status: Ready to discuss; See proposal in comment #15
JRobie: Uncomfortable about interoperability ramifications of this
JSnelson: I think this is a clarification - we already have the principle of type substitutability.
Tim presents his proposal in comment #15
JSnelson: I don't think we want to allow the map-as-a-function signature to allow a wider argument type. It should be a subtype of map(K,V) with the new wording for subtype-itemtype() of map types in 2.5.6.2. The equivalent change is needed for the array-as-a-function signature.
Abel: I have concerns about whether we'll introduce incompatibilities with this.
Tim and John think not.
ACTION A-644-03 Tim to revise his proposal in bug 29586 "The judgement subtype-itemtype(Ai, Bi)" with changes from today's discussion
Q2.3.2 Bug 29622 - [XQ31] Atomization in Postfix Lookup, Unary Lookup
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29622
Status: Ready to discuss
Tim presents the proposal. More time needed to think about this - no consensus for or against this yet. Some support for making the change.
Q2.3.3 Bug 29634 - [XQ31] ExtensionExpr
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29634
Status: Ready to discuss
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
(none)
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
--
John Snelson, Lead Engineer http://twitter.com/jpcs
MarkLogic Corporation http://www.marklogic.com
Received on Tuesday, 24 May 2016 17:08:32 UTC