Система типов — сопоставление типов последовательности

Статья
04/03/2023

Применимо к:SQL Server

Значением выражения языка XQuery всегда является последовательность из нуля или более элементов. Элемент может быть атомарным значением или узлом. Тип элементов последовательности соответствует типу результатов, возвращаемых выражением запроса. Например:

Если значение выражения является атомарным, может понадобиться выяснить, имеет ли оно тип integer, decimal или string.
Если значение выражения является XML-узлом, может понадобиться выяснить, является ли оно комментарием, инструкцией по обработке или текстовым узлом.
Может возникнуть необходимость выяснить, является ли результат выражения XML-элементом или узлом атрибута с заданным именем и типом.

Для сопоставления типов элементов последовательности можно использовать логический оператор instance of. Дополнительные сведения о выражении см. в instance of разделе "Выражения SequenceType" (XQuery).

Сравнение типов атомарных значений, возвращенных выражением

Определить тип значения в последовательности может понадобиться в том случае, если выражение возвращает последовательность атомарных значений. В следующем примере показано использование синтаксиса типа последовательности для определения типа атомарного значения, возвращаемого выражением.

Пример. Определение пустой последовательности

Тип последовательности empty() можно использовать в выражении типа последовательности, чтобы определить, является ли последовательность, возвращаемая указанным выражением, пустой последовательностью.

В следующем примере XML-схема позволяет <root> элементу не применяться.

CREATE XML SCHEMA COLLECTION SC AS N'  
<schema xmlns="http://www.w3.org/2001/XMLSchema">  
      <element name="root" nillable="true" type="byte"/>  
</schema>'  
GO

Теперь, если типизированный экземпляр XML задает значение для <root> элемента, instance of empty() возвращает значение False.

DECLARE @var XML(SC1)  
SET @var = '<root>1</root>'  
-- The following returns False  
SELECT @var.query('data(/root[1]) instance of  empty() ')  
GO

<root> Если элемент не используется в экземпляре, его значение является пустой последовательностью и instance of empty() возвращает значение True.

DECLARE @var XML(SC)  
SET @var = '<root xsi:nil="true" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" />'  
SELECT @var.query('data(/root[1]) instance of  empty() ')  
GO

Пример. Определение типа значения атрибута

Иногда требуется выяснить тип последовательности, возвращаемой выражением, до начала обработки. Например, узел может быть определен в XML-схеме с типом union. В следующем примере XML-схема в коллекции определяет атрибут a как имеющий объединенный тип данных, значение которого может иметь десятичный или строковый тип данных.

-- Drop schema collection if it exists.  
-- DROP XML SCHEMA COLLECTION SC.  
-- GO  
CREATE XML SCHEMA COLLECTION SC AS N'  
<schema xmlns="http://www.w3.org/2001/XMLSchema">  
  <element name="root">  
    <complexType>  
       <sequence/>  
         <attribute name="a">  
            <simpleType>  
               <union memberTypes="decimal string"/>  
            </simpleType>  
         </attribute>  
     </complexType>  
  </element>  
</schema>'  
GO

Перед обработкой типизированного XML-экземпляра может понадобиться определить тип данных значения атрибута a. В следующем примере значение атрибута a имеет десятичный тип данных. Следовательно, выражение , instance of xs:decimal возвращает True.

DECLARE @var XML(SC)  
SET @var = '<root a="2.5"/>'  
SELECT @var.query('data((/root/@a)[1]) instance of xs:decimal')  
GO

Теперь изменим тип значения атрибута a на строковый. Выражение instance of xs:string возвратит значение True.

DECLARE @var XML(SC)  
SET @var = '<root a="Hello"/>'  
SELECT @var.query('data((/root/@a)[1]) instance of xs:string')  
GO

Пример. Кратность в выражениях последовательности

В данном примере показывается влияние количества элементов в выражении последовательности. Следующая XML-схема определяет <root> элемент, который имеет тип байтов и является неиллируемым.

CREATE XML SCHEMA COLLECTION SC AS N'  
<schema xmlns="http://www.w3.org/2001/XMLSchema">  
      <element name="root" nillable="true" type="byte"/>  
</schema>'  
GO

В следующем примере выражение instance of возвращает значение True, так как результатом выполнения выражения является одиночный элемент типа byte.

