在路徑運算式步驟中指定述詞

如＜XQuery 中的路徑運算式＞主題所述，路徑運算式中的座標軸步驟包括以下元件：

• 軸。

• 節點測試。如需詳細資訊，請參閱＜指定路徑運算式步驟中的節點測試＞。

• 零或多個述詞。這是選擇性的。

選擇性的述詞是路徑運算式中軸步驟的第三個部份。

述詞

述詞是用來套用指定的測試，以篩選節點序列。述詞運算式是用方括號括住，並會繫結到路徑運算式中的最後一個節點。

例如，假設宣告了 xml 資料類型的 SQL 參數值 (x)，如下所示：

declare @x xml
set @x = '
<People>
  <Person>
    <Name>John</Name>
    <Age>24</Age>
  </Person>
  <Person>
    <Name>Goofy</Name>
    <Age>54</Age>
  </Person>
  <Person>
    <Name>Daffy</Name>
    <Age>30</Age>
  </Person>
</People>
'

在此情況下，下列是在三個不同節點層級的每個層級中，使用述詞值 [1] 的有效運算式：

select @x.query('/People/Person/Name[1]')
select @x.query('/People/Person[1]/Name')
select @x.query('/People[1]/Person/Name')

請注意，在每個情況下，述詞都會繫結到路徑運算式中述詞所套用到的節點。例如，第一個路徑運算式會選取每個 /People/Person 節點內的第一個 <Name> 元素，並以提供的 XML 執行個體傳回下列項目：

<Name>John</Name><Name>Goofy</Name><Name>Daffy</Name>

但是，第二個路徑運算式會選取第一個 /People/Person 節點下的所有 <Name> 元素。因此，它會傳回下列項目：

<Name>John</Name>

括號也可以用來變更述詞的評估順序。例如，在下列運算式中，會使用一組括號將 (/People/Person/Name) 路徑與述詞 [1] 隔開：

select @x.query('(/People/Person/Name)[1]')

在此範例中，套用述詞的順序會變更。這是因為會先評估括住的路徑 (/People/Person/Name)，然後述詞 [1] 運算子會套用到含有符合括住路徑之所有節點的集合。若沒有括號，則作業的順序會與套用 [1] 做為 child::Name 節點測試不同，但類似第一個路徑運算式的範例。

數量詞及述詞

在述詞本身的括號內，可多次使用及加入數量詞。例如，沿用上一個範例，以下是在複雜的述詞子運算式內，有效使用一個以上數量詞的範例。

select @x.query('/People/Person[contains(Name[1], "J") and xs:integer(Age[1]) < 40]/Name/text()')

述詞運算式的結果會轉換為布林值，而且會被參考為述詞真值。只有述詞真值為 True 之序列中的節點，會在結果中傳回。其他所有的節點都會被捨棄。

例如，下列路徑運算式在它的第二個步驟包括了述詞：

/child::root/child::Location[attribute::LocationID=10]

此述詞指定的條件會套用到所有 <Location> 元素節點子系。結果是，只會傳回 LocationID 屬性值為 10 的那些工作中心位置。

上一個路徑運算式會在下列的 SELECT 陳述式中執行：

