Reglas de conversión de tipos en XQuery
El siguiente diagrama de especificaciones de operadores y funciones de W3C XQuery 1.0 y XPath 2.0 muestra los tipos de datos integrados. Se incluyen los tipos primitivo integrado y derivado integrado.
.gif "Jerarquía de tipo XQuery 1.0")
Este tema describe las reglas de conversión de tipos que se aplican al realizar conversiones de un tipo a otro utilizando uno de los métodos siguientes:
Conversión explícita que se hace utilizando cast as o las funciones de constructor de tipo (por ejemplo, xs:integer("5")).
Conversión implícita que se produce durante la promoción de tipo.
Conversión explícita
La tabla siguiente describe la conversión de tipo admitida entre los tipos primitivos integrados.
.gif "Describe las reglas de conversión de XQuery.")
Un tipo primitivo integrado puede convertirse a otro tipo primitivo integrado, en función de las reglas de la tabla.
Un tipo primitivo puede convertirse a cualquier tipo derivado de dicho tipo primitivo. Por ejemplo, puede convertir el tipo xs:decimal a xs:integer, o bien xs:decimal a xs:long.
Un tipo derivado puede convertirse a cualquier tipo que sea su antecesor en la jerarquía de tipos, hasta llegar al tipo base primitivo integrado. Por ejemplo, puede convertir el tipo xs:token a xs:normalizedString o a xs:string.
Un tipo derivado puede convertirse a un tipo primitivo si su antecesor primitivo se puede convertir al tipo de destino. Por ejemplo, puede convertir xs:integer, un tipo derivado, a xs:string, un tipo primitivo, dado que xs:decimal, el antecesor primitivo de xs:integer, puede convertirse a xs:string.
Un tipo derivado puede convertirse a otro tipo derivado si el antecesor primitivo del tipo de origen puede convertirse al antecesor primitivo del tipo de destino. Por ejemplo, puede convertir xs:integer a xs:token, o bien xs:decimal a xs:string.
Las reglas para convertir tipos definidos por el usuario a tipos integrados son las mismas que se aplican a los tipos integrados. Por ejemplo, puede definir un tipo myInteger derivado del tipo xs:integer. A continuación, myInteger puede convertirse a xs:token, dado que xs:decimal puede convertirse a xs:string.
No se admiten los siguientes tipos de conversión:
Conversión a o desde tipos de lista. Se incluyen los tipos de lista definidos por el usuario y los tipos de lista integrados, como xs:IDREFS, xs:ENTITIES y xs:NMTOKENS.
Conversión a o desde xs:QName.
xs:NOTATION y los subtipos de duración completamente ordenados, xdt:yearMonthDuration y xdt:dayTimeDuration. Como resultado, no se admite la conversión a o desde estos tipos.
Los ejemplos siguientes muestran la conversión de tipo explícito.
Ejemplo A
En el ejemplo siguiente, se consulta una variable de tipo xml. La consulta devuelve una secuencia de un valor de tipo simple escrito en forma de xs:string.
declare @x xml
set @x = '<e>1</e><e>2</e>'
select @x.query('/e[1] cast as xs:string?')
go
Ejemplo B
En el ejemplo siguiente, se consulta una variable xml con tipo. El ejemplo crea primero una colección de esquemas XML. A continuación, utiliza la colección de esquemas XML para crear una variable xml con tipo. El esquema proporciona la información de tipo para la instancia XML asignada a la variable. A continuación, se especifican consultas para la variable.
create xml schema collection myCollection as N'
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
<xs:element name="root">
<xs:complexType>
<xs:sequence>
<xs:element name="A" type="xs:string"/>
<xs:element name="B" type="xs:string"/>
<xs:element name="C" type="xs:string"/>
</xs:sequence>
</xs:complexType>
</xs:element>
</xs:schema>'
go
La consulta siguiente devuelve un error estático porque no se sabe cuántos elementos <root> de nivel superior hay en la instancia de documento.
declare @x xml(myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>
<root><A>4</A><B>5</B><C>6</baz></C>'
select @x.query('/root/A cast as xs:string?')
go
Si se especifica un elemento singleton <root> en la expresión, la consulta se realizará correctamente. La consulta devuelve una secuencia de un valor de tipo simple escrito en forma de xs:string.
declare @x xml(myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>
<root><A>4</A><B>5</B><C>6</C></root>'
select @x.query('/root[1]/A cast as xs:string?')
go
En el ejemplo siguiente, la variable de tipo xml incluye una palabra clave de documento que especifica la colección de esquemas XML. Esto indica que la instancia XML debe ser un documento que tenga un elemento invidual de nivel superior. Si crea dos elementos <root> en la instancia XML, generará error.
declare @x xml(document myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>
<root><A>4</A><B>5</B><C>6</C></root>'
go
Puede cambiar la instancia para que solo incluya un elemento de nivel superior y la consulta. De nuevo, la consulta devuelve una secuencia de un valor de tipo simple escrito en forma de xs:string.
declare @x xml(document myCollection)
set @x = '<root><A>1</A><B>2</B><C>3</C></root>'
select @x.query('/root/A cast as xs:string?')
go
Conversión implícita
La conversión implícita solo se admite para tipos numéricos y tipos atómicos sin tipo. Por ejemplo, la siguiente función min() devuelve el menor de dos valores:
min(xs:integer("1"), xs:double("1.1"))
En este ejemplo, los dos valores pasados a la función min() de XQuery son de tipos diferentes. Por tanto, la conversión implícita se realiza allí donde el tipo integer se promueve a double y los dos valores double se comparan.
La promoción de tipo descrita en este ejemplo sigue estas reglas:
Un tipo numérico derivado integrado puede promoverse a su tipo base. Por ejemplo, integer puede convertirse en decimal.
El tipo decimal puede promoverse a float y float a double.
La conversión implícita solo se admite para tipos numéricos; no se admite en los siguientes casos:
Conversión implícita para tipos de cadena. Por ejemplo, si se esperan dos tipos string y el usuario pasa un tipo string y otro token, no se producirá la conversión implícita y se generará un error.
La conversión implícita de tipos numéricos a tipos de cadena. Por ejemplo, si pasa un valor de tipo entero a una función que espera un parámetro de tipo cadena, no se producirá la conversión implícita y se generará error.
Valores de conversión
Cuando se convierte de un tipo a otro, los valores reales se transforman desde el espacio del valor del tipo de origen al espacio del valor del tipo de destino. Por ejemplo, la conversión de xs:decimal a xs:double transformará el valor decimal en un valor doble.
A continuación, se incluyen algunas reglas de transformación.
Convertir un valor a partir de un tipo de cadena o untypedAtomic
El valor que se convierte a un tipo de cadena o untypedAtomic se transforma del mismo modo que se valida el valor en función de las reglas del tipo de destino. Se incluyen las reglas de procesamiento de espacios en blanco y patrones posibles Por ejemplo, las reglas siguientes serán satisfactorias y generarán el valor doble 1.1e0:
xs:double("1.1")
Cuando se convierte a tipos binarios como s:base64Binary o xs:hexBinary desde un tipo de cadena o untypedAtomic, los valores de entrada tienen que ser de codificación base64 o hexadecimal, respectivamente.
Convertir un valor a un tipo de cadena o untypedAtomic
La conversión al tipo de cadena o untypedAtomic transforma el valor a su representación léxica canónica de XQuery. Concretamente, esto puede suponer que un valor que se haya ajustado a un patrón determinado o a alguna otra restricción durante la entrada de datos no se represente conforme a dicha limitación. Para que los usuarios estén al corriente, SQL Server identifica los tipos en los que la restricción puede suponer un problema mostrando una advertencia cuando dichos tipos se cargan en la colección de esquemas.
Cuando se convierte un valor del tipo xs:float o xs:double, o alguno de sus subtipos, al tipo de cadena o untypedAtomic, el valor se representa en forma de notación científica. Esto solo sucede cuando el valor absoluto es menor que 1.0E-6 o mayor o igual que 1.0E6, lo que significa que 0 se serializa en notación científica a 0.0E0.
Por ejemplo, xs:string(1.11e1) devolverá el valor de cadena "11.1", mientras que xs:string(-0.00000000002e0) devolverá el valor de cadena "-2.0E-11".
Cuando se convierten tipos binarios como s:base64Binary o xs:hexBinary al tipo de cadena o untypedAtomic, los valores binarios se representarán en forma de codificación base64 o hexadecimal, respectivamente.
Convertir un valor a un tipo numérico
Al convertir un valor de un tipo numérico a otro, el valor se asignará a partir de un espacio del valor al otro sin pasar por la serialización de cadena. Si el valor no cumple la restricción de un tipo de destino, se aplicarán las reglas siguientes:
Si el valor de origen es numérico y el tipo de destino es xs:float o un subtipo que admite valores -INF o INF, y la conversión del valor numérico da lugar a un desbordamiento, el valor se asignaría a INF si es positivo o -INF si es negativo. Si el tipo de destino no admite INF ni -INF y se produce un desbordamiento, la conversión generará error y el resultado en esta versión de SQL Server será una secuencia vacía.
Si el valor de origen es numérico y el tipo de destino es un tipo numérico que incluye 0, -0e0 o 0e0 en el rango de valores admitidos, y la conversión del valor numérico de origen da lugar a un desbordamiento, se realizarán las siguientes asignaciones:
El valor se asigna a 0 para el tipo de destino decimal.
El valor se asigna a 0e0 cuando es un subdesbordamiento negativo.
El valor se asigna a 0e0 cuando es un subdesbordamiento positivo para el tipo de destino doble o flotante.
Si el tipo de destino no incluye cero en el espacio del valor, la conversión genera un error y da lugar a una secuencia vacía.
Tenga en cuenta que la conversión de un valor al tipo flotante o binario, como xs:float, xs:double o cualquier otro subtipo, podría perder precisión.
Limitaciones de la implementación
Éstas son las limitaciones:
No se admite el valor de tipo flotante NaN.
Los valores convertibles están sujetos a las restricciones de implementación de tipos de destino. Por ejemplo, no puede convertir una cadena de fecha con un año negativo a xs:date. Tales conversiones darán como resultado la secuencia vacía si el valor se proporciona en tiempo de ejecución (en lugar de generar un error en tiempo de ejecución).