ITI Series Institut Teoretick´eInformatiky Institute for Theoretical Computer Science 2010-488 XML Prague 2010 Conference Proceedings Institute for Theoretical Computer Science (ITI) Charles University Malostransk´en´amˇest´ı25 118 00 Praha 1 Czech Republic http://iti.mff.cuni.cz/series/ XML Prague 2010 – Conference Proceedings Copyright © 2010 Jiří Kosek Copyright © 2010 MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty Univerzity Karlovy v Praze ISBN 978-80-7378-115-6 XML Prague 2010 Conference Proceedings Lesser Town Campus Prague, Czech Republic March 13–14, 2010 Syntea software group a.s. (www.syntea.cz) Syntea is developer and supplier of IT solutions of large process-oriented systems. Syntea has designed, implemented and successfully uses the technology of Xdefinition . Xdefinition • facilitate validation and processing of XML documents • simplify and make more precise the communication between users, analysts, architects and programmers • accelerate implementation of IT solutions and increase the robustness of the applications in routine use Xdefinition is the tool for description of structure of XML documents in very readable and understandable form. The structural description can be decomposed to number of logical units. Technology of Xdefinition allows both the validation and construction of XML data. Together with structural description of XML data it can be added also an executive code. The Xdefinition allows to describe different events and actions to be executed . Due to possibility to invoke external methods it is possible to provide complex error handling/error recovery and data processing. Xdefinition makes possible processing of large amount of XML data . The size of processed data is practically unlimited. Xdefinition technology can process very large data (size of source XML files can exceed the size of local memory). Xdefinition is accessible from JAVA. There are available configurations for different Java versions. It is possible to generate a special version supporting XPATH 2.0 and XQUERY (in connection with Saxon library). Trial version of Xdefinition is available on www.syntea.cz. E-mail: [email protected] * Table of Contents General Information ..................................................................................................... xiii Sponsors .......................................................................................................................... xv Preface ........................................................................................................................... xvii Papers and invited talks .................................................................................................. 1 Streaming in XSLT 2.1 – Michael Kay ..................................................................... 3 What XSL 2.0 means for implementers and users – Tony Graham ................... 15 Automating Document Assembly in DocBook – Norman Walsh ..................... 33 EXPath: Packaging, and Web applications – Florent Georges ............................ 55 “Full Impact” Schema Differencing – Anthony B. Coates and Daniel Dui ........ 65 Tracking Changes: Technical and UX Challenges – Laurens Van den Oever ............................................................................................. 87 Schema-aware editing – George Bina .................................................................... 93 How to avoid suffering from markup – Felix Sasaki ........................................ 105 Authoring XML all the Time, Everywhere and by Everyone – Stéphane Sire, Christine Vanoirbeek, Vincent Quint, and Cécile Roisin ................ 125 Multimedia XML – Robin Berjon ......................................................................... 151 XQuery in the Browser – Ghislain Fourny, Markus Pilman, Daniela Florescu, Donald Kossmann, Tim Kraska, and Darin McBeath ............................................ 161 Topic Maps run from XML and is coming back with Flowers – Benjamin Bock, Sven Krosse, and Lutz Maicher .................................................... 163 Extending XQuery with Collections, Indexes, and Integrity Constraints – Cezar Andrei, Matthias Brantner, Daniela Florescu, David Graf, Donald Kossmann, and Markos Zaharioudakis ...................................................................................... 179 The Future of XML at W3C – Liam Quin ........................................................... 195 Real time, all the time, ragtime XML – Mark Howe, Tony Graham, and Alan Hazelden .................................................... 199 Film Markup Language – Ari Nordström ........................................................... 211 xi A Time Machine for XML: PUL Composition – Ghislain Fourny, Daniela Florescu, Donald Kossmann, and Markos Zacharioudakis . 233 Posters ............................................................................................................................ 243 XQuery Update Facility in Enterprise Database Systems and in SQL/XML – Dusan Petkovic .................................................................................................... 245 Yet Another XML Binding – Wolfgang Laun ...................................................... 259 Introduction to XQC – the C Language Binding for XQuery – Matthias Brantner, John Snelson, Vinayak Borkar, and Christopher Hillery ......... 273 Approaches to change tracking in XML – Robin La Fontaine .......................... 281 XML Pipeline Performance – Nigel Whitaker and Tristan Mitchell .................. 295 NAXD – Karel Piwko, Petr Chmelař, Radim Hernych, and Daniel Kubíček ........ 307 A [insert XML Format] Database for [insert cool application] – Vyacheslav Zholudev, Michael Kohlhase, and Florian Rabe ................................... 317 XQBench – A XQuery Benchmarking Service – Peter M. Fischer ................... 341 Demos ............................................................................................................................ 357 XQuery in the Cloud – Matthias Brantner, Daniela Florescu, and Donald Kossmann ............................... 359 XQuery Development Tools (XQDT) – Gabriel Petrovay and William Candillon ................................................................ 361 xii General Information Date Saturday, March 13th, 2010 Sunday, March 14th, 2010 Location Lesser Town Campus of Charles University, Lecture Halls S5 and S6 Malostranské náměstí 25, 110 00 Prague 1, Czech Republic Organizing Committee Petr Cimprich, Ubiqway James Fuller, Webcomposite Vít Janota Tomáš Kaiser, University of West Bohemia, Pilsen Jirka Kosek, xmlguru.cz & University of Economics, Prague Pavel Kroh Petr Pajas, Charles University, Prague Mohamed Zergaoui, Innovimax Martin Žák Produced By XMLPrague.cz (http://xmlprague.cz) Institute for Theoretical Computer Science (http://iti.mff.cuni.cz) Ubiqway, s.r.o. (http://www.ubiqway.com) xiii Institute for Theoretical Computer Science Center of research in Computer Science and Discrete Mathematics funded by the Ministry of Education of the Czech Republic Established in 2000, current project approved for 2010–2011 Staff of 60+ researchers include both experienced and young scientists ITI is a joint project of the following institutions: – Faculty of Mathematics and Physics, Charles University, Prague – Faculty of Applied Sciences, University of West Bohemia, Pilsen – Faculty of Informatics, Masaryk University, Brno – Mathematical Institute, Academy of Sciences of the Czech Repub- lic – Institute of Computer Science, Academy of Sciences of the Czech Republic For more information, see http://iti.mff.cuni.cz Publication preprints are available in ITI Series (http://iti.mff.cuni.cz/series) Sponsors Gold Sponsors Mark Logic Corporation (http://www.marklogic.com) The FLWOR Foundation (http://www.flworfound.org) Silver Sponsors Xopus (http://xopus.com) oXygen (http://www.oxygenxml.com) River Valley Technologies (http://www.river-valley.com) 28msec (http://www.28msec.com) Bronze Sponsors data2type GmbH (http://www.data2type.de) Jalfrezi Software Limited (http://www.jalfrezisoftware.co.uk) Mercator IT Solutions Ltd (http://www.mercatorit.com) Syntea software group a.s. (http://syntea.cz) xv xvi Preface This publication contains papers presented at XML Prague 2010. XML Prague is a conference on XML for developers, markup geeks, information managers, and students. In its 5th year, XML Prague focuses on emerging trends in core XML technologies and their application in the real world, with stress on temporal aspects of XML. The conference provides an overview of successful XML technologies, with the focus being more towards real world application versus theoretical exposition. XML Prague conference takes place 13–14 March 2010 at the Lesser Town Campus of the Faculty of Mathematics and Physics, Charles University, Prague. XML Prague 2010 is jointly organized by the XML Prague Organizing Committee and by the Institute for Theoretical Computer Science.1 The full program of the conference is broadcasted over the Internet (see http:// xmlprague.cz) – XML fans from around the world are encouraged to take part on-line. Remote and local participants are visible to each other and all have got a chance to interact with speakers. This is the fifth year we have organized this event. Information about XML Prague 2005, 2006, 2007 and 2009 was published in ITI Series 2005-254, 2006-294, 2007-353 and 2009-428 (see http://iti.mff.cuni.cz/series/). — Petr Cimprich & Mohamed Zergaoui XML Prague Organizing Committee