SELECT Instructions.query('
declare namespace AWMI="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelManuInstructions";
 /child::AWMI:root/child::AWMI:Location[attribute::LocationID=10]
')
FROM Production.ProductModel
WHERE ProductModelID=7

計算述詞真值

根據 XQuery 規格，套用下列規則以判斷述詞真值：

1. 若述詞運算式的值是空的序列，則述詞真值為 False。

   例如：

   SELECT Instructions.query('
   declare namespace AWMI="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelManuInstructions";
    /child::AWMI:root/child::AWMI:Location[attribute::LotSize]
   ')
   FROM Production.ProductModel
   WHERE ProductModelID=7
   

   此查詢中的路徑運算式只會傳回那些指定了 LotSize 屬性的 <Location> 元素節點。若述詞針對特定的 <Location> 傳回空的序列，則結果中就不會傳回該工作中心位置。

2. 述詞值只能是 xs:integer、xs:Boolean 或 node*。若為 node*，若有任何節點，述詞會評估為 True，而若是空的序列，則會評估為 False。任何其他數值類型 (例如 Double 和浮點類型) 都會產生靜態類型錯誤。只有當產生的整數等於內容位置的值時，運算式的述詞真值才是 True。而且，只有整數常值及 last() 函數會將已篩選之步驟運算式的基數減少到 1。

   例如，下列查詢會擷取 <Features> 元素的第三個子元素節點。

   SELECT CatalogDescription.query('
   declare namespace PD="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelDescription";
   declare namespace wm="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelWarrAndMain";
    /child::PD:ProductDescription/child::PD:Features/child::*[3]
   ')
   FROM Production.ProductModel
   WHERE ProductModelID=19
   

   請注意下列項目是從上一個查詢而來：

   • 運算式中的第三個步驟會指定其值為 3 的述詞運算式。因此，只有當節點的內容位置是 3 時，這個運算式的述詞真值才會是 True。

   • 第三個步驟也指定了萬用字元 (*)，表示節點測試中的所有節點。但是，述詞會篩選節點，並且只會傳回在第三個位置的節點。

   • 查詢會傳回文件根節點之 <ProductDescription> 元素子系之 <Features> 元素子系的第三個子元素節點。

3. 若述詞運算式的值是一個簡單類型的布林類型值，則此述詞真值會等於述詞運算式的值。

   例如，下列查詢是針對保有 XML 執行個體 (客戶調查 XML 執行個體) 的 xml類型變數來指定的。此查詢會擷取那些有孩童的客戶。在此查詢中，這會是 <HasChildren>1</HasChildren>。

   declare @x xml
   set @x='
   <Survey>
     <Customer CustomerID="1" >
     <Age>27</Age>
     <Income>20000</Income>
     <HasChildren>1</HasChildren>
     </Customer>
     <Customer CustomerID="2" >
     <Age>27</Age>
     <Income>20000</Income>
     <HasChildren>0</HasChildren>
     </Customer>
   </Survey>
   '
   declare @y xml
   set @y = @x.query('
     for $c in /child::Survey/child::Customer[( child::HasChildren[1] cast as xs:boolean ? )]
     return 
         <CustomerWithChildren>
             { $c/attribute::CustomerID }
         </CustomerWithChildren>
   ')
   select @y
   

   請注意下列項目是從上一個查詢而來：

   • for 迴圈的運算式有兩個步驟，而第二個步驟會指定述詞。此述詞的值是布林類型的值。若此值是 True，則此述詞的真值也會是 True。

   • 此述詞會傳回文件根節點之 <Survey> 元素子系的 <Customer> 元素子系 (其述詞值為 True)。以下是結果：

     <CustomerWithChildren CustomerID="1"/> 
     

4. 若述詞運算式的值是包含至少一個節點的序列，則述詞真值為 True。

例如，下列查詢會從與 wm 前置詞相關聯的命名空間中，擷取其 XML 目錄描述至少包括一個特性 (<Features> 元素的子元素) 之產品型號的 ProductModelID。

SELECT ProductModelID
FROM   Production.ProductModel
WHERE CatalogDescription.exist('
             declare namespace PD="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelDescription";
             declare namespace wm="https://schemas.microsoft.com/sqlserver/2004/07/adventure-works/ProductModelWarrAndMain";
             /child::PD:ProductDescription/child::PD:Features[wm:*]
             ') = 1

請注意下列項目是從上一個查詢而來：

• WHERE 子句會指定 exist() 方法 (XML 資料類型)。

• 位於 exist() 方法內部的路徑運算式會在第二個步驟中指定述詞。如果述詞運算式傳回至少一個功能的序列，這個述詞運算式的真值就是 True。在此情況下，因為 exist() 方法會傳回 True，所以系統會傳回 ProductModelID。

靜態類型及述詞篩選

述詞也可能會影響運算式的靜態推斷類型。整數常值及 last() 函數最多可將已篩選步驟之運算式的基數減少到一。