web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Thu, 20 Dec 2007 16:29:58 +0000 (16:29 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Thu, 20 Dec 2007 16:29:58 +0000 (16:29 +0000)
research/publications.mdwn

index d96118c..f22f78c 100644 (file)
@@ -18,7 +18,7 @@
          Languages 2007</a>: The Markup Theory and Practice Conference.
        August 7-10, 2007 Montreal, Canada.
       </em>
-    [[toggle id=stevelatvia text="Abstract."]] [[toggleable id=stevelatvia text="""
+    [[toggle id=steve text="Abstract."]] [[toggleable id=steve text="""
     *Abstract:* Assertions, identity constraints, and conditional type assignments are (planned) features of XML Schema which rely on XPath evaluation to various ends. The allowed XPath subset exploitable in those features is trimmed down for streamability concerns partly understandable (the apparent wish to avoid buffering to determine the evaluation of an expression) and partly artificial. In this paper we dissect the XPath language in subsets with varying streamability characteristics. We also identify the larger subset which is compatible with the typing discipline we believe underlies some of the choices currently present in the XML Schema specifications. We describe such a discipline as imposing that the type of an element has to be decided when its start tag is encountered and its validity has to be when its end tag is. We also propose an alternative lazy typing discipline where both type assignment and validity assessment are fired as soon as they are available in a best effort manner. We believe our discipline is more flexible and delegate to schema authors the choice of where to place in the trade-off between using larger XPath subsets and increasing buffering requirements or expeditiousness of typing information availability.
     """]]