IRC log of xproc on 2009-04-16

Timestamps are in UTC.

15:05:57 [RRSAgent]
RRSAgent has joined #xproc
15:05:57 [RRSAgent]
logging to
15:06:27 [ht]
RESOLVED: Accept minutes of 9 Apr 2009 as a correct record
15:06:51 [ht]
No audible regrets for 23 April
15:07:05 [ht]
Zakim, who is here?
15:07:05 [Zakim]
On the phone I see Vojtech, PGrosso, Ht, Alex_Milows
15:07:06 [Zakim]
On IRC I see RRSAgent, MoZ, Zakim, PGrosso, ht
15:07:40 [MoZ]
Zakim, what is the code ?
15:07:40 [Zakim]
the conference code is 97762 (tel:+1.617.761.6200 tel:+ tel:+44.117.370.6152), MoZ
15:08:18 [Zakim]
+ +95247aaaa
15:08:23 [MoZ]
Zakim, aaaa is me
15:08:23 [Zakim]
+MoZ; got it
15:09:24 [ht]
HST: Do we have errors for undeclared inputs or outputs?
15:09:33 [Zakim]
15:09:44 [ht]
TV: No
15:10:06 [ht]
TV: NW said in his reply he liked the extra specifity of 31. . .
15:10:12 [Zakim]
15:10:57 [ht]
TV: I'm OK with keeping two, but it does mean there may be differences between implementations as to which they raise
15:11:12 [ht]
RESOLUTION: No change required#
15:11:51 [ht]
Topic: Issue 88
15:12:17 [ht]
TV: In the case of multipart requests, I thought there was a potential conflict
15:12:36 [ht]
... but we've decided that these must be consistent
15:13:14 [ht]
AM: Yes, we decided this, and there are a number of sources of possible conflict, but they just have to be detected and flagged
15:13:37 [ht]
RESOLUTION: Overtaken by resolution of more general issue
15:15:22 [Norm]
Norm has joined #xproc
15:15:28 [ht]
Topic: Issue 97
15:15:38 [Norm]
Zakim, what's the passcode?
15:15:43 [Zakim]
the conference code is 97762 (tel:+1.617.761.6200 tel:+ tel:+44.117.370.6152), Norm
15:15:49 [ht]
TV: This is now addressed in the spec:
15:16:02 [Zakim]
15:16:46 [ht]
ACTION: Norm to follow up with OP to signal that issue 97 has been addressed, ask for agreement
15:17:05 [ht]
RESOLUTION: Issue 97 has been addressed in the current draft: should be preserved
15:17:31 [ht]
Topic: Issue 101
15:17:34 [Norm]
henry, are you content to continue in the chair?
15:18:11 [ht]
s/in the chair/scribing/
15:18:16 [ht]
15:18:29 [ht]
NDW: related to 97
15:18:57 [ht]
... Seems to me we should follow 302
15:19:03 [ht]
... no control over it for the time being
15:19:06 [ht]
AM: Agreed
15:19:15 [Norm]
Zakim, who's on the phone?
15:19:15 [Zakim]
On the phone I see Vojtech, PGrosso, Ht, MoZ, Alex_Milows, Norm
15:19:19 [ht]
... Maybe we come back to this if we're asked
15:19:40 [ht]
RESOLUTION: We will always follow redirect, no option to allow skipping
15:19:51 [ht]
Topic: Issue 102
15:20:10 [Zakim]
15:20:36 [ht]
NW: If assert-valid is false, maybe you get some PSVI stuff, maybe you don't, but in either case nothing else happens
15:20:50 [ht]
TV: But the prose doesn't describe what _happens_ if it's false
15:21:29 [ht]
ACTION: NDW to clarify 7.2.6 validate-with-xml-schema to make clear what happens if assert-valid is false
15:21:37 [alexmilowski]
alexmilowski has joined #xproc
15:21:40 [ht]
Topic: Issue 103
15:21:58 [alexmilowski]
(my phone keeps dropping the call... and now I can't get back in...)
15:22:28 [Zakim]
15:23:04 [Norm]
scribe: Norm
15:23:05 [Norm]
NDW: I think the question here is how do the xs:include's interact with the schemas passed into the step
15:23:30 [Norm]
AM: From an XML Schema perspective, you can imagine an implementation using a catalog system.
15:24:03 [Norm]
NDW: I don't think that applies here. The schema's are inline.
15:25:08 [Norm]
HST: What's crucial is that all the schemas involved are for the same namespace.
15:25:16 [Norm]
TV: Maybe that's an error.
15:25:32 [Norm]
HST: Yes, but that's going to uncover another error in the simplest way to resolve this.
15:25:55 [Norm]
HST: We could say "that is, no schema document for a any namespace provided for by any of the supplied documents may be processed."
15:26:25 [Norm]
...That needs to be clarified, for each namespace that is supplied by one of the specific instance inputs, no processing for that namespace should be done elsewhere.
15:26:30 [Norm]
...that should be the only document.
15:26:47 [Norm]
AM: How much of this do we have to specify?
15:27:31 [Norm]
HST: The schema spec has one MUST and leaves everything else up to the impl; the MUST is that if you try to redefine something, it's an error if you can't get at the something
15:27:52 [Norm]
AM: To some extent, this should generate an error. You've got two top level schemas for the same namespace.
15:28:17 [Norm]
AM: I think in Xerces, the second schema would just replace the first.
15:28:45 [Norm]
NDW: Let's imagine that there were schemas for two namespaces here. I think the collisionis accidental in Vojtech's example.
15:31:11 [Norm]
HST: Schema locations are hints except in the case of xs:include and xs:redefine.
15:31:39 [Norm]
...Schema location provided in the case of xs:include are not hints, unless you get a 404, you must process what you find.
15:32:03 [Norm]
...What's also true is that you are allowed to detect duplicates and not throw an error on second and subsequent times.
15:32:33 [Norm]
...As it happens Voytech's example is a real cracker because it can't arise outside of XProc because if you ask for a URI, you'll get the same data.
15:32:57 [Norm]
...Unless it changes under you, which some processors care about
15:33:21 [Norm]
...You couldn't have thsi problem in anything except XProc. Because anywhere else you'd be allowed to notice the same URI used a second time and ignore it.
15:33:43 [Norm]
AM: How is our case any different from Xerces with a catalog.
15:33:51 [Norm]
HST: Because they're indexed by URI. This isn't.
15:34:51 [Norm]
AM: I think this is the same.
15:35:06 [Norm]
...It goes to the catalog.
15:37:31 [ht]
I really don't think that you can get Xerces to reproduce this case
15:37:35 [Norm]
Some clarification: Alex expects an implementation to pre-scan the schemas coming in and note their base URIs so that if there's subsequent reference to one of the ones "later" in the queue, it gets used anyway.
15:37:40 [ht]
... but in any case I think that's a red herring
15:38:02 [Norm]
AM explains how this case is very similar to the catalog case.
15:38:16 [Norm]
HST: Implementations are always free to ignore the second one because it's base URI is already loaded.
15:38:35 [Norm]
AM: If you process them serially, you're free not to process them serially.
15:39:12 [Norm]
HST: Stipulate that AM is right, I still don't think we should go there.
15:39:39 [Norm]
VJ: If we do this, it may have implications on other steps as well. It sets a precedent that we might want to apply globally.
15:40:02 [Norm]
AM: But you can always do that.
15:40:14 [Norm]
Norm: That's true, we have a section that allows taht.
15:40:17 [Norm]
15:42:11 [Norm]
NDW: I agree you could do this way, but I think it's a novel application of catalogs.
15:43:35 [ht]
I suggest the following replacement: "... must be used in preference to any schema locations provided by schema location hints encountered during schema validation, that is, schema locations supplied for xs:include, xsi:schema-location or determined by schema-processor-defined namespace-based strategies."
15:44:29 [Norm]
VJ: If you want to do this, you could in theory use XProc to fetch the schema first then change the schemaLocation attribute to something else and then pass it to the validate step.
15:44:41 [Norm]
AM: Yes, you could process the schemas to try to make them consistent.
15:44:50 [ht]
s/strategies./strategies, for the namespaces covered by the documents available on the schemas port./
15:45:11 [ht]
15:45:58 [Norm]
AM: Do we have this consistency problem in other steps?
15:46:13 [Norm]
VJ: In XQuery if you passed in documents that referred to each other...
15:46:44 [Norm]
...You'd pass something which refers by URI and you pass a second document with that base URI, then the second document should override the external document.
15:46:52 [Norm]
...If we say it should behave that way, then it's the same case as this.
15:47:18 [Norm]
AM: In the XQuery case, it's the default collection so it would work.
15:48:10 [Norm]
HST outlines the suggestion he put into IRC above
15:48:56 [Norm]
HST: There are three different bits of the spec where the notion of a hint arises. One is for xs:import, one is xs:[noNamespace]schemaLocation, and one is for namespace-based discover.
15:49:19 [Norm]
...So in all those cases, what we say is that if one of the schema documents you have been given on the schemas port is for that namespace, then you're done.
15:50:12 [Norm]
...What it keys off of is the targeNamespace attribute of the schemas that you find on that port.
15:50:17 [Norm]
...That's what matters, not the base URI.
15:50:47 [Norm]
NDW: What about this example?
15:51:10 [Norm]
HST: Whether it works or not depends entirely on whether there are any conflicting definitions in these places, because you're going to process both of them.
15:51:42 [Norm]
...There's nothing in my proposal that says just because you get two documents with the same base URI, you don't process them both.
15:52:01 [Norm]
AM: So if you have two schema documents and one defines type A and one defines type B, same target namespace,then that's no problem, right?
15:52:06 [Norm]
HST: Yes, that's right. No problem.
15:52:35 [Norm]
VJ: So in that case, how do you know which schema to use as a starting point?
15:52:45 [Norm]
...Here we have two schemas for the same namespace.
15:52:56 [Norm]
HST: If they define any items of the same kind with the same name at the top level, then you're broken.
15:53:49 [Norm]
AM: There are lots of ways to start a validation episode, but we don't specify any of them specifically.
15:55:38 [Norm]
Norm: So we're going to add Henry's prose about hints and say that for the case of this example, you'd load both documents and if there are no conflicts you're golden, if they are, you lose.
15:55:55 [Norm]
AM: It seems to me that we're still asking the step to look ahead at all the schemas on the port to find the target namespaces.
15:56:12 [Norm]
HST: That's my understanding of how the existing processors deal with what we'll call for the sake of argument "command-line arguments".
15:56:37 [Norm]
AM: You can intercept every step along the way in Xerces. You can do all kinds of crazy stuff. I'm not saying that's consistent behavior, but you can do anything you want.
15:59:21 [Norm]
Norm: We're running out of time. I'll incorporate some of Henry's proposal, because I don't think that was controversial.
15:59:30 [Norm]
...Let's try to take the harder cases to email and see if we can work them out.
15:59:39 [Norm]
Topic: Any other business?
15:59:48 [Norm]
Norm thanks Henry for scribing/chairing the beginning of the meeting.
15:59:57 [Norm]
16:00:02 [Norm]
RRSAgent, set logs world visibel
16:00:02 [Zakim]
16:00:03 [Zakim]
16:00:05 [Zakim]
16:00:06 [Zakim]
16:00:07 [Zakim]
16:00:10 [Norm]
RRSAgent, set logs world visible
16:00:14 [Zakim]
16:00:15 [Zakim]
XML_PMWG()11:00AM has ended
16:00:16 [Norm]
rrsagent draft minutes
16:00:20 [Zakim]
Attendees were Jeroen, PGrosso, Ht, Vojtech, Alex_Milows, +95247aaaa, MoZ, Norm
16:00:21 [Norm]
RRSAgent, draft minutes
16:00:21 [RRSAgent]
I have made the request to generate Norm
16:00:27 [PGrosso]
PGrosso has left #xproc
17:56:38 [Zakim]
Zakim has left #xproc