...collaborate on

Strategic Querying of XML Documents

Student: VitorRodrigues?

In this project you will develop a set of combinators for querying XML documents expressed in the strafunski library. In particular we would like to embed the HaQuery language - devoled in the DI/UM - as a set of strafunski library. As a result, we will be able to define queries directly in Haskell/Strafunski whithout having to define/update a language processor for HaQuery as done before.
The Strafunski library already provides support for:

  • a. Parse/Unparse XML documents via the HaXml library
  • b. A set of basic combinators to express traversal functions over any data type
  • c. A prototype implementation of HaQuery and a library of Query combinators (defined by a group of AFP students last year).

You will express the existant HaQuery combinators directly in Strafunski.

  • The first step will be to express the HaXml cmbinators in Strafusnki, using the HaQuery combinators to generate the query tree.
  • The second step is to express the HaQuery combinators, directly with Strafunski, avoind the unnecessary creation of the query tree structure.

Recomended Literature

  1. XQuery: a typed functional language for querying XML, Philip Wadler, 2002
  2. A Strafunski Application Letter, Joost Visser and Ralf Laemmel, 2003 This paper presents the Strafunski libraries, and explains how it works, presenting some examples of Strafunski utilization, namely, in Haskell to Cobol reverse engineering, Java code metrics and Haskell re-engineering.
  3. The XQuery Formal Semantics: A Foundation for Implementation and Optimisation, Byron Choi, Mary Fernandez and Jrme Simon, 2002

Project Report: StrategicQueryingXMLReport

Download Project Source (See README for instructions.)


-- JoaoSaraiva - 27 Oct 2004

  Attachment Action Size Date Who Comment
pdf AStrafunskiAplicationLetter.pdf props, move 332.6 K 14 Dec 2004 - 11:05 VitorRodrigues? Paper Presentation (Portuguese)
pdf StrategicQueryingofXMLDocuments.pdf props, move 14.9 K 01 Dec 2004 - 22:30 VitorRodrigues? Project Presentation (Portuguese)
pdf TheXQueryFormalSemantics.pdf props, move 94.1 K 14 Dec 2004 - 11:07 VitorRodrigues? Paper Presentation (Portuguese)
pdf XQuery2.pdf props, move 33.1 K 14 Dec 2004 - 11:08 VitorRodrigues? Paper Presentation (Portuguese)
r6 - 12 Feb 2007 - 19:20:18 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM