![[x]](../../../icons/eks.png)
Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze,
Stéphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter,
Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce
Miller, Robert Miner, Murray Sargent, Bruce Smith, Neil Soiffer, Robert
Sutor, and Stephen Watt.
Mathematical Markup Language (MathML) version 3.0.
W3C Candidate Recommendation of 15 December 2009, World Wide Web
Consortium, 2009.
Scott Boag, Don Chamberlin, Mary F. Fernández, Daniela Florescu, Jonathan
Robie, and Jérôme Siméon.
XQuery: An XML Query Language.
W3C recommendation, World Wide Web Consortium (W3C), January
2007.
available at http://www.w3.org/TR/xquery/.
Don Chamberlin, Michael Dyck, Daniela Florescu, Jim Melton, Jonathan Robie, and
Jérôme Siméon.
XQUpdate: XQuery Update Facility 1.0.
W3C Candidate Recommendation, World Wide Web Consortium (W3C),
seen February 2008.
Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita
Zhiltsov, and Vyacheslav Zholudev.
Publishing math lecture notes as linked data.
In Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten
Teije, Heiner Stuckenschmidt, Liliana Cabral, and Tania Tudorache, editors,
ESWC, number 6089 in Lecture Notes in Computer Science, pages 370–375.
Springer, June 2010. doi: 10.1007/978-3-642-13489-0_26.
Donald E. Knuth.
Literate Programming.
The University of Chicago Press, 1992.
Michael Kohlhase.
An open markup format for mathematical documents OMDoc [version
1.6 (pre-2.0)].
Draft Specification, 2010.
Christoph Lange and Vyacheslav Zholudev.
Previewing OWL changes and refactorings using a flexible XML
database.
In Mathieu d’Aquin, Alexander García Castro, Christoph Lange, and
Kim Viljanen, editors, 1st Workshop on Ontology
Repositories and Editors, number 596 in CEUR Workshop Proceedings,
Hersonissos, Greece, May 2010.
E. Melis, J. Buedenbender E. Andres, A. Frischauf, G. Goguadse, P. Libbrecht,
M. Pollet, and C. Ullrich.
Knowledge representation and management in activemath.
International Journal on Artificial Intelligence and
Mathematics, Special Issue on Management of Mathematical Knowledge,
38(1–3):47–64, 2003. doi: 10.1023/A:1022959613174.
Dimitar Misev.
Integrating SUMO and OMDoc.
Bachelor’s thesis, Computer Science, Jacobs University, Bremen, 2010.
Boris Motik, Bijan Parsia, and Peter F. Patel-Schneider.
OWL 2 web ontology language: XML serialization.
W3C recommendation, World Wide Web Consortium (W3C), 10 2009.
Erica Melis and Carsten Ullrich.
How to teach it – polya-inspired scenarios in activemath.
AI in Education (AIED-2003), IOS Press, pages 141–147, 2001.
Michael K. Smith, Chris Welty, and Deborah L. McGuinness.
OWL web ontology language guide.
W3C Recommendation, World Wide Web Consortium (W3C), February
2004.
Norman Walsh and Leonard Muellner.
DocBook 5.0: The Definitive Guide.
O’Reilly, 2008.
Vyacheslav Zholudev and Michael Kohlhase.
TNTBase: a versioned storage for XML.
In Proceedings of Balisage: The Markup Conference 2009,
volume 3 of Balisage Series on Markup Technologies. Mulberry
Technologies, Inc., 2009. doi: 10.4242/BalisageVol3.Zholudev01.
Vyacheslav Zholudev, Michael Kohlhase, and Florian Rabe.
A [insert xml format] database for [insert cool application].
In Proceedings of XML Prague 2010, 2010.
Scripting Documents with XQuery: Virtual Documents in TNTBase
Vyacheslav Zholudev
PhD Student
Jacobs University Bremen
Michael Kohlhase
Professor
Jacobs University Bremen
Abstract
This paper introduces the concept of Virtual Documents and its prototypical realization
in our TNTBase system, a versioned XML database. Virtual Documents integrate XQuery-based
computational facilities into documents like JSP/PHP do for relational queries. We view
the integration of computation in documents as an enabling technology and
evaluate it on a handful of real-world use cases.
Scripting Documents with XQuery: Virtual Documents in TNTBase
Balisage: The Markup Conference 2010
August 3 - 6, 2010
The materials listed below were provided by the speaker as supplements to a
presentation at Balisage. These materials may include the slides or visuals used in the
presentation; supplementary material, such as code samples or a demonstration application;
and/or the paper accompanying the presentation (if it has not been provided in XML). These
materials have been zipped for easy download and are identified by a brief description of
the contents. The materials themselves are untouched
, that is, they
have not been tested or edited by Balisage: The Markup Conference or by Mulberry
Technologies, Inc. As such, they are included on this website AS IS
,
i.e., as provided by the speaker, with no warranties, express or otherwise, made by Balisage
or Mulberry.
Slides and Materials