DECLARE @var XML(SC)  
SET @var = '<root>111</root>'  
SELECT @var.query('data(/root[1]) instance of  xs:byte ')   
GO

Если сделать <root> элемент nil, его значение является пустой последовательностью. Поэтому выражение /root[1] возвращает пустую последовательность. Следовательно, выражение instance of xs:byte возвращает значение False. Обратите внимание, что количество элементов по умолчанию в данном случае равно 1.

DECLARE @var XML(SC)  
SET @var = '<root xsi:nil="true" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"></root>'  
SELECT @var.query('data(/root[1]) instance of  xs:byte ')   
GO  
-- result = false

Если количество элементов указывается с добавлением признака вхождения (?), выражение последовательности возвращает значение True.

DECLARE @var XML(SC)  
SET @var = '<root xsi:nil="true" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"></root>'  
SELECT @var.query('data(/root[1]) instance of  xs:byte? ')   
GO  
-- result = true

Обратите внимание, что проверка типа в выражении последовательности проходит в два этапа:

Вначале определяется, совпадает ли тип выражения с указанным типом.
При совпадении типов выражений производится проверка совпадения количества возвращенных выражением элементов с указанным значением признака вхождения.

Если обе проверки дают положительные результаты, выражение instance of возвращает значение True.

Пример. Запрос к столбцу типа XML

В следующем примере запрос указывается в столбце "Инструкции" типа XML в AdventureWorks2022 базе данных. Это типизированный XML-столбец, так как имеется связанная с ним схема. Схема XML определяет целочисленный атрибут LocationID. Таким образом, в выражении instance of xs:integer? последовательности возвращается значение True.

