Reglas de conversión de tipos en XQuery
Se aplica a:
SQL Server
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.
Jerarquía de
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 realiza mediante la conversión como o las funciones de constructor de tipos (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.
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 de xs:decimal a xs:integer o de 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 de 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 un tipo xs:string, primitivo, porque xs:decimal, xs:integer's primitive antecesor, se puede convertir en 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 de xs:integer a xs:token, ya que puede convertir de 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 se puede convertir a xs:token, ya que xs:decimal se puede convertir a xs:string.
No se admiten los siguientes tipos de conversión:
Conversión a o desde tipos de lista. Esto incluye los tipos de lista definidos por el usuario y los tipos de lista integrados, como xs:IDREFS, xs:ENTITIES y xs:NMTOKENS.
No se admite la conversión a o desde xs:QName .
No se admiten xs:NOTATION ni los subtipos totalmente ordenados de duration, 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, ya que no sabe cuántos elementos de nivel <root> superior están en la instancia del 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
Al especificar un elemento singleton <root> en la expresión, la consulta se realiza 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 <root> elementos en la instancia XML, devolverá un 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 mínimo de los dos valores:
min(xs:integer("1"), xs:double("1.1"))
En este ejemplo, los dos valores pasados a la función XQuery min() son de tipos diferentes. Por lo tanto, la conversión implícita se realiza donde el tipo entero se promueve a double y se comparan los dos valores dobles .
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, el entero se puede promover a decimal.
Se puede promover un decimal a float y se puede promover un valor 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 de cadena y se pasa una cadena y un token, no se produce ninguna conversión implícita y se devuelve 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 informar a los usuarios sobre esto, SQL Server marca los tipos en los que la restricción de tipo puede ser un problema proporcionando una advertencia cuando esos 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 se 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).