다음을 통해 공유


XQuery의 캐스트 규칙

다음 W3C XQuery 1.0 및 XPath 2.0 함수 및 연산자 사양 다이어그램에서는 기본 제공 기본 유형 및 파생된 유형을 포함한 기본 제공 데이터 형식을 보여 줍니다.

XQuery 1.0 유형 계층

이 항목에서는 다음 중 한 가지 방법으로 유형 간 변환할 때 적용되는 캐스트 규칙에 대해 설명합니다.

  • cast as 또는 유형 생성자(예: xs:integer("5"))를 사용하여 수행하는 명시적 캐스트

  • 유형 승격 중 발생하는 암시적 캐스트

명시적 캐스트

다음 표에서는 기본 제공 기본 유형 간에 허용되는 캐스트에 대한 개요를 보여 줍니다.

XQuery에 대한 캐스트 규칙 설명

  • 표의 규칙에 따라 기본 제공 기본 유형 간에 캐스트가 가능합니다.

  • 기본 유형은 해당 기본 유형에서 파생된 모든 유형으로 캐스팅될 수 있습니다. 예를 들어 xs:decimalxs:integer로 캐스팅되거나 xs:decimalxs:long으로 캐스팅될 수 있습니다.

  • 파생된 유형은 기본 제공 기본 유형에 이르기까지 유형 계층에서 상위에 있는 모든 유형으로 캐스팅될 수 있습니다. 예를 들어 xs:tokenxs:normalizedString 또는 xs:string으로 캐스팅될 수 있습니다.

  • 파생된 유형은 해당 기본 상위 유형이 대상 유형으로 캐스팅될 수 있는 경우 기본 유형으로 캐스팅될 수 있습니다. 예를 들어 파생된 유형인 xs:integer가 기본 유형인 xs:string으로 캐스팅될 수 있는데 xs:integer의 기본 상위 유형인 xs:decimalxs:string으로 캐스팅될 수 있기 때문입니다.

  • 파생된 유형은 원본 유형의 기본 상위 유형이 대상 유형의 기본 상위 유형으로 캐스팅될 경우 다른 파생된 유형으로 캐스팅될 수 있습니다. 예를 들어 xs:integerxs:token으로 캐스팅될 수 있는데 xs:decimalxs:string으로 캐스팅될 수 있기 때문입니다.

  • 사용자 정의 유형을 기본 제공 유형으로 캐스팅하는 규칙은 기본 제공 유형에 대한 규칙과 같습니다. 예를 들어 xs:integer 유형에서 파생된 myInteger 유형을 정의할 수 있습니다. 그런 다음 myIntegerxs:token으로 캐스팅될 수 있는데 xs:decimalxs:string으로 캐스팅될 수 있기 때문입니다.

다음은 지원되지 않는 캐스트의 종류입니다.

  • 목록 유형과의 상호 캐스트는 허용되지 않습니다. 여기에는 사용자 정의 목록 유형 및 xs:IDREFS, xs:ENTITIESxs:NMTOKENS 같은 기본 제공 목록 유형이 모두 포함됩니다.

  • xs:QName과의 상호 캐스트는 지원되지 않습니다.

  • xs:NOTATION과 완전하게 정렬된 기간 하위 유형인 xdt:yearMonthDurationxdt:dayTimeDuration은 지원되지 않습니다. 따라서 이러한 유형과의 상호 캐스트는 지원되지 않습니다.

다음 예에서는 명시적 캐스트를 보여 줍니다.

예 1

다음 예에서는 xml 유형 변수를 쿼리합니다. 이 쿼리는 xs:string으로 형식화된 단순 유형 값의 시퀀스를 반환합니다.

declare @x xml
set @x = '<e>1</e><e>2</e>'
select @x.query('/e[1] cast as xs:string?')
go

예 2

다음 예에서는 형식화된 xml 변수를 쿼리합니다. 먼저 XML 스키마 컬렉션을 만든 다음 그 XML 스키마 컬렉션을 사용하여 형식화된 xml 변수를 만듭니다. 이 스키마에서는 해당 변수에 할당된 XML 인스턴스에 대한 형식화 정보를 제공합니다. 그러면 해당 변수에 대해 쿼리가 지정됩니다.

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

다음 쿼리는 정적 오류를 반환하는데 문서 인스턴스 내에 있는 최상위 수준 <root> 요소의 수를 알 수 없기 때문입니다.

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

식에 단일 <root> 요소를 지정하면 쿼리가 수행됩니다. 이 쿼리는 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

다음 예에서 xml 유형 변수에는 XML 스키마 컬렉션을 지정하는 문서 키워드가 포함됩니다. 이는 XML 인스턴스가 단일 최상위 수준의 요소가 있는 문서여야 한다는 의미입니다. XML 인스턴스에 <root> 요소를 두 개 만들면 오류가 반환됩니다.

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

최상위 수준의 요소를 하나만 포함하도록 인스턴스를 변경하면 쿼리가 작동합니다. 이 쿼리는 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

암시적 캐스트

암시적 캐스트는 숫자 유형 및 형식화되지 않은 원자 유형에 대해서만 허용됩니다. 예를 들어 다음 min() 함수는 두 값 중 최소값을 반환합니다.

min(xs:integer("1"), xs:double("1.1"))

이 예에서 XQuery min() 함수로 전달된 두 값은 서로 유형이 다릅니다. 그러므로 integer 유형이 double로 승격되고 두 개의 double 값이 비교되는 경우 암시적 캐스트가 수행됩니다.

이 예에 설명된 대로 유형 승격은 다음 규칙을 따릅니다.

  • 기본 제공 파생된 숫자 유형은 기본 유형으로 승격될 수 있습니다. 예를 들어 integerdecimal로 승격될 수 있습니다.

  • decimalfloat로 승격되고 floatdouble로 승격될 수도 있습니다.

암시적 캐스트는 숫자 유형에 대해서만 허용되므로 다음은 허용되지 않습니다.

  • 문자열 유형에 대한 암시적 캐스트는 허용되지 않습니다. 예를 들어 string 유형 두 개를 예상하고 stringtoken을 전달하는 경우 암시적 캐스트가 수행되지 않고 오류가 반환됩니다.

  • 숫자 유형에서 문자열 유형으로 암시적 캐스팅하는 것은 허용되지 않습니다. 예를 들어 정수 유형 값을 문자열 유형 매개 변수를 예상하는 함수로 전달하는 경우 암시적 캐스트가 발생하지 않고 오류가 반환됩니다.

값 캐스팅

한 유형에서 다른 유형으로 캐스팅할 때 실제 값은 원본 유형의 값 공간에서 대상 유형의 값 공간으로 변환됩니다. 예를 들어 xs:decimal에서 xs:double로 캐스팅하면 decimal 값이 double 값으로 변환됩니다.

일부 변환 규칙은 다음과 같습니다.

문자열 또는 untypedAtomic 유형에서 값 캐스팅

문자열 또는 untypedAtomic 유형으로 캐스팅되는 값은 대상 유형의 규칙에 따라 값의 유효성을 검사하는 것과 같은 방법으로 변환됩니다. 여기에는 결과 패턴 및 공백 처리 규칙이 포함됩니다. 예를 들어 다음이 성공적으로 수행되고 double 값 1.1e0이 생성됩니다.

xs:double("1.1")

문자열 또는 untypedAtomic 유형에서 xs:base64Binary 또는 xs:hexBinary와 같은 이진 유형으로 캐스팅할 때 입력 값은 각각 Base64 또는 16진수 인코딩이어야 합니다.

문자열 또는 untypedAtomic 유형으로 값 캐스팅

문자열 또는 untypedAtomic 유형으로 캐스팅하면 값이 XQuery 정식 어휘 표현으로 변환됩니다. 이는 특히 입력 중 특정 패턴이나 기타 제약 조건에 맞는 값이 해당 제약 조건에 따라 표현되지 않음을 의미합니다. 사용자에게 이를 알리기 위해 SQL Server에서는 스키마 컬렉션에 해당 유형이 로드되면 경고를 발생하여 유형 제약 조건이 문제가 될 수 있는 유형에 플래그를 지정합니다.

xs:float 유형 또는 xs:double 유형이나 그 하위 유형 중 하나의 값을 문자열 또는 untypedAtomic 유형으로 캐스팅할 때 해당 값은 과학적 표기법으로 표시됩니다. 이는 해당 값의 절대값이 1.0E-6 미만이거나 1.0E6 이상일 때만 수행됩니다. 즉, 과학적 표기법에 따라 0이 0.0E0으로 직렬화됩니다.

예를 들어 xs:string(1.11e1)은 문자열 값 "11.1"을 반환하지만 xs:string(-0.00000000002e0)은 문자열 값 "-2.0E-11"을 반환합니다.

xs:base64Binary 또는 xs:hexBinary와 같은 이진 유형을 문자열 또는 untypedAtomic 유형으로 캐스팅할 때 이진 값은 각각 Base64 또는 16진수 인코딩 형식으로 표현됩니다.

숫자 유형으로 값 캐스팅

하나의 숫자 유형 값을 다른 숫자 유형 값으로 캐스팅할 때 값은 문자열 직렬화를 거치지 않고 하나의 값 공간에서 다른 값 공간으로 매핑됩니다. 이 값이 대상 유형의 제약 조건을 충족하지 않는 경우 다음 규칙이 적용됩니다.

  • 원본 값이 이미 숫자이고 대상 유형이 xs:float이거나 -INF 또는 INF 값을 허용하는 그 하위 유형이며 원본 숫자 값의 캐스트에 따라 오버플로가 발생하는 경우 해당 값이 양수일 때는 값이 INF로 매핑되고 해당 값이 음수일 때는 -INF로 매핑됩니다. 대상 유형에서 INF 또는 -INF를 허용하지 않고 오버플로가 발생하는 경우 캐스트는 실패하고 이 SQL Server 릴리스에서는 결과가 빈 시퀀스로 표시됩니다.

  • 원본 값이 이미 숫자이고 대상 유형이 승인된 값 범위 내에 0, -0e0 또는 0e0을 포함하는 숫자 유형이며 원본 숫자 값의 캐스트에 따라 언더플로가 발생하는 경우 해당 값은 다음 방식으로 매핑됩니다.

    • decimal 대상 유형의 경우 값이 0으로 매핑됩니다.

    • 값이 음수 언더플로인 경우 -0e0으로 매핑됩니다.

    • 값이 float 또는 double 대상 유형에 대한 양수 언더플로인 경우 0e0으로 매핑됩니다.

    대상 유형의 값 공간에 0이 없는 경우 캐스트가 실패하고 빈 시퀀스가 나타납니다.

    xs:float, xs:double 또는 이들의 하위 유형 중 하나와 같은 이진 부동 소수점 유형으로 값을 캐스팅하는 경우 전체 자릿수가 줄어들 수 있습니다.

구현 시 제한 사항

제한 사항은 다음과 같습니다.

  • 부동 소수점 값 NaN은 지원되지 않습니다.

  • 캐스팅할 수 있는 값은 대상 유형 구현 제한 사항으로 제한됩니다. 예를 들어 음수 연도가 있는 날짜 문자열은 xs:date로 캐스팅할 수 없습니다. 이러한 캐스트는 런타임에 값이 제공될 경우 런타임 오류를 발생시키는 대신 빈 시퀀스를 반환합니다.

참고 항목

개념