The XML Schema specified in this appendix accomplishes its
integration by importing the XML Schema defined for XQueryX in
[XQuery Update Facility], incorporating
all of its type and element definitions. It then extends that
schema by adding definitions of new types and elements in a
namespace belonging to the XQuery Scripting Extension 1.0
specification.
B.1 Schema
This section specifies the XML Schema that defines the complex
types and elements for XQueryX in support of XQuery Scripting
Extension 1.0, including changes to the prolog and the addition of
several new expressions. It also specifies a second XML Schema that
redefines an element defined in XQueryX 1.0. Copies of these two
schemata can be found at http://www.w3.org/2008/xquery-sx-10/xquery-sx-10-xqueryx.xsd.
and http://www.w3.org/2008/xquery-sx-10/xquery-sx-10-xqueryx-redef.xsd.
Please note that the content of these schemata are subject to
change at any time before this document is published as a
Recommendation.
<xsd:schema
xmlns:xsd="http://www.w3.org/2001/XMLSchema"
xmlns:xqx="http://www.w3.org/2005/XQueryX"
xmlns:xqxuf="http://www.w3.org/2007/xquery-update-10"
xmlns:xqxsx="http://www.w3.org/2008/xquery-sx-10"
targetNamespace="http://www.w3.org/2008/xquery-sx-10"
elementFormDefault="qualified"
attributeFormDefault="unqualified">
<!-- Initial creation 2008-03-01: Jim Melton -->
<!-- Added FunctionDecl redefinition 2008-03-11: Jim Melton -->
<xsd:import namespace="http://www.w3.org/2005/XQueryX"
schemaLocation="http://www.w3.org/2008/xquery-sx-10/xquery-sx-10-xqueryx-redef.xsd"/>
<!-- Declare new type for constant declarations -->
<xsd:complexType name="constDecl">
<xsd:sequence>
<xsd:element name="constName" type="xqx:QName"/>
<xsd:element ref="xqx:typeDeclaration" minOccurs="0"/>
<xsd:element name="constValue" type="xqx:exprWrapper"/>
</xsd:sequence>
</xsd:complexType>
<xsd:element name="constDecl" type="xqxsx:constDecl"
substitutionGroup="xqx:prologPartTwoItem"/>
<!-- Create substitution grp for scripting extension exprs -->
<xsd:complexType name="expr">
<xsd:complexContent>
<xsd:extension base="xqx:expr"/>
</xsd:complexContent>
</xsd:complexType>
<!-- Make scripting extension subst grp part of expr grp -->
<xsd:element name="expr" type="xqxsx:expr" abstract="true"
substitutionGroup="xqx:expr"/>
<!-- AssignmentExpr: -->
<!-- AssignmentExpr ::= "set" "$" VarName ":=" ExprSingle -->
<xsd:complexType name="assignmentExpr">
<xsd:complexContent>
<xsd:extension base="xqxsx:expr">
<xsd:sequence>
<xsd:element ref="xqx:positionalVariableBinding"/>
<xsd:element name="assignedExpr" type="xqx:exprWrapper"/>
</xsd:sequence>
</xsd:extension>
</xsd:complexContent>
</xsd:complexType>
<xsd:element name="assignmentExpr" type="xqxsx:assignmentExpr"
substitutionGroup="xqxsx:expr"/>
<!-- Block (1 of 3): -->
<!-- Block ::= "{" BlockDecls BlockBody "}" -->
<!-- BlockDecls ::= (BlockVarDecl ";")* -->
<xsd:complexType name="block">
<xsd:complexContent>
<xsd:extension base="xqxsx:expr">
<xsd:sequence>
<xsd:element ref="xqxsx:blockVarDecl"
minOccurs="0" maxOccurs="unbounded"/>
<xsd:element ref="xqxsx:blockBody"/>
</xsd:sequence>
</xsd:extension>
</xsd:complexContent>
</xsd:complexType>
<xsd:element name="block" type="xqxsx:block"
substitutionGroup="xqxsx:expr"/>
<!-- Block (2 of 3): -->
<!-- BlockVarDecl ::= -->
<!-- "declare" "$" VarName TypeDeclaration? -->
<!-- (":=" ExprSingle)? -->
<!-- ("," "$" VarName TypeDeclaration? -->
<!-- (":=" ExprSingle)? )* -->
<xsd:complexType name="blockVarDecl">
<xsd:sequence minOccurs="1" maxOccurs="unbounded">
<xsd:element name="varName" type="xqx:QName"/>
<xsd:element ref="xqx:typeDeclaration" minOccurs="0"/>
<xsd:element name="varValue" type="xqx:exprWrapper"
minOccurs="0"/>
</xsd:sequence>
</xsd:complexType>
<xsd:element name="blockVarDecl" type="xqxsx:blockVarDecl"/>
<!-- Block (3 of 3): -->
<!-- BlockBody ::= (Expr ";")* -->
<xsd:complexType name="blockBody">
<xsd:sequence>
<xsd:element name="blockExpr" type="xqx:exprWrapper"
minOccurs="1" maxOccurs="unbounded"/>
</xsd:sequence>
</xsd:complexType>
<xsd:element name="blockBody" type="xqxsx:blockBody"/>
<!-- ExitExpr: -->
<!-- ExitExpr ::= "exit" "with" ExprSingle -->
<xsd:element name="exitExpr" type="xqxsx:expr"
substitutionGroup="xqxsx:expr"/>
<!-- WhileExpr: -->
<!-- WhileExpr ::= "while" "(" ExprSingle ")" Block -->
<xsd:complexType name="whileExpr">
<xsd:complexContent>
<xsd:extension base="xqxsx:expr">
<xsd:sequence>
<xsd:element name="whileTest" type="xqx:exprWrapper"/>
<xsd:element ref="xqxsx:block"/>
</xsd:sequence>
</xsd:extension>
</xsd:complexContent>
</xsd:complexType>
<xsd:element name="whileExpr" type="xqxsx:whileExpr"
substitutionGroup="xqxsx:expr"/>
<!-- ContinueExpr: -->
<!-- ContinueExpr ::= "continue" "loop" -->
<xsd:complexType name="continueExpr">
<xsd:complexContent>
<xsd:restriction base="xqxsx:expr"/>
</xsd:complexContent>
</xsd:complexType>
<xsd:element name="continueExpr" type="xqxsx:continueExpr"
substitutionGroup="xqxsx:expr"/>
<!-- BreakExpr: -->
<!-- BreakExpr ::= "break" "loop" -->
<xsd:complexType name="breakExpr">
<xsd:complexContent>
<xsd:restriction base="xqxsx:expr"/>
</xsd:complexContent>
</xsd:complexType>
<xsd:element name="breakExpr" type="xqxsx:breakExpr"
substitutionGroup="xqxsx:expr"/>
</xsd:schema>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
xmlns="http://www.w3.org/2005/XQueryX"
targetNamespace="http://www.w3.org/2005/XQueryX"
elementFormDefault="qualified" attributeFormDefault="qualified">
<!-- Redefine one or more components of the XQueryX XML Schema -->
<!-- The redefinition starts with XQuery Update Facility 1.0 -->
<!-- XQueryX instead of XQueryX 1.0 -->
<xsd:redefine schemaLocation="http://www.w3.org/2007/xquery-update-10/xquery-update-10-xqueryx-redef.xsd">
<!-- Redefine the functionDecl complex type -->
<xsd:complexType name="functionDecl">
<xsd:complexContent>
<xsd:extension base="functionDecl">
<xsd:attribute name="simpleFunction"
type="xsd:boolean" default="true"/>
<xsd:attribute name="sequentialFunction"
type="xsd:boolean" default="false"/>
</xsd:extension>
</xsd:complexContent>
</xsd:complexType>
</xsd:redefine>
</xsd:schema>
B.2 Stylesheet
This section specifies the XSLT stylesheet that defines the
semantics of XQueryX in support of XQuery Scripting Extension 1.0.
It imports the XSLT stylesheet defined in [XQuery Update Facility], and provides
additional templates that define the semantics of the XQueryX
representation of XQuery Scripting Extension 1.0 by transforming
that XQueryX representation into the human readable syntax of
XQuery Scripting Extension 1.0. A copy of this stylesheet is
located at http://www.w3.org/2008/xquery-sx-10/xquery-sx-10-xqueryx.xsl.
Please note that the content of this stylesheet is subject to
change at any time before this document is published as a
Recommendation.
<xsl:stylesheet version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:xqx="http://www.w3.org/2005/XQueryX"
xmlns:xqxuf="http://www.w3.org/2007/xquery-update-10"
xmlns:xqxsx="http://www.w3.org/2008/xquery-sx-10">
<!-- Initial creation 2008-03-01: Jim Melton -->
<xsl:import href="http://www.w3.org/2007/xquery-update-10/xquery-update-10-xqueryx.xsl"/>
<!-- constDecl -->
<xsl:template match="xqxsx:constDecl">
<xsl:value-of select="$NEWLINE"/>
<xsl:text>declare constant </xsl:text>
<xsl:apply-templates/>
</xsl:template>
<xsl:template match="xqxsx:constName">
<xsl:apply-templates/>
</xsl:template>
<xsl:template match="xqxsx:constValue">
<xsl:apply-templates/>
</xsl:template>
<!-- assignmentExpr -->
<xsl:template match="xqxsx:assignmentExpr">
<xsl:value-of select="$NEWLINE"/>
<xsl:text>set </xsl:text>
<xsl:apply-templates select="xqx:positionalVariableBinding"/>
<xsl:text> := </xsl:text>
<xsl:apply-templates/>
</xsl:template>
<xsl:template match="xqxsx:assignedExpr">
<xsl:apply-templates/>
</xsl:template>
<!-- block -->
<xsl:template match="xqxsx:block">
<xsl:value-of select="$NEWLINE"/>
<xsl:value-of select="$LBRACE"/>
<xsl:value-of select="$SPACE"/>
<xsl:apply-templates/>
<xsl:value-of select="$SPACE"/>
<xsl:value-of select="$RBRACE"/>
<xsl:value-of select="$SPACE"/>
</xsl:template>
<!-- blockVarDecl -->
<xsl:template match="xqxsx:blockVarDecl[position()=1 and position()=last()]">
<xsl:text>declare </xsl:text>
<xsl:apply-templates select="xqxsx:varName"/>
<xsl:if test="xqx:typeDeclaration">
<xsl:apply-templates select="xqx:typeDeclaration"/>
</xsl:if>
<xsl:if test="xqxsx:varValue">
<xsl:text> := </xsl:text>
<xsl:apply-templates select="xqxsx:varValue"/>
</xsl:if>
<xsl:value-of select="$SEMICOLON"/>
</xsl:template>
<xsl:template match="xqxsx:blockVarDecl[position()=1 and position()!=last()]">
<xsl:text>declare </xsl:text>
<xsl:apply-templates select="xqxsx:varName"/>
<xsl:if test="xqx:typeDeclaration">
<xsl:apply-templates select="xqx:typeDeclaration"/>
</xsl:if>
<xsl:if test="xqxsx:varValue">
<xsl:text> := </xsl:text>
<xsl:apply-templates select="xqxsx:varValue"/>
</xsl:if>
</xsl:template>
<xsl:template match="xqxsx:blockVarDecl[position()>1 and position()<last()]">
<xsl:value-of select="$COMMA"/>
<xsl:value-of select="$NEWLINE"/>
<xsl:apply-templates select="xqxsx:varName"/>
<xsl:if test="xqx:typeDeclaration">
<xsl:apply-templates select="xqx:typeDeclaration"/>
</xsl:if>
<xsl:if test="xqxsx:varValue">
<xsl:text> := </xsl:text>
<xsl:apply-templates select="xqxsx:varValue"/>
</xsl:if>
</xsl:template>
<xsl:template match="xqxsx:blockVarDecl[position()>1 and position()=last()]">
<xsl:value-of select="$COMMA"/>
<xsl:value-of select="$NEWLINE"/>
<xsl:apply-templates select="xqxsx:varName"/>
<xsl:if test="xqx:typeDeclaration">
<xsl:apply-templates select="xqx:typeDeclaration"/>
</xsl:if>
<xsl:if test="xqxsx:varValue">
<xsl:text> := </xsl:text>
<xsl:apply-templates select="xqxsx:varValue"/>
</xsl:if>
<xsl:value-of select="$SEMICOLON"/>
</xsl:template>
<xsl:template match="xqxsx:varName">
<xsl:apply-templates/>
</xsl:template>
<xsl:template match="xqxsx:varValue">
<xsl:apply-templates/>
</xsl:template>
<!-- blockBody -->
<xsl:template match="xqxsx:blockBody">
<xsl:apply-templates/>
</xsl:template>
<xsl:template match="xqxsx:blockExpr">
<xsl:apply-templates/>
<xsl:value-of select="$SEMICOLON"/>
</xsl:template>
<!-- exitExpr -->
<xsl:template match="xqxsx:exitExpr">
<xsl:value-of select="$NEWLINE"/>
<xsl:text>exit with </xsl:text>
<xsl:apply-templates/>
</xsl:template>
<!-- whileExpr -->
<xsl:template match="xqxsx:whileExpr">
<xsl:value-of select="$NEWLINE"/>
<xsl:text>while </xsl:text>
<xsl:value-of select="$LPAREN"/>
<xsl:value-of select="$SPACE"/>
<xsl:apply-templates select="xqxsx:whileTest"/>
<xsl:value-of select="$SPACE"/>
<xsl:value-of select="$RPAREN"/>
<xsl:value-of select="$NEWLINE"/>
<xsl:apply-templates select="xqxsx:block"/>
<xsl:value-of select="$NEWLINE"/>
</xsl:template>
<xsl:template match="xqxsx:whileTest">
<xsl:apply-templates/>
</xsl:template>
<!-- continueExpr -->
<xsl:template match="xqxsx:continueExpr">
<xsl:value-of select="$NEWLINE"/>
<xsl:text>continue loop </xsl:text>
</xsl:template>
<!-- breakExpr -->
<xsl:template match="xqxsx:breakExpr">
<xsl:value-of select="$NEWLINE"/>
<xsl:text>break loop </xsl:text>
</xsl:template>
<!-- Over-ride the template for functionDecl in XQuery -->
<!-- Update Facility xquery-update-10-xqueryx-redef.xsd -->
<xsl:template match="xqx:functionDecl" priority="200">
<xsl:text>declare </xsl:text>
<xsl:choose>
<xsl:when test="@xqx:updatingFunction and
@xqx:updatingFunction = 'true'">
<xsl:text>updating </xsl:text>
</xsl:when>
<xsl:when test="@xqx:sequentialFunction and
@xqx:sequentialFunction = 'true'">
<xsl:text>sequential </xsl:text>
</xsl:when>
<xsl:otherwise>
<xsl:text>simple </xsl:text>
</xsl:otherwise>
</xsl:choose>
<xsl:text>function </xsl:text>
<xsl:apply-templates select="xqx:functionName"/>
<xsl:apply-templates select="xqx:paramList"/>
<xsl:apply-templates select="xqx:typeDeclaration"/>
<xsl:apply-templates select="xqx:functionBody"/>
<xsl:if test="xqx:externalDefinition">
<xsl:text> external </xsl:text>
</xsl:if>
</xsl:template>
</xsl:stylesheet>
B.3 Example
The following example is based on the data and queries in the
use cases in [XQuery Scripting Use
Cases]. In this example, we show the English description of the
query, the XQuery Scripting Extension solution given in [XQuery Scripting Use Cases], an XQueryX
solution, and the XQuery Update Facility expression that results
from applying the Update Facility XQueryX-to-XQuery Update Facility
transformation defined by the stylesheet in B.2 Stylesheet to the
Scripting Extension XQueryX solution. The XQuery Scripting
Extension expression that is produced is presented only as a
sanity-check—the intent of the stylesheet is not to recreate the
original XQuery expression, but to produce a valid XQuery
expression with the same semantics. The semantics of the Scripting
Extension XQueryX solution are determined by the semantics of the
XQuery Update Facility expression that results from that
transformation. The "correctness" of that transformation is
determined by asking the following the question: Can some Scripting
Extension XQueryX processor QX process some Scripting Extension
XQueryX document D1 to produce results R1, after which the
stylesheet is used to translate D1 into an XQuery Scripting
Extension expression E1 that, when processed by some XQuery
Scripting Extension processor Q, produces results R2 that are
equivalent (under some meaningful definition of "equivalent") to
results R1?
Comparison of the results of the Scripting Extension
XQueryX-to-XQuery Scripting Extension transformation given in this
document with the XQuery Scripting Extension solutions in [XQuery Scripting Use Cases] may be
helpful in evaluating the correctness of the Update Facility
XQueryX solution in each example.
The XQuery Scripting Extension Use Cases solution given for each
example is provided only to assist readers of this document in
understanding the Scripting Extension XQueryX solution. There is no
intent to imply that this document specifies a "compilation" or
"transformation" of XQuery Scripting Extension syntax into
Scripting Extension XQueryX syntax.
In the following example, note that path expressions are
expanded to show their structure. Also, note that the prefix syntax
for binary operators like "and" makes the precedence explicit. In
general, humans find it easier to read an XML representation that
does not expand path expressions, but it is less convenient for
programmatic representation and manipulation. XQueryX is designed
as a language that is convenient for production and modification by
software, and not as a convenient syntax for humans to read and
write.
Finally, please note that white space, including new lines, have
been added to some of the Scripting Extension XQueryX documents and
XQuery Scripting Extension expressions for readability. That
additional white space is not produced by the Scripting Extension
XQueryX-to-XQuery Scripting Extension transformation.
This example is based on query "Q2" from [XQuery Scripting Use Cases], use case
"R": "Scripting Relational Data":
B.3.1 XQuery Representation
let $uid := doc("users.xml")/users/user_tuple[name = "Roger Smith"]/userid
let $topbid := max(doc("bids.xml")/bids/bid_tuple[itemno = 1007]/bid)
let $newbid := $topbid * 1.1
return
if($newbid <= 240) then {
insert nodes
<bid_tuple>
<userid>{ data($uid) }</userid>
<itemno>1002</itemno>
<bid>{ $newbid }</bid>
<bid_date>1999-03-03</bid_date>
</bid_tuple>
into doc("bids.xml")/bids;
exit with <new_bid>{ $newbid }</new_bid>;
} else {
exit with <top_bid>{ $topbid }</top_bid>;
}
B.3.2 XQueryX Representation
<!--
let $uid := doc("users.xml")/users/user_tuple[name = "Roger Smith"]/userid
let $topbid := max(doc("bids.xml")/bids/bid_tuple[itemno = 1007]/bid)
let $newbid := $topbid * 1.1
return
if($newbid <= 240) then {
insert nodes
<bid_tuple>
<userid>{ data($uid) }</userid>
<itemno>1002</itemno>
<bid>{ $newbid }</bid>
<bid_date>1999-03-03</bid_date>
</bid_tuple>
into doc("bids.xml")/bids;
exit with <new_bid>{ $newbid }</new_bid>;
} else {
exit with <top_bid>{ $topbid }</top_bid>;
}
-->
<xqx:module xmlns:xqx="http://www.w3.org/2005/XQueryX"
xmlns:xqxuf="http://www.w3.org/2007/xquery-update-10"
xmlns:xqxsx="http://www.w3.org/2008/xquery-sx-10"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.w3.org/2005/XQueryX
http://www.w3.org/2005/XQueryX/xqueryx.xsd
http://www.w3.org/2007/xquery-update-10
http://www.w3.org/2007/xquery-update-10/xquery-update-10-xqueryx.xsd
http://www.w3.org/2008/xquery-sx-10
http://www.w3.org/2008/xquery-sx-10/xquery-sx-10-xqueryx.xsd">
<xqx:queryBody>
<xqx:flworExpr>
<!-- let $uid := doc("users.xml")/users/user_tuple[name = "Roger Smith"]/userid -->
<xqx:letClause>
<xqx:letClauseItem>
<xqx:typedVariableBinding>
<xqx:varName>uid</xqx:varName>
</xqx:typedVariableBinding>
<xqx:letExpr>
<xqx:pathExpr>
<xqx:stepExpr>
<xqx:filterExpr>
<xqx:functionCallExpr>
<xqx:functionName
xqx:prefix="fn">doc</xqx:functionName>
<xqx:arguments>
<xqx:stringConstantExpr>
<xqx:value>users.xml</xqx:value>
</xqx:stringConstantExpr>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:filterExpr>
</xqx:stepExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>users</xqx:nameTest>
</xqx:stepExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>user-tuple</xqx:nameTest>
<xqx:predicates>
<xqx:equalOp>
<xqx:firstOperand>
<xqx:pathExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>name</xqx:nameTest>
</xqx:stepExpr>
</xqx:pathExpr>
</xqx:firstOperand>
<xqx:secondOperand>
<xqx:stringConstantExpr>
<xqx:value>Roger Smith</xqx:value>
</xqx:stringConstantExpr>
</xqx:secondOperand>
</xqx:equalOp>
</xqx:predicates>
</xqx:stepExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>userid</xqx:nameTest>
</xqx:stepExpr>
</xqx:pathExpr>
</xqx:letExpr>
</xqx:letClauseItem>
</xqx:letClause>
<!-- let $topbid := max(doc("bids.xml")/bids/bid_tuple[itemno = 1007]/bid) -->
<xqx:letClause>
<xqx:letClauseItem>
<xqx:typedVariableBinding>
<xqx:varName>topbid</xqx:varName>
</xqx:typedVariableBinding>
<xqx:letExpr>
<xqx:pathExpr>
<xqx:stepExpr>
<xqx:filterExpr>
<xqx:functionCallExpr>
<xqx:functionName
xqx:prefix="fn">max</xqx:functionName>
<xqx:arguments>
<xqx:pathExpr>
<xqx:stepExpr>
<xqx:filterExpr>
<xqx:functionCallExpr>
<xqx:functionName
xqx:prefix="fn">doc</xqx:functionName>
<xqx:arguments>
<xqx:stringConstantExpr>
<xqx:value>bids.xml</xqx:value>
</xqx:stringConstantExpr>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:filterExpr>
</xqx:stepExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>bids</xqx:nameTest>
</xqx:stepExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>bid-tuple</xqx:nameTest>
<xqx:predicates>
<xqx:equalOp>
<xqx:firstOperand>
<xqx:pathExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>itemno</xqx:nameTest>
</xqx:stepExpr>
</xqx:pathExpr>
</xqx:firstOperand>
<xqx:secondOperand>
<xqx:integerConstantExpr>
<xqx:value>1007</xqx:value>
</xqx:integerConstantExpr>
</xqx:secondOperand>
</xqx:equalOp>
</xqx:predicates>
</xqx:stepExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>bid</xqx:nameTest>
</xqx:stepExpr>
</xqx:pathExpr>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:filterExpr>
</xqx:stepExpr>
</xqx:pathExpr>
</xqx:letExpr>
</xqx:letClauseItem>
</xqx:letClause>
<!-- let $newbid := $topbid * 1.1 -->
<xqx:letClause>
<xqx:letClauseItem>
<xqx:typedVariableBinding>
<xqx:varName>newbid</xqx:varName>
</xqx:typedVariableBinding>
<xqx:letExpr>
<xqx:multiplyOp>
<xqx:firstOperand>
<xqx:varRef>
<xqx:name>topbid</xqx:name>
</xqx:varRef>
</xqx:firstOperand>
<xqx:secondOperand>
<xqx:decimalConstantExpr>
<xqx:value>1.1</xqx:value>
</xqx:decimalConstantExpr>
</xqx:secondOperand>
</xqx:multiplyOp>
</xqx:letExpr>
</xqx:letClauseItem>
</xqx:letClause>
<!-- return -->
<xqx:returnClause>
<!-- if($newbid <= 240) -->
<xqx:ifThenElseExpr>
<xqx:ifClause>
<xqx:lessThanOrEqualOp>
<xqx:firstOperand>
<xqx:varRef>
<xqx:name>newbid</xqx:name>
</xqx:varRef>
</xqx:firstOperand>
<xqx:secondOperand>
<xqx:integerConstantExpr>
<xqx:value>240</xqx:value>
</xqx:integerConstantExpr>
</xqx:secondOperand>
</xqx:lessThanOrEqualOp>
</xqx:ifClause>
<!-- then { -->
<xqx:thenClause>
<xqxsx:block>
<xqxsx:blockBody>
<xqxsx:blockExpr>
<!-- insert nodes -->
<xqxuf:insertExpr>
<xqxuf:sourceExpr>
<!-- <bid_tuple> -->
<xqx:elementConstructor>
<xqx:tagName>bid_tuple</xqx:tagName>
<xqx:elementContent>
<!-- <userid>{ data($uid) }</userid> -->
<xqx:elementConstructor>
<xqx:tagName>userid</xqx:tagName>
<xqx:elementContent>
<xqx:functionCallExpr>
<xqx:functionName
xqx:prefix="fn">data</xqx:functionName>
<xqx:arguments>
<xqx:exprList>
<xqx:expr>
<xqx:varRef>
<xqx:name>uid</xqx:name>
</xqx:varRef>
</xqx:expr>
</xqx:exprList>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:elementContent>
</xqx:elementConstructor>
<!-- <itemno>1002</itemno> -->
<xqx:elementConstructor>
<xqx:tagName>itemno</xqx:tagName>
<xqx:elementContent>
<xqx:integerConstantExpr>
<xqx:value>1002</xqx:value>
</xqx:integerConstantExpr>
</xqx:elementContent>
</xqx:elementConstructor>
<!-- <bid>{ $newbid }</bid> -->
<xqx:elementConstructor>
<xqx:tagName>bid</xqx:tagName>
<xqx:elementContent>
<xqx:varRef>
<xqx:name>bid</xqx:name>
</xqx:varRef>
</xqx:elementContent>
</xqx:elementConstructor>
<!-- <bid_date>1999-03-03</bid_date> -->
<xqx:elementConstructor>
<xqx:tagName>bid_date</xqx:tagName>
<xqx:elementContent>
<xqx:stringConstantExpr>
<xqx:value>1999-03-03</xqx:value>
</xqx:stringConstantExpr>
</xqx:elementContent>
</xqx:elementConstructor>
</xqx:elementContent>
</xqx:elementConstructor>
</xqxuf:sourceExpr>
<!-- into doc("bids.xml")/bids; -->
<xqxuf:insertInto/>
<xqxuf:targetExpr>
<xqx:pathExpr>
<xqx:stepExpr>
<xqx:filterExpr>
<xqx:functionCallExpr>
<xqx:functionName
xqx:prefix="fn">doc</xqx:functionName>
<xqx:arguments>
<xqx:stringConstantExpr>
<xqx:value>bids.xml</xqx:value>
</xqx:stringConstantExpr>
</xqx:arguments>
</xqx:functionCallExpr>
</xqx:filterExpr>
</xqx:stepExpr>
<xqx:stepExpr>
<xqx:xpathAxis>child</xqx:xpathAxis>
<xqx:nameTest>bids</xqx:nameTest>
</xqx:stepExpr>
</xqx:pathExpr>
</xqxuf:targetExpr>
</xqxuf:insertExpr>
</xqxsx:blockExpr>
<!-- exit with <new_bid>{ $newbid }</new_bid>; -->
<xqxsx:blockExpr>
<xqxsx:exitExpr>
<xqx:elementConstructor>
<xqx:tagName>new_bid</xqx:tagName>
<xqx:elementContent>
<xqx:varRef>
<xqx:name>newbid</xqx:name>
</xqx:varRef>
</xqx:elementContent>
</xqx:elementConstructor>
</xqxsx:exitExpr>
</xqxsx:blockExpr>
<xqxsx:termSemicolon/>
</xqxsx:blockBody>
</xqxsx:block>
</xqx:thenClause>
<!-- } else { -->
<xqx:elseClause>
<!-- exit with <top_bid>{ $topbid }</top_bid>; -->
<xqxsx:block>
<xqxsx:blockBody>
<xqxsx:blockExpr>
<xqxsx:exitExpr>
<xqx:elementConstructor>
<xqx:tagName>top_bid</xqx:tagName>
<xqx:elementContent>
<xqx:varRef>
<xqx:name>topbid</xqx:name>
</xqx:varRef>
</xqx:elementContent>
</xqx:elementConstructor>
</xqxsx:exitExpr>
</xqxsx:blockExpr>
<xqxsx:termSemicolon/>
</xqxsx:blockBody>
</xqxsx:block>
</xqx:elseClause>
</xqx:ifThenElseExpr>
</xqx:returnClause>
<!-- } -->
</xqx:flworExpr>
</xqx:queryBody>
</xqx:module>
B.3.3 Transformed XQuery
Representation
Application of the stylesheet in B.2 Stylesheet to the
Update Facility XQueryX representation results in the following
XQuery representation:
( let $uid:=fn:doc("users.xml")/child::users/
child::user-tuple[(child::name = "Roger Smith")]/child::userid
let $topbid:=fn:max(fn:doc("bids.xml")/child::bids/
child::bid-tuple[(child::itemno = 1007)]/child::bid)
let $newbid:=($topbid*1.1)
return
( if (($newbid <= 240)) then
{ insert nodes
<bid_tuple><userid>{fn:data($uid)}</userid>
<itemno>{1002}</itemno>
<bid>{$bid}</bid>
<bid_date>{"1999-03-03"}</bid_date></bid_tuple>
into
fn:doc("bids.xml")/child::bids;
exit with <new_bid>{$newbid}</new_bid>; } else
{ exit with <top_bid>{$topbid}</top_bid>; } )
)