SELECT Instructions.query('   
declare namespace AWMI="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelManuInstructions";   
data(/AWMI:root[1]/AWMI:Location[1]/@LocationID) instance of xs:integer?') as Result   
FROM Production.ProductModel   
WHERE ProductModelID = 7

Сравнение типов узлов, возвращаемых выражением

Определить тип узла в последовательности может понадобиться в том случае, если выражение возвращает последовательность узлов. В следующем примере показано использование синтаксиса типа последовательности для определения типа узла, возвращаемого выражением. Можно использовать следующие типы последовательности:

item() — соответствует любому элементу в последовательности.
node() — определяет, является ли последовательность узлом.
processing-instruction() — определяет, возвращает ли выражение инструкцию обработки.
comment() — определяет, возвращает ли выражение комментарий.
document-node() — определяет, возвращает ли выражение узел документа.

Следующий пример иллюстрирует эти типы последовательностей.

Пример. Использование типов последовательностей

В этом примере выполняется несколько запросов к нетипизированной xml-переменной. В этих запросах демонстрируется использование указанных типов последовательности.

DECLARE @var XML  
SET @var = '<?xml-stylesheet href="someValue" type="text/xsl" ?>  
<root>text node  
  <!-- comment 1 -->   
  <a>Data a</a>  
  <!-- comment  2 -->  
</root>'

В первом запросе выражение возвращает типизированное значение элемента <a>. Во втором запросе выражение возвращает элемент <a>. Оба результата являются элементами. Поэтому оба запроса возвращают значение True.

SELECT @var.query('data(/root[1]/a[1]) instance of item()')  
SELECT @var.query('/root[1]/a[1] instance of item()')

Все выражения XQuery в следующих трех запросах возвращают дочерний элемент <root> элемента. Поэтому выражение типа последовательности instance of node() возвращает значение True, а два других выражения (instance of text() и instance of document-node()) — значение False.

SELECT @var.query('(/root/*)[1] instance of node()')  
SELECT @var.query('(/root/*)[1] instance of text()')  
SELECT @var.query('(/root/*)[1] instance of document-node()')

В следующем запросе instance of document-node() выражение возвращает значение True, так как родительский элемент <root> является узлом документа.

SELECT @var.query('(/root/..)[1] instance of document-node()') -- true

В следующем запросе выражение получает первый узел XML-экземпляра. Так как он является узлом инструкции по обработке, выражение instance of processing-instruction() возвращает значение True.

SELECT @var.query('(/node())[1] instance of processing-instruction()')

Ограничения реализации

Особые ограничения:

Document-node() с синтаксисом типа контента не поддерживается.
Синтаксис processing-instruction(name) не поддерживается.

Проверки элемента

Проверка элемента используется для сопоставления узла элемента, возвращаемого выражением, с узлом элемента с указанным именем и типом. Можно использовать следующие проверки элемента:

element ()  
element(ElementName)  
element(ElementName, ElementType?)   
element(*, ElementType?)

Проверки атрибута

В ходе проверки атрибута выясняется, является ли атрибут, возвращенный выражением, узлом. Можно использовать следующие проверки атрибутов.

attribute()

attribute(AttributeName)

attribute(AttributeName, AttributeType)

Примеры проверки

В представленных ниже примерах приведены ситуации, в которых можно использовать проверки элемента и атрибута.

Пример A

Следующая СХЕМА XML определяет сложный CustomerType тип, где <firstName> и <lastName> элементы являются необязательными. В указанном XML-экземпляре может понадобиться определить, существует ли запись, содержащая фамилию определенного покупателя.

CREATE XML SCHEMA COLLECTION SC AS N'  
<schema xmlns="http://www.w3.org/2001/XMLSchema"  
targetNamespace="myNS" xmlns:ns="myNS">  
  <complexType name="CustomerType">  
     <sequence>  
        <element name="firstName" type="string" minOccurs="0"   
                  nillable="true" />  
        <element name="lastName" type="string" minOccurs="0"/>  
     </sequence>  
  </complexType>  
  <element name="customer" type="ns:CustomerType"/>  
</schema>  
'  
GO  
DECLARE @var XML(SC)  
SET @var = '<x:customer xmlns:x="myNS">  
<firstName>SomeFirstName</firstName>  
<lastName>SomeLastName</lastName>  
</x:customer>'

Следующий запрос использует instance of element (firstName) выражение для определения того, является ли первый дочерний элемент <customer> элементом, именем которого являетсяfirstName<>. Если является, выражение возвращает значение True.

SELECT @var.query('declare namespace x="myNS";   
     (/x:customer/*)[1] instance of element (firstName)')  
GO

Если удалить <firstName> элемент из экземпляра, запрос вернет false.

Также можно использовать следующее:

Синтаксис типа последовательности element(ElementName, ElementType?), представленный в следующем запросе. Указанный запрос относится к узлу элемента с именем firstName и типом xs:string.
```
SELECT @var.query('declare namespace x="myNS";   
(/x:customer/*)[1] instance of element (firstName, xs:string?)')  
```
Синтаксис типа последовательности element(*, type?), представленный в следующем запросе. Указанный запрос извлекает узел элементов, имеющий тип xs:string, независимо от его имени.
```
SELECT @var.query('declare namespace x="myNS"; (/x:customer/*)[1] instance of element (*, xs:string?)')  
GO  
```

Пример Б

В следующем примере показано, как определить, является ли узел, возвращенный выражением, элементом узла с указанным именем. Он использует тест element().

В следующем примере два <Customer> элемента в экземпляре XML, которые запрашиваются, имеют два разных типа и. CustomerTypeSpecialCustomerType Предположим, что вы хотите знать тип <Customer> элемента, возвращаемого выражением. Следующая коллекция XML-схем определяет типы данных CustomerType и SpecialCustomerType.

CREATE XML SCHEMA COLLECTION SC AS N'  
<schema xmlns="http://www.w3.org/2001/XMLSchema"  
          targetNamespace="myNS"  xmlns:ns="myNS">  
  <complexType name="CustomerType">  
    <sequence>  
      <element name="firstName" type="string"/>  
      <element name="lastName" type="string"/>  
    </sequence>  
  </complexType>  
  <complexType name="SpecialCustomerType">  
     <complexContent>  
       <extension base="ns:CustomerType">  
        <sequence>  
            <element name="Age" type="int"/>  
        </sequence>  
       </extension>  
     </complexContent>  
    </complexType>  
   <element name="customer" type="ns:CustomerType"/>  
</schema>  
'  
GO

Эта коллекция схем XML используется для создания типизированной xml-переменной . Экземпляр XML, назначенный этой переменной, имеет два <customer> элемента двух разных типов. Первый элемент имеет тип данных CustomerType, а второй элемент — SpecialCustomerType.

DECLARE @var XML(SC)  
SET @var = '  
<x:customer xmlns:x="myNS">  
   <firstName>FirstName1</firstName>  
   <lastName>LastName1</lastName>  
</x:customer>  
<x:customer xsi:type="x:SpecialCustomerType" xmlns:x="myNS" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">  
   <firstName> FirstName2</firstName>  
   <lastName> LastName2</lastName>  
   <Age>21</Age>  
</x:customer>'

В следующем запросе выражение instance of element (*, x:SpecialCustomerType ?) возвращает значение False, так как оно возвращает первый элемент результата, не имеющий тип данных SpecialCustomerType.

SELECT @var.query('declare namespace x="myNS";   
    (/x:customer)[1] instance of element (*, x:SpecialCustomerType ?)')

Если вы изменяете выражение предыдущего запроса и извлекаете второй <customer> элемент (/x:customer)[2]), возвращает instance of значение True.

Пример В

В данном примере используется проверка атрибута. Следующая XML-схема определяет сложный тип CustomerType с атрибутами CustomerID и Age. Атрибут Age является необязательным. Для определенного экземпляра XML может потребоваться определить, присутствует ли атрибут Age в элементе <customer> .

CREATE XML SCHEMA COLLECTION SC AS N'  
<schema xmlns="http://www.w3.org/2001/XMLSchema"  
       targetNamespace="myNS" xmlns:ns="myNS">  
<complexType name="CustomerType">  
  <sequence>  
     <element name="firstName" type="string" minOccurs="0"   
               nillable="true" />  
     <element name="lastName" type="string" minOccurs="0"/>  
  </sequence>  
  <attribute name="CustomerID" type="integer" use="required" />  
  <attribute name="Age" type="integer" use="optional" />  
 </complexType>  
 <element name="customer" type="ns:CustomerType"/>  
</schema>  
'  
GO

Результатом следующего запроса является значение True, так как имеется узел атрибута с именем Age в экземпляре XML, к которому производится запрос. В данном выражении используется проверка атрибута attribute(Age). Так как атрибуты не упорядочены, то в запросе вначале извлекаются все атрибуты с помощью выражения FLWOR, а затем производится их проверка с помощью выражения instance of. В примере сначала создается коллекция схем XML для создания типизированной xml-переменной .

DECLARE @var XML(SC)  
SET @var = '<x:customer xmlns:x="myNS" CustomerID="1" Age="22" >  
<firstName>SomeFName</firstName>  
<lastName>SomeLName</lastName>  
</x:customer>'  
SELECT @var.query('declare namespace x="myNS";   
FOR $i in /x:customer/@*  
RETURN  
    IF ($i instance of attribute (Age)) THEN  
        "true"  
        ELSE  
        ()')     
GO

Если из экземпляра удалить необязательный атрибут Age, предыдущий запрос возвращает значение False.

Для проверки атрибута необходимо указать его имя и ввести (attribute(name,type)).

SELECT @var.query('declare namespace x="myNS";   
FOR $i in /x:customer/@*  
RETURN  
    IF ($i instance of attribute (Age, xs:integer)) THEN  
        "true"  
        ELSE  
        ()')

Кроме того, можно указать attribute(*, type) синтаксис типа последовательности. Если тип атрибута соответствует указанному типу вне зависимости от его имени, узел атрибута считается удовлетворяющим запросу.

Ограничения реализации

Особые ограничения:

В тесте элемента имя типа должно следовать индикатору вхождения (?).
элемент(ElementName, TypeName) не поддерживается.
элемент(*, TypeName) не поддерживается.
schema-element() не поддерживается.
schema-attribute(AttributeName) не поддерживается.
Явное запросы xsi :type или xsi:nil не поддерживаются.

См. также

Система типов (XQuery)

Система типов — сопоставление типов последовательности

Сравнение типов атомарных значений, возвращенных выражением

Пример. Определение пустой последовательности

Пример. Определение типа значения атрибута

Пример. Кратность в выражениях последовательности

Пример. Запрос к столбцу типа XML

Сравнение типов узлов, возвращаемых выражением

Пример. Использование типов последовательностей

Ограничения реализации

Проверки элемента

Проверки атрибута

Примеры проверки

Пример A

Пример Б

Пример В

Ограничения реализации

См. также

Обратная связь

Обратная связь

Дополнительные ресурсы