|  |
XQuery Normalizer and Static Analyzer
A Java API and GUI for normalizing and computing the static type of XQuery expressions.
Date Posted: March 18, 2004
|
|
|
|
|
What is XQuery Normalizer and Static Analyzer?
XQuery Normalizer and Static Analyzer (XQNSTA) is a JavaTM API and GUI for normalizing and computing the static type of XQuery expressions. The tool consists of two components: the Normalizer and the Static Analyzer. The tool includes a graphical user interface (GUI) for entering the XQuery expression and for displaying the results. The tool also includes a Java API so that programmers can process XQuery expressions in their applications.
How does it work? Given an XQuery expression, the tool uses the normalization rules specified in the W3C XQuery Formal Semantics document to convert the given expression to an expression in a core grammar (a subset of the XQuery grammar). The tool also comes with a parser that gives an XML representation of the XQuery expression; this XML representation can be used for manipulating the expression.
Given a normalized expression, the tool again uses the static typing rules specified in the W3C XQuery Formal Semantics document to determine the output type of the expression. The normalized expression can be obtained from the Normalizer, and the static type of the expression can be obtained from the Static Analyzer. The Static Analyzer also checks for semantic errors (such as passing an empty expression to a function call where an integer argument is expected) and generates error messages whenever semantic errors are found during the static type checking.
Further information is available in this white paper.
|
|
|
| | About the technology author(s):
This technology has been developed by Deepak M. Srinivasa and Rajeshwari Rajendra.
Deepak M. Srinivasa is a staff software engineer at the Technology Incubation Center, IBM Software Labs, India. His interests include XML and Computational Biology. He is also the inventor for about eight patent applications that IBM has filed. Mr. Srinivasa can be reached at here.
Rajeshwari Rajendra is a software engineer at the Technology Incubation Center, IBM Software Labs, India. Her interests include XML and Compiler Techniques. She can be reached here.
|
|
|
| |
|
