12:23:26 RRSAgent has joined #sml 12:23:26 logging to http://www.w3.org/2007/08/28-sml-irc 12:23:34 Jim has joined #sml 12:23:54 MSM has joined #sml 12:24:04 Meeting: SML Face-to-face 12:24:05 Kumar has joined #sml 12:24:27 zakim, this will be sml 12:24:27 ok, MSM; I see XML_SMLWG(IBM f2f)8:00AM scheduled to start 24 minutes ago 12:24:28 rrsagent, set log to public 12:24:28 I'm logging. I don't understand 'set log to public', Jim. Try /msg RRSAgent help 12:24:39 rrsagent, set logs to public 12:24:39 I'm logging. I don't understand 'set logs to public', Jim. Try /msg RRSAgent help 12:24:50 rrsagent, set logs public 12:25:04 rrsagent, make log public 12:25:09 zakim, who's here? 12:25:09 XML_SMLWG(IBM f2f)8:00AM has not yet started, Sandy 12:25:10 On IRC I see Kumar, MSM, Jim, RRSAgent, pratul, Zakim, Sandy, trackbot-ng 12:26:11 rrsagent, generate minutes 12:26:11 I have made the request to generate http://www.w3.org/2007/08/28-sml-minutes.html Jim 12:27:00 XML_SMLWG(IBM f2f)8:00AM has now started 12:27:07 Valentina has joined #sml 12:27:07 +[IBM] 12:27:31 rrsagent, set minutes public 12:27:31 I'm logging. I don't understand 'set minutes public', Jim. Try /msg RRSAgent help 12:28:19 zakim, [IBM] is SMLF2F 12:28:19 +SMLF2F; got it 12:28:34 chair: pratul 12:29:00 zakim, SMLF2F has Paul, Marv, Kirk, Kumar, MSM, Pratul, Jim, Valentina, Sandy 12:29:00 +Paul, Marv, Kirk, Kumar, MSM, Pratul, Jim, Valentina, Sandy; got it 12:29:44 topic: Bugzilla Triage 12:29:44 topic: Bugzilla Triage 12:35:13 Kirk has joined #sml 12:37:39 Marv has joined #sml 12:39:00 Kumar requests that persistent stores be exempt from implementing identity constraints on deref () function. 12:49:16 PCL has joined #sml 12:53:52 Kumar suggests allowing deref() in the selector but not in the field expression. 12:57:15 Several aspects of the current design cause problems, says Kumar: 12:57:33 - fan-out of search space caused by multiple derefs() 12:58:45 - task of crossing the wall between the application and the SQL server (if multiple derefs were in the same query, the server could deal with them -- it's passing the interim result back and then getting new queries on the results that kills you) 12:59:19 - stricly speaking, naive implementation does not incur an implementation burden -- just a performance burden. Trying to get performance to be acceptable, though, is an implementation burden. 12:59:42 s/stricly/strictly/ 13:06:39 SG points out that the fan-out must happen only by one document having multiple references: the field expression cannot point to more than one result, so it cannot contribute to fan-out. 13:14:34 Kumar: consider two cases: (a) has two-level deref in selector, none in the field. (b) has one level in the selector and one in the field. 13:15:07 In case (a), if each level has a 1:1000 fanout, you get a million results from SQL in a single query. 13:15:22 In case (b), you get the same million results, but it takes 1001 queries. 13:16:38 And then, if the environment is highly concurrent, you end up needing locks on everything. 13:22:29 Decision to move Bug 4657 to Last Call. 13:23:03 Kumar to update the bug with technical details from our discussion. 13:23:21 Bug 4658 13:25:48 Sandy's email http://lists.w3.org/Archives/Public/public-sml/2007Aug/0086.html 13:25:58 which covers 4658, 4673, 4682, 4683, 4780/4795, 4834, 4865, 4884, 4976 13:32:10 Bug 4676 13:37:57 Pratul proposed that since documentURI is optional, as is the locator element, we leave this as it is. 13:39:04 Agreed to close this bug. 13:39:28 Sandy to open bug to address interoperable way of defining locators. 13:39:39 Bug 4684 13:40:01 Kirk's email on 4684 http://lists.w3.org/Archives/Public/public-sml/2007Aug/0080.html 13:41:15 Kirk pointed out that this idea was not as simple to implement as it first seemed. 13:41:41 The goal is to build SML models from existing documents. 14:13:03 rrsagent, generate minutes 14:13:03 I have made the request to generate http://www.w3.org/2007/08/28-sml-minutes.html Jim 14:17:05 The question was raised as to whether sml:keyref should restrict the scope of keys to the subtree whose ancestor is shared by its keyref. 14:37:24 Action: Kirk to research further and follow up via email towards resolution on this Bug. 14:37:24 Created ACTION-117 - Research further and follow up via email towards resolution on this Bug. [on Kirk Wilson - due 2007-09-04]. 14:45:16 Kumar raised the issue that using keys and keyrefs in different documents is problematic because we are referencing one symbol from another symbol space. 14:47:53 Sandy suggests that we make the spec clear on this point once we decide - Sandy will open a new bug on this. 14:50:19 Both 4684 and the new one is moved to Last Call. 14:51:25 zakim, who's on the phone? 14:51:25 On the phone I see SMLF2F 14:51:27 SMLF2F has Paul, Marv, Kirk, Kumar, MSM, Pratul, Jim, Valentina, Sandy 15:05:06 Action: Valentina to explore implementation of deref() in XPath 15:05:07 Created ACTION-118 - Explore implementation of deref() in XPath [on Valentina Popescu - due 2007-09-04]. 15:06:52 zakim, who's on the phone? 15:06:52 On the phone I see SMLF2F 15:06:53 SMLF2F has Paul, Marv, Kirk, Kumar, MSM, Pratul, Jim, Valentina, Sandy 15:08:07 Paul has joined #sml 15:10:45 pLipton has joined #sml 15:10:56 PCL has joined #sml 15:11:24 http://www.w3.org/XML/2001/06/validity-outcomes.html has an overview that may be useful here. 15:18:56 Bug 4686 Use schema terminorlogies to describe "xml schema valid" which is not a defined term in the SML Schema spec. 15:23:51 pratul has joined #sml 15:25:05 http://www.w3.org/XML/2001/06/validity-outcomes.html has an overview that may be useful here. 15:32:19 MSM differntiated between the notion of conformance in XML Schema 1.0 vs. 1.1 as follows: 15:32:42 1.0 does not define the term "conformance" for documents. 15:33:13 1.1 defines the "conformance" for SML Schema documents and Instnace documents. 15:48:24 no, not for instance documents. Instance documents do not conform, or fail to conform, to XSDL. 15:51:30 John proposed that we agree at an abstract level what we mean by "validity" to accomodate the second draft as it is to be reviewed by the SML Schema WG. 15:51:49 We can revisit as needed based on feedback from implementors. 15:52:52 Kumar requested that a note be added to the spec to emphaize that this is not a final definition. 16:00:40 -- valid 16:00:40 -- valid 16:00:40 ... -- valid 16:00:40 -- notKnown 16:00:40 SG alternative for second bullet: schema document must give rise to a conforming schema (this is a stronger constraint) 16:59:27 Sandy raised the case where a schema document is not valid and therefore cannot be used to validate an instance document. 17:02:24 Pratul proposed that for bullet 4, we should say something such as: 17:03:24 "For each document, validatin must be possible" 17:05:04 changed to validation assessment. 17:05:13 Wordsmithing to be dnoe by editors. 17:05:20 ginny has joined #sml 17:05:47 +??P1 17:06:15 rrsagent, generate minutes 17:06:15 I have made the request to generate http://www.w3.org/2007/08/28-sml-minutes.html Jim 17:06:24 -??P1 17:06:44 zakim, P1 is ginny 17:06:44 sorry, Jim, I do not recognize a party named 'P1' 17:06:57 zakim, who is here? 17:06:57 On the phone I see SMLF2F 17:06:58 SMLF2F has Paul, Marv, Kirk, Kumar, MSM, Pratul, Jim, Valentina, Sandy 17:07:00 On IRC I see ginny, PCL, pratul, Marv, Kirk, Valentina, Kumar, MSM, Jim, RRSAgent, Zakim, Sandy, trackbot-ng 17:47:36 scribe: Sandy 17:47:42 scribenick: Sandy 17:47:58 pratul has joined #sml 17:48:11 TOPIC: [4739] 5.1.3 smlerr output element node serialization 17:49:56 Pratul: Vijay was interested in this. it's already optional; proposal to change from Second Draft o LC. 17:50:04 RESOLUTION: So agreed. 17:50:29 TOPIC: [4774] schema binding 17:51:27 Background information: http://lists.w3.org/Archives/Public/public-sml/2007Aug/0053.html 17:51:46 Valentina's proposal: http://lists.w3.org/Archives/Public/public-sml/2007Aug/0087.html 18:00:56 +??P1 18:01:09 zakim, P1 is Ginny 18:01:09 sorry, Sandy, I do not recognize a party named 'P1' 18:01:17 zakim, ??P1 is Ginny 18:01:17 +Ginny; got it 18:04:20 Kirk: in section 2, may help if more explicit connection was made between the 3 bullets and the conclusion. 18:06:14 Kirk: section 3: breaking changes allowed in newer versions using the same namespace? 18:06:27 SG/MSM: yes, up to the schema author. 18:07:07 Pratul: section 3.2: why need different schemas from different versions in the same IF? 18:08:08 MSM: imagine I have loose-html schema and strict-html schema. 18:08:14 Pratul: how is it handled now by schema? 18:09:34 MSM: that's why schema allows many resolution strategies. the entity who asks for validation selects which schema to use. 18:10:56 Pratul: why the same namespace? 18:11:53 MSM: for XHTML, it originally had 3 namespaces. turned out to be a disaster and had to change to using 1 namespace. 18:18:45 MSM: question about 4.1. maybe IF should be self-complete. that is, all schema documents are always included. 18:19:12 John: later one, we suggest that we define an inter-op case. which is only guaranteed if all schema docs are included. 18:23:08 Pratul: 4.3 disagree, may have to update instance docs in smlif instance eg to translate scheme contents. 18:25:31 John: true that some impls do this, but does not have to be true in general. this section was really pointing out that we cannot control whether or not the model def documents make use of xs:include, import, redefine, and whether or not schema location is coded on them.' 18:25:48 MSM: lazy schema assembly is a strange thing to have here. 18:37:02 Kumar: if you add a new schema to an SML model, which already has a conflicting schema, what happens? 18:37:35 MSM: that depends on your product. database systems exhibit different behaviors. some tolerate multiple schema with same namespace; some don't. 18:41:50 Ginny: the incomplete set: the IF may be complete leaving the producer; it may then be changed by the comsumer to be incomplete. 18:42:41 A producer can create a complete set but if the consumer does reference a schema outside the set 18:43:04 [In the current prose, the definition of completeness seems to depend on schema processor policy for acquiring components; in that case, the sender's processor and the receiver's processor might provide different answers. But I assume that's a glitch of some kind.] 18:47:09 John: open question: whether we need an explicit assert by the producer about whether the IF is in the complete set. 18:48:32 I would say if the SML-IF instance can be processed/validated without referencing a non-included schema, then it is complete -- regardless of what the consumer does about referencing schemas. 18:48:56 MSM: 2 possibilities. 1 is to define a policy; after applying it a consumer still needs to load docs outside of IF, then it's incomplete. 18:50:22 ... 2 is define closure of include/redefine/import to determine whether it's complete. 18:51:18 MSM: we don't want as a goal is to make it possible to use existing schema processors to be used as-is. 18:52:08 [other things being equal, allowing ht euse of off the shelf processors would be good -- but I don't think we want to reject anything that failes to allow it.] 18:52:41 s/ht euse/the use 19:01:53 John: It is necessary for a producer to declaratively distinguish between these two cases, since it is not always possible to distinguish based on the content alone. For example, XML Schema allows xs:include¡¯s schema location attribute¡¯s value to not resolve, although the value is required. This can be done by introducing a ¡°complete¡± attribute on the element to indicate whether this SML-IF instance includes all necessary definition docume 19:01:53 When this attribute is specified with an actual value ¡°true¡±, then for the instance to be valid, its schema definition documents and instance documents can only refer to either built-in components or components from definition documents included in the instance. 19:07:47 Ginny: if producer produces "complete" IF; it should have all schema binding specified to achive interop (e.g. use binding in preference over schema locations) 19:10:17 Sandy: yes. when "complete" is true, a policy must be enforced by consumers to guarantee inter-op. even when "complete" is not true, we may still want to require the same binding rule. (e.g. use schema docs in IF before seeking out) 19:18:24 MSM: question about "complete". if i have 3 elements A, B, C; i have components for A and B, but not for C. can i mark this IF complete? 19:18:51 Sandy: yes. and it implies that the consumer is not allowed to look for a schema doc outside the IF for C. 19:28:58 pratul has joined #sml 19:41:56 Kumar: schema allows different behavior in terms of schema composition; why does SML need to define a specific approach? 19:42:53 John: xml schema is a general purpose language; sml-if needs to guarantee interop. 19:47:22 regrets: Zulah 19:48:15 Kumar: i want to use existing schema processors. 19:49:52 MSM: argument and analogy that we can't and shouldn't expect that *any* conforming schema processor can be used as-is in sml validator. (involing c language specification and schema processor that exposes no psvi properties.) 19:50:37 /me admires Sandy's concise summary of a long and wandering rant 19:51:04 John: this is specifically about interchange. need to make sure different consumers process IF instances in the same way. 19:58:17 MSM: for a schema processor that ignores schema locations but takes a list of schema documents to build a schema, then i can use it to implement the "synthetic" schema approach desribed in the proposal. 20:02:16 Kirk: 3rd paragraph in 6.1 "... with schema locations pointing to schema documents from the namespace-to-schema-document mapping." 20:04:09 Prutal: 4th paragraph in 6.1. required to attempt to resolve . what happens if if fails? 20:04:30 MSM: not an error. you must try, but ok if it fails. 20:16:13 MSM: about 6.2.2, consistency question. imagine schema doc S has def-level ns1->T; T has def-level ns2->S1 (same tns as S). OK? 20:16:37 Sandy: the idea is to load both S and S1 (trust everybody); conflicts result in errors. 20:18:13 Ginny: need aliases for include/redeine etc. as well as schema binding. 20:22:07 MSM: observes that we can ignore include schemaLocation, or always point to the root document for that namespace. 20:22:45 ... this avoids honoring schemaLocation. 20:23:25 Sandy: redefine can't be handled using this strategy; so we might as well handle include and redefine in the same way. 20:23:48 John: last paragraph of 6.2.3, does it apply to all schema binding options? 20:23:52 Valentina/Sandy: yes 20:24:47 Kumar: for "explicit binding", do we *always* need a catalog specified in the IF? 20:25:06 Valentina: not always. if the default (namespace matching) works, then no explicit override is needed. 20:26:35 Kumar: how does the producer know which schema documents should be used to validate each instance, so it can calculate the set of bindings necessary? 20:26:47 Valentina: producer has knowledge of data 20:26:59 Kumar: it's the conflicting case where this gets interesting 20:28:25 Kumar: when the model inst doc using one version of a schema doc for which other versions exist in the store, did part of the "add new MID" process specify which schema doc of the two should be used? 20:32:10 Pratul: shouldn't this be specified in SML, and not SML-IF? 20:33:26 Sandy: the reason it's here is because IF needs guaranteed interop, so we not only need to require processors to conform to schema, but also specify additional rules to achive interop. 20:34:09 ... buf for SML, schema processors can do whatever they want; and schema already handles this case (multiple versions in same model). 20:34:34 Pratul: we need to answer first whether we allow conflicting schema docs in the same SML model. if not, then this can be greatly simplified. 20:34:53 MSM: similar question. should SML/SML-IF allow conflicting schema docs? 20:40:31 John: need to put different CMDBs in the same SML model; each CMDB may have its own schemas. 20:44:04 Pratul: if the new version doesn't breaking existing instance, should be ok to keep only one version. 20:44:34 MSM: hard to maintain both backward and forward compatibility 20:48:29 MSM: what does SML currently say. is conflicting schema docs supposed to be supported? 20:49:03 Sandy: I think yes. SML is any set of XML documents; and schema knows how to handle multiple-version-same-ns. 20:52:36 MSM: producer supports conflicting schema docs; send it in IF, to a consumer that doesn't support it, the consumer can't correctly understand the IF. a problem? 20:53:32 John: no. the same as IF having reference schemes not recognized by the consumer. no guarantee that all consumers can understand everything in an IF instance. 20:55:44 Kumar: in an SML model, there is a schema doc and many instances; later on, a conflicting schema doc is added. what happens? 20:55:57 Pratul: no defined in our specs. up to your processor. 20:56:50 John: possible options: reject, keep both, replace, treat as an instance doc, ... bottom line: anything; SML doesn't specify it. 20:59:04 Kumar: are we required to support it (conflicting schema docs)? 20:59:57 Sandy: as an SML processor and producer, you are not required to support it. But as a consumer, if an IF contains conflicting schema docs, you need to understand. but it's up to you what to do with it. e.g. you may choose to only store one schema in the model and ignore the other(s). 21:00:28 Pratul: or we can, in SML-IF, to say if a consumer doesn't support it, then it can ignore additional versions in the IF. 21:08:43 Kumar/Pratul: back to the question of whether we need to support this in SML at all. 21:10:07 Sandy: we had the CMDB case John mentioned earlier. And given we are making SML a general purpose validation language, we need to consider other cases. from my experience, WPS and SDO need the capability to handle multiple versions of the same schema at the same time. 21:11:10 John: eclipse tools, validation is explicit UI action, not done automatically all the time. then it's possible to have half-ready schemas. 21:12:00 action: Sandy to provide more detailed scenario description about handling multiple versions at the same time. 21:12:00 Created ACTION-119 - Provide more detailed scenario description about handling multiple versions at the same time. [on Sandy Gao - due 2007-09-04]. 21:13:05 230 Commerce Valley Dr E 21:13:31 Bombay Bhel 21:13:40 we are here : L6G 1C7 21:14:55 /leave Bye, everyone! Enjoy the dinner! :-) 21:15:20 -Ginny 21:15:31 -SMLF2F 21:15:32 XML_SMLWG(IBM f2f)8:00AM has ended 21:15:33 Attendees were Paul, Marv, Kirk, Kumar, MSM, Pratul, Jim, Valentina, Sandy, Ginny 21:16:04 present+ John 21:16:12 rrsagent, generate minutes 21:16:12 I have made the request to generate http://www.w3.org/2007/08/28-sml-minutes.html Sandy 21:18:01 Jim has left #sml 21:23:01 rrsagent, bye 21:23:01 I see 3 open action items saved in http://www.w3.org/2007/08/28-sml-actions.rdf : 21:23:01 ACTION: Kirk to research further and follow up via email towards resolution on this Bug. [1] 21:23:01 recorded in http://www.w3.org/2007/08/28-sml-irc#T14-37-24 21:23:01 ACTION: Valentina to explore implementation of deref() in XPath [2] 21:23:01 recorded in http://www.w3.org/2007/08/28-sml-irc#T15-05-06 21:23:01 ACTION: Sandy to provide more detailed scenario description about handling multiple versions at the same time. [3] 21:23:01 recorded in http://www.w3.org/2007/08/28-sml-irc#T21-12-00