XML Path Language (XPath) 2.0

2.1.1 静的コンテキスト

ある式の静的コンテキスト（static context）は、その式を評価する前の静的な分析の間に取得することができる情報です。この情報はその式が静的エラーを含むかどうかを判断する際に使用することができます。

XPathでは、静的コンテキストの情報は、その式が処理されている言語環境によって提供される必要があります。静的コンテキストは以下の構成要素から成ります。

• 型例外ポリシー（Type exception policy）。これはstrict、またはflexibleのいずれかの値です。この値は型例外（type exception）が発生したときに取られるアクションを指示します。もしこのポリシーがstrictである場合、型例外はエラーとして扱われます。もしこのポリシーがflexibleである場合、代替変換（fallback conversion）が起こり、この代替変換が失敗したときのみエラーが発生します。

• スコープ内のネームスペース。これは（接頭辞、URI）の組み合わせです。このスコープ内のネームスペースは式の中のQNameで使用されている接頭辞を解決するために使用されます。

• 要素名と型名のデフォルト・ネームスペース。これはネームスペースURIです。このネームスペースは、要素や型名が予期されている場所に現れる接頭辞がないQNameに対して使用されます。

• 関数名のデフォルト・ネームスペース。これはネームスペースURIです。このネームスペースは、関数呼び出し内の関数名として現れる接頭辞がないQNameに対して使用されます。

• スコープ内スキーマ定義。これは（QName、型定義）の組み合わせです。これは式の中で参照のために使用可能なタイプセットを定義します。組み込みのスキーマタイプとインポートされたスキーマのグローバルに宣言されたタイプを含みます。また、2.2 入力関数 に記述されているように、入力関数（input function）によって取り出されたドキュメントに関連するスキーマで宣言されたタイプも含む可能性があります。

• 編集注: タイプ定義の入力ドキュメントからのインポートはまだ論議中です。静的コンテキストが実行時の関数によって実装に依存する形で影響を受けるという考えは議論がまとまっていません。 (Issue 307参照)

• スコープ内の変数。これは（QName、タイプ）のペアです。これは、式の中で参照のために宣言済みであり、使用可能な変数のセットを定義します。QName は変数の名前を表し、タイプは静的データタイプを表します。

• スコープ内の関数。静的コンテキストのこの部分は式の中から呼び出すために使用可能な関数のセットを定義します。各関数はQNameとarity（パラメータの数）で唯一に識別することができます。静的コンテキストはQNameとarityを関数のシグニチャにマップし、関数のパラメータと関数の結果の静的タイプを指定します。

• スコープ内の照合。これは、（URI、照合）の組み合わせです。引数として照合名をとる関数呼び出しの中で使用することができる照合の名前を定義します。照合は2つの関数をサポートするオブジェクトとしてみなすことができます。1つの関数は文字列のセットを与えられると、並び替えた順にそれらの文字列を連続して返し、もう1つの関数は2つの文字列を与えられた時に、もしそれらが等しい場合にはtrueを、そうでない場合にはfalse を返すものです。

• デフォルト照合（collation）。これは照合です。この照合は照合が明示的に指定されていない場合に文字列の比較関数で使用されます。

• ベースURI。これは絶対（absolute）URIです。xf:document関数で、もし関数呼び出し内で明示的にベースURIが指定されなかった場合に、読み込まれたドキュメントの相対URIを解決するときに使用されます。

2.1.2 評価コンテキスト

式の評価コンテキスト（evaluation context）は、その式が評価されるときに使用可能な情報と定義されます。評価コンテキストは静的コンテキストを構成する全てのコンポーネントと、以下に示す付加的なコンポーネントで構成されます。

動的コンテキストの最初の3つのコンポーネント（コンテキスト要素、コンテキスト位置、コンテキスト・サイズ）は、式の焦点（focus）と呼ばれます。焦点により、式によってプロセッサーはどのノードを処理しているのかを把握することができます。

一番外側の式の焦点は式が評価される環境により提供されます。ある言語構成、特にパス式E1/E2と述語式E1[E2]は副式の評価を行うために新しい焦点を作成します。これらの構成要素では、E1を評価した結果のシーケンス内の各要素に対して、E2は一度だけ評価されます。E2が評価される度に、それは異なる焦点で評価されます。E2を評価する焦点は、以下では内部焦点（innner focus）と記述され、一方でE1を評価する焦点は外部焦点（outer focus）と記述されています。内部焦点はE2が評価されている間のみ存在します。この評価が完了すると、含まれている式の評価は元の焦点を変更せずに続けられます。[編集注: 問題216参照。]

• コンテキスト要素は、現在処理されている要素です。要素は原子値あるいはノードのどちらかです。コンテキスト要素がノードの時、これはコンテキスト・ノードとも記述されます。コンテキスト要素は式"."によって返されます。式E1/E2やE1[E2]が評価されるとき、E1を評価することにより得られるシーケンス内の各要素は、E2を評価するための内部焦点におけるコンテキスト要素となります。

• コンテキスト位置は現在処理されている要素のシーケンス内のコンテキスト要素の位置です。コンテキスト要素が変われば、コンテキスト位置も変わります。この値は、常にゼロより大きい整数値をとります。コンテキスト位置は式xf:position()で返されます。式E1/E2やE1[E2]を評価するとき、E2を評価する内部焦点におけるコンテキスト位置は、E1を評価して得られたシーケンス内のコンテキスト要素の位置となります。あるシーケンス内における最初の要素の位置は、常に1です。コンテキスト位置は常にコンテキスト・サイズに等しいか、それより小さい値となります。

• コンテキスト・サイズは現在処理しているシーケンスの中の要素の数です。この値は、常にゼロより大きい整数値です。コンテキスト・サイズは式last()により返されます。式E1/E2やE1[E2]が評価されるとき、式E2を評価する内部焦点におけるコンテキスト・サイズは、式E1を評価して得られたシーケンス内の要素の数になります。

• 動的変数。これは（QName、型、値）の組み合わせです。その式の静的コンテキスト内に、スコープ内変数として同じQNameを含みます。各QNameは対応する変数の動的タイプと値に関連付けられています。変数の値に関連付けられている動的タイプは、同じ変数に関連付けられている静的タイプより明確である可能性があります。
  一般的に、変数の値はシーケンスです。変数の動的タイプと値は、XPath式が評価されているホスト言語環境により与えられます。

• 現在の日付と時刻。この情報は照会や変形を実行している間の時間について実装により決められる点です。これは、関数xf:current-date、xf:current-time、xf:current-dateTimeにより得ることができます。照会、あるいは変形中に複数回実行されると、これらの関数は常に整合性を保つ結果を返します。

• 暗黙的なタイムゾーン。これは、タイムゾーンを指定されていないdate、time、dateTimeの値が比較や他の演算に使用されたときに使用されるタイムゾーンです。この値は実装時に決められるdayTimeDurationのインスタンスです。タイムゾーンの適切な値の範囲については、[ISO 8601]を参照してください。

• 入力シーケンス。入力シーケンスは、input関数によってアクセスすることができるノードのシーケンスです。これは、"暗黙的な入力"と考えることができます。入力シーケンスの内容は実装に依存します。

2.3.1 ドキュメント順序

ドキュメント順序は言語プロセッサーが把握している全てのノード間で完全な順序付けを定義します。あるドキュメントに対して、ドキュメント・ノードが最初のノードになり、要素ノード、テキスト・ノード、コメント・ノード、処理命令ノードがドキュメントのXMLの形式（エンティティーの展開後）において表示される順序で続きます。要素ノードはその子の前に出現します。要素のネームスペース・ノードは要素ノードの直後に続きますが、順序は実装に依存します。要素の属性ノードはネームスペース・ノードの直後に続きますが、これも順序は実装に依存します。

別個のドキュメントのノードの相対的な順序は実装に依存しますが、ある照会や変形の中では一定です。つまり、2つの別のドキュメントAとBがあった場合、ドキュメントAのあるノードがドキュメントBのあるノードの前にあった場合、ドキュメントAの全てのノードはドキュメントBの全てのノードの前にあります。ドキュメントではない浮動的なノード間の相対的な順序は実装に依存します。

2.3.2 型付き値と文字列値

要素ノード、属性ノード、テキスト・ノードは、それぞれdata関数とstring関数を呼び出すことにより抽出される型付き値（typed value)と文字列値（string value）を持つことができます。あるノードの型付き値は原子値のシーケンスであり、あるノードの文字列値は文字列です。要素ノードと属性ノードは型注釈（type annotation）も持ちます。これは、スコープ内スキーマ定義で定義されるQNameです。

各種のノードの型付き値と文字列値は[XQuery 1.0 and XPath 2.0 Data Model]内のdm:typed-valueとdm:string-valueアクセッサで定義されています。特に、

1. テキスト・ノードの型付き値は文字列値と同じで、xs:anySimpleTypeのインスタンスと同じです。

2. もし、属性ノードの型注釈がxs:anySimpleTypeであった場合、その型付き値は文字列値と同じで、xs:anySimpleTypeのインスタンスと同じです。そうでない場合、その型付き値は[XQuery 1.0 and XPath 2.0 Data Model]に記述されているように、スキーマの妥当性検査に一致するような方法でその文字列値と型注釈から得られます。

   • 例：A2は型注釈IDREFSを持つ妥当な属性で、IDREFから得られるようにリスト型です。その文字列値は"bar baz faz"です。A2の型付き値は3つの原子値（"bar"、"baz"、"faz"）のシーケンスであり、それぞれの型はIDREFです。

3. もし、要素ノードの型注釈がxs:anyTypeである場合、その型付き値は文字列値と等しく、xs:anySimpleTypeのインスタンスと等しくなります。そうでない場合は、その型付き値は、[XQuery 1.0 and XPath 2.0 Data Model]に記述されているように、スキーマの妥当性検査に一致するような方法でその文字列値と型注釈から得られます。もし、ある要素の型注釈が複合内容を持つ型を示していた場合（つまり、その型が副要素を持つことができる場合）、その型付き値は未定義となり、そのような要素にdata関数が使用された場合にはエラーを発生させます。

   • 例：E2はhatsizelistの型注釈を持つ妥当な要素ノードです。これは、hatsizeのタイプを持つ要素のシーケンスとして定義される内容を持つ複合型で、hatsizeはxs:integerから導出されます。E2の文字列値は"7 8 9"です。E2の型付き値は3つの値（7、8、9）のシーケンスで、それぞれの型はhatsizeです。

   • 例：E3はweatherの型注釈を持つ妥当な要素ノードで、副要素を持つことができる複合型です。E3の文字列値は"hot"です。E3はたまたま副要素を持っていないにも関わらず、その型は副要素を持つことができるため、型付き値は未定義となります。

2.4.1 型の確認

XPathは分析フェーズ（analysis phase）と評価フェーズ（evaluation phase）と呼ばれる2つのフェースの処理を定義します。

分析フェーズ（analysis phase）は、照会式自体と静的コンテキストに依存します。分析フェーズは入力データには依存しません。分析フェーズにおける型の確認の目的は、早く型のエラーを検知し、照会結果の型を計算することです。

分析フェーズの間に、各式には静的型（static type）が割り当てられます。いくつかの場合には、静的型は式の辞書的な形から得られます。例えば、リテラル値である5の静的型はxs:integerです。他の場合には、式の静的型はその被演算子の静的型に基づいた規則に従って推測されます。例えば、式size < 5の静的型はxs:booleanです。式の静的型は名前付き型または構造的な記述のどちらかです。例えば、xs:boolean?はxs:boolean型が任意に出現することを示しています。さまざまな式の静的型を推測する規則については、[XQuery 1.0 Formal Semantics]に述べられています。分析フェーズの間、式の被演算子がその被演算子に適切ではない静的型を持つことがわかった場合、静的型エラーが発生します。もし、静的型の確認がエラーなしで実行され、ある式にTという静的タイプを割り当てた場合、その式を妥当な入力データに対して実行すれば、型Tを持つ値を生成するか、あるいは動的型エラーが発生するかのどちらかであることが保証されます。

評価フェーズ（evaluation phase）は、分析フェーズ（analysis phase）が成功して完了した後にのみ実行されます。評価フェーズは入力データと評価される式と評価コンテキストに依存します。評価フェーズの間、動的型が値が計算されるたびに割り当てられます。値の動的型は構造型（"integerのシーケンス"など）、または名前付き型のどちらかです。値の動的型はその値を計算する式の静的型より明確である可能性があります。（例えば、ある式の静的タイプがゼロまたはそれ以上のintegerまたはstring"であったとすると、実行時にその値は"integer"という動的型を持つ可能性があります。）ある式の被演算子がその被演算子に適切ではない動的型を持つことがわかった場合、型例外が発生します。

ある式に対して、たとえいくつかの妥当な入力データに対する評価が成功するとしても、式の分析により静的型エラーが発生する可能性はあります。例えば、ある式はパラメータとして要素をとる必要がある関数を含むとし、分析フェーズはその関数のパラメータの静的型としてオプショナルな要素であると推測したとします。この場合オプショナルな要素が存在する入力データに対しては関数呼び出しは成功するにも関わらず、結果は静的エラーとなると考えられます。

ある式に対して、分析フェーズで静的エラーが発生していないにもかかわらず、動的エラーを発生させることも可能です。例えば、式が文字列をintegerにキャストする式を含んでおり、それは静的に妥当であるとします。しかし、もし実際の文字データが実行時にintegerにキャストできなかった場合には、結果として動的エラーとなります。同様に、スキーマがないドキュメントから取り出された値に対する算術演算を行うことを考えます。これは静的エラーではありません。しかし、実行時にもし値が正常に数値型にキャストできない場合には、動的エラーが発生します。

もし、実装により式が動的エラーを発生させる必要があると静的分析が決定することができる場合（例えば、妥当なdecimalの値ではない文字定数からdecimalの値を構成しようとしている場合など）、その実装はこのエラーを（評価フェーズと同様に）分析フェーズで報告することができます。

2.4.2 シーケンス型

XPath式で型を参照する必要があるとき、以下の文法が使用されます。この文法のプロダクションは、XPathの値であるシーケンスの型について記述しているため、"シーケンス型"と呼ばれます。

ここにXPath式で使用されるシーケンス型の例をいくつか示します。

• xs:dateは組み込みのスキーマ型であるdateを参照します。
• attribute?はオプショナルな属性を参照します。
• elementはいずれかの要素を参照します。
• element office:letterは特定の名前を持つ要素を参照し、それはその名前に対するスキーマ定義に対して妥当性が確認されています。
• element of type po:address+はある型のスキーマ定義に対して妥当性が確認された一つまたはそれ以上の要素を参照します。

• node*はゼロまたはそれ以上の任意の型のノードのシーケンスを参照します。

• item*はゼロまたはそれ以上のノードまたは原子値を参照します。

照会を実行する間、値がシーケンス型文法を使用して宣言された型と一致しているかどうかを決定する必要がある場合があります。この処理はシーケンス型マッチング（Sequence Type matching）として知られています。例えば、instance of式はもしある値がある型に一致していればtrueを返し、そうでない場合にはfalseを返します。

値とシーケンス型におけるシーケンス型マッチングは以下のように実行されます。

もし、シーケンス型がemptyであったら、値が空シーケンスである場合のみマッチングは成功します。もし、シーケンス型がOccurrenceIndicatorを持たない要素型（Item Type）である場合、値が正確に1つの要素（item）のみを含み、その要素が要素型（以下参照）と一致する場合にのみマッチングは成功します。もし、シーケンス型が要素型とOccurrenceIndicatorを持つ場合、値の中の要素の数がOccurrenceIndicatorと一致し、各要素が要素型と一致する場合にのみマッチングは成功します。つまり、空シーケンスである値はOccurrenceIndicatorが*または?である任意のシーケンス型に一致します。

OccurrenceIndicator は以下のように、シーケンス内の要素の数を示します。

• ?はゼロあるいは1つの要素を示します。

• *はゼロあるいはそれ以上の要素を示します。
• +は1つあるいはそれ以上の要素を示します。

ある値をある要素型にマッチングさせる処理は以下のように実行されます。（要素はノードまたは原子値であることを思い出してください。）

1. 要素型itemは任意の要素に一致します。例えば、itemは原子値1や要素<a/>に一致します。

2. 以下の要素型は原子値と一致します。

   1. atomic valueは任意の原子値に一致します。
   2. 名前付きの原子型は、その値の動的型がその名前付きの原子型と同じであるか、名前付きの原子型から制限によって導出されている場合に一致します。例えば、要素型xs:decimalは値12.34（decimalリテラル）と一致します。また、shoesizeがxs:decimalから導出された原子型である場合には、動的型がshoesizeである値とも一致します。
   3. untypedは、その最も明確な型がxs:anySimpleTypeである原子値に一致します。

3. 次の要素型はノードに一致します。

   1. nodeは任意のノードに一致します。

   2. textは任意のテキスト・ノードに一致します。

   3. processing-instructionは任意の処理命令ノードに一致します。

   4. commentは任意のコメント・ノードに一致します。

   5. documentは任意のドキュメント・ノードに一致します。

   6. elementはある要素ノードに一致します。オプションとして、elementには、ElemOrAttrType が続き、さらにノードに対して制限を設けることができます。（下記参照）

   7. attributeはある属性ノードに一致します。オプションとして、attributeには、ElemOrAttrType が続き、さらにノードに対して制限を設けることができます。（下記参照）

ElemOrAttrType は、以下のように要素や属性の名前や型に対して制限を設けるために使用することができます。

1. ElemOrAttrType の一つの形として、"of type"という語句を指定すると、要素ノードあるいは属性ノードの必須型（required type）を指定します。必須型はスコープ内スキーマ定義に定義された単純型あるいは複合型のQNameでなくてはなりません。要素や属性の型注釈が必須型と同じであるか、（スコープ内スキーマ定義により）必須型から導出されることが自明である場合にのみ一致は成功します。例えば、element of type Employeeは妥当で型注釈Employeeを受け取る要素ノードに一致します。同様に、attribute of type xs:integerは妥当で型注釈xs:integerを受け取る属性ノードに一致します。

2. もう一つのElemOrAttrTypeの形は単純なQNameで、その要素や属性の必須名（required name）として解釈されます。そのQNameはスコープ内スキーマ定義にある要素名あるいは属性名でなくてはなりません。ある要素や属性が必須名を持ち、その必須名に対するスキーマ定義に対して一致する場合にのみ、一致は成功します。これは、以下のいずれかの方法で確認されます。

   1. もし、必須名に対するスキーマ定義が名前付き型である場合、その要素や属性の型注釈は、その名前付き型と同じであるか、あるいは（スコープ内スキーマ定義により）その名前付き型から得られることが自明である必要があります。例えば、スキーマが要素名locationの型としてStateを持つと宣言していると仮定します。シーケンス型element locationは、その名前がelement locationで、その型注釈がStateであるか、Stateから得られる名前付き型であるような要素にのみ一致します。

   2. もし、必須名に対するスキーマ定義がanonymous（unnamed）型定義である場合には、その要素や属性の実際の内容は構造としてこの型定義に従わなくてはなりません。例えば、shippingAddressという名前の要素に対して、スキーマがstreet要素と、それに続くcity要素から構成されるanonymous複合型を宣言していると仮定します。シーケンス型element shippingAddressは、その名前がshippingAddressで、その内容がstreet要素とそれに続くcity要素で構成されるような要素にのみ一致します。

   要素が必須名を持たなくてはならないという制約は、その要素が妥当であり、先頭のノードが必須名を持つ代理グループ（substitusion group）のメンバーである場合に、満たされていると考えられます。代理グループについては、[XML Schema]に記述されています

3. 上の2つの形のElemOrAttrTypeは要素や属性の必須名と必須型の両方を指定するために結合して使用することができ、element person of type Employeeあるいは、attribute color of type xs:integerのようになります。この形は、例えば必須名に関連付けられているスキーマ型よりも明確な必須型を指定するような場合に使用することができます。

いくつかの場合では、要素ノードや属性ノードの必須名はローカルに宣言される（つまり、あるスキーマの複合型やの中で宣言される）ことがあります。このような場合、ElemOrAttrType はスキーマ・コンテキストを指示し、その中で必須名が解釈できるようにします。例えば、element shippingAddress in invoice/customerは、要素名shippingAddressのスキーマ定義に対して一致する要素ノードに一致します。なぜなら、invoice要素の内部のcustomer要素の内部で解釈されるためです。スキーマ・コンテキストの最初のQNameはスコープ内スキーマ定義になくてはなりません。

2.4.3 型変換

式の中にはその被演算子が予期している型に完全に一致する必要がないものもあります。例えば、関数のパラメータや戻り値は特定の型を予期していますが、ノードからの原子値の取り出し、数値のプロモーション、型がない値の暗黙的なキャスティングなどの特定の型変換が自動的に実行されます。関数のパラメータと戻り値に対する変換規則は3.1.4 関数呼び出しで議論されています。その他の特殊な変換規則を提供する演算子には、3.4 算術式で議論されている算術演算子や3.5.1 値比較で議論されている値の比較があります。

2.5.1 エラー

2.4.1 型の確認で述べられているように、XPathには分析フェーズが定義されており、それは入力値には依存しません。また、評価フェーズが定義されており、それは入力データに依存します。

分析フェーズの結果は成功か、1つ以上の静的エラーとなります。静的エラーの中には、静的型エラーがあり、式の静的型が出現するコンテキストに対して正しくない場合に発生します。静的エラーという用語には、文法エラーなどのように型とは関係のないエラーも含まれます。静的エラーが報告される方法は実装に依存します。

評価フェーズの結果は結果の値か、動的エラーとなります。動的エラーには、動的型エラーがあり、式の動的型が出現するコンテキストに対して正しくない場合に発生します。動的エラーという用語には、数値オーバーフローのように型とは関係のない動的エラーも含まれます。実装が値を返す場合、その値は[XQuery 1.0 Formal Semantics]に定義されている動的規則と一致していなくてはなりません。

[XQuery 1.0 Formal Semantics]には、静的エラーと動的エラーの定義があります。それらのエラーに加えて、XPathの実装は、分析フェーズ中あるいは評価フェーズ中に、その実装に依存する警告を発生させることが可能です。警告をどう発生させ、どう扱うかは実装に依存します。

2.5.2 一致

XPathは基本XPath（Basic XPath）という名前の基本的な一致レベルを定義し、オプションとしてスキーマ・インポート・フィーチャー（Schema Import Feature）と静的タイピング・フィーチャー（Static Typing Feature）と呼ばれる2つの機能を定義します。一致の実装は基本XPathの要件を満たさなくてはなりません。また、オプション機能のどちらかあるいは両方を提供することもできます。

2.5.3 動的エラーの扱い

この文書に記述されているものを除いて、もしある式の被演算子が動的エラーを発生させる場合には、その式も動的エラーを発生させます。もし、ある式が妥当であり、ある値を返す場合、あるいは動的エラーを発生させる場合、実装はその値を返すか動的エラーを発生させるかを選択することができます。例えば、論理式expr1 and expr2は、どちらかの被演算子がfalseを返す場合、値falseを返すことができます。あるいはもしどちらかの被演算子が動的エラーを発生させる場合、この論理式は動的エラーを発生させることができます。

もし、ある式の1つ以上の被演算子がエラーを返す場合、実装はその式によってどのエラーを発生させるのかを選択することができます。例えば、この式

($x div $y) + xsd:decimal($z)

において、($x div $y)とxsd:decimal($z)の両方はエラーを発生させる可能性があります。実装は"+"式によりどのエラーが発生するかを選択することができます。一度ある被演算子がエラーを発生させると、実装は他の被演算子の評価をする必要はありませんが、評価しても構いません。

動的エラーはエラー値（error value）を持ち、これは単一の要素あるいは空シーケンスです。例えば、エラー値はintegerや文字列やQNameや要素である可能性があります。実装はアプリケーション定義のエラー・ハンドラーがエラー値を処理し、診断メッセージを生成することができるような仕組みを提供することができます。エラー・ハンドラーがない場合、エラー値の文字列値（string-value）をエラーメッセージとして直接使用することができます。

動的エラーは組み込みの関数や演算子によって発生する可能性があります。例えば、input関数は、もし評価コンテキストにおいて入力シーケンスが定義されていない場合にはエラーを発生させます。

エラーはxf:error関数を明示的に呼ぶことにより発生させることができます。これは、エラーのみを発生させ、値を返すことはありません。xf:error関数はオプショナルな要素をパラメータとしてとり、それはエラー値として使用されます。例えば、以下の関数呼び出しはエラー値が文字列である動的エラーを発生させます。

xf:error(xf:concat("Unexpected value ", $v))

3.1.1 リテラル

リテラル（literal）は原子値の直接のシンタックスの表現です。XPathは2つの種類のリテラル、すなわち文字リテラル（string literal）と数値リテラル（numeric literal）をサポートしています。

文字リテラル（string literal）は原始型がxs:stringであって、値が区切りのクォーテーション・マークの間の文字によって表示される文字であるようなシングルトン・シーケンスです。もし、リテラルがシングル・クォーテーションで区切られている場合、リテラル内の2つの隣り合ったシングル・クォート文字は1つのシングル・クォート文字と解釈されます。同様に、もしリテラルがダブル・クォーテーションによって区切られている場合、リテラル内の2つの隣り合ったダブル・クォート文字は1つのクォート文字であると解釈されます。

もし、文字リテラルが属性の値の中で使用される場合、リテラルを区切るために使用されるクォート文字は属性を区切るために使用されるクォート文字と異なる必要があります。

"."を含まず、eやE文字を含まない数値リテラル（numeric literal）の値は、型がxs:integerで、値がxs:integerデータ型の規則に従って数値リテラルをパースすることにより得られる値であるような要素を含むシングルトン・シーケンスです。"."を含むが、eやE文字を含まない数値リテラルの値は、原始型がxs:decimalであり、値がxs:decimalデータ型の規則にしたがって数値リテラルをパースすることによって得られる値であるような要素を含むシングルトン・シーケンスです。eやE文字を含む数値リテラルの値は、原始型がxs:doubleであり、値がxs:doubleデータ型の規則に従って数値リテラルをパースすることによって得られる値であるような要素を含むシングルトン・シーケンスです。

ここにリテラル式の例を示します。

• "12.5"は文字'1'、'2'、'5'を含む文字列を表します。

• 12は整数値12を表します。

• 12.5は十進数値の12と0.5を表します。

• 125E2は倍精度浮動小数点値12500を表します。

ブーリアン値trueとfalseは、それぞれ組み込み関数xf:true()とxf:false()に対する呼び出しにより表されます。

その他のXML Schemaの組み込み型の値は、その型に対するコンストラクタを呼び出すことにより生成することができます。XML Schemaの組み込み型に対するコンストラクタは[XQuery 1.0 and XPath 2.0 Functions and Operators]で定義されています。一般的に、ある型に対するコンストラクタ関数の名前は（ネームスペースを含めて）その型の名前と同じです。例えば、

• xs:integer("12")は整数値12を返します。

• xs:date("2001-08-25")は型がxs:dateで値が2001年8月25日を表す要素を返します。
• xf:dayTimeDuration("PT5H")は型がxf:dayTimeDurationで値が5時間を表す要素を返します。

cast式を使用してさまざまな型の値を生成することも可能です。例えば、

• cast as hatsize(9) は原始値が整数の9で、型がユーザー定義型でxs:integerから派生したhatsizeという型の要素を返します。

3.1.2 変数

変数（variable）は評価コンテキストにおいてその名前が結び付けれた値に対して評価します。結び付けられていない（unbound）変数を含む式は静的エラーとなります。変数はfor式（for expression）内の句と量化式（quantified expression）内の句により結び付けられます。

XPathではホスト言語環境において変数が結び付けられることも可能です。.

3.1.3 丸括弧式（Parenthesized Expressions）

丸括弧は複数の演算子を含む式においてある特定の評価順序を守るために使用することができます。例えば、式(2 + 4) * 5は30となります。丸括弧式(2 + 4)が最初に評価され、その結果が5倍されるためです。丸括弧なしでは式2 + 4 * 5は22となります。乗算演算子は加算演算子よりも高い優先順位を持つためです。

空の丸括弧は、3.3.1 シーケンスの作成に記述されているように、空シーケンスを表すために使用されます。

3.1.4 関数呼び出し

関数呼び出し（function call）はQNameと、それに続く丸括弧で囲まれたゼロまたはそれ以上の式から構成され、その式は引数（arguments）と呼ばれます。QNameと引数の数は静的コンテキストの中のスコープ内関数の名前とarity（パラメータの数）に一致しなくてはなりません。（2.1 式のコンテキスト参照。）それ以外の場合、静的エラーが発生します。

関数呼び出し式は以下のように評価されます。

1. 各引数式が評価され、引数値が生成されます。

2. 各引数値が対応する関数のパラメータの宣言された型に変換されます。このとき、以下に挙げた関数変換規則が使用されます。

3. 関数が変換された引数の値を使用して実行されます。結果は関数の宣言された結果の型の値です。

関数変換規則（function conversion rules）は引数の値を必須型、つまり関数のパラメータの宣言された型、に変換するために使用されます。必須型はシーケンス型（Sequence Type）として表されます。関数変換規則は以下の通りです。

1. 必須型が原子型である場合：

   原子化（Atomization）が値に適用されます。もし、結果の原子値がxs:anySimpleType型であると、その型を必須型にキャストしようとします。もし、キャストが失敗すると、関数呼び出しは動的型エラーを発生します。もし、原子値がB.1 Type Promotionのプロモーション規則を使用して必須型にプロモートできるような型を持つ場合、そのプロモーションが実行されます。

2. 必須型がシーケンスあるいは原子型が任意に出現するような場合：

   もし、値がノードを含む場合、これらのノードはその型付き値によって置き換えられます。各要素は原子値に対する変換規則を使用して必須原子型に変換されます。

3. 必須型がその他のシーケンス型である場合、あるいは必須型が宣言されていない場合：

   変換は実行されません。

もし、静的タイピング・フィーチャー（Static Typing Feature）が実装されており、（変換された）関数の引数または結果の静的型が、[XQuery 1.0 Formal Semantics]の中の静的型推測規則によって推測されるように、必須型のサブタイプでない場合は、静的エラーが発生します。もし、静的タイピング・フィーチャーが実装されてなく、（変換された）関数の引数あるいは結果の動的型が、シーケンス型マッチング（Sequence Type Matching）に対する規則に従うと必須型に一致しない場合、動的エラーが発生します。

関数のコア・ライブラリは[XQuery 1.0 and XPath 2.0 Functions and Operators]に定義されています。このライブラリの中の関数はデフォルトの関数のネームスペースを関数ライブラリのネームスペースに対して割り当てることで、ネームスペース接頭辞なしに呼び出すことができます。

XPath内のコンマ演算子（comma operator）は2つの目的を持っています。関数呼び出しないの引数を分離し、シーケンスを構成する式内の要素を分離します。（3.3.1 シーケンスの作成参照） これらの2つの使用を区別するために、関数呼び出しの個々の引数の境界に丸括弧を使用することができます。ここにいくつかの関数呼び出しの例を挙げます。

• three-argument-function(1, 2, 3) は3つの引数をもつ関数を表します。

• two-argument-function((1, 2), 3) は2つの引数を持つ関数を表します。最初の引数は2つの値のシーケンスです。

• two-argument-function(1, ()) は2つの引数を持つ関数を表します。2つめの引数は空シーケンスです。

• one-argument-function((1, 2, 3)) は1つの引数を持つ関数を表します。その引数は3つの値のシーケンスです。

• one-argument-function(( )) は1つの引数を持つ関数を表します。その引数は空シーケンスです。

• zero-argument-function( ) は引数を持たない関数を表します。

3.1.5 コメント

XPathのコメントは情報を提供する注釈として使用することができます。このコメントは語彙的な構成要素であり、式の処理には影響を及ぼしません。

コメントは式の中の主要なトークンの前や後に使用することができます。コメントが認識される正確な字句状況についてはA.1 Lexical structureを参照してください。

次はコメントの例です。

{-- Houston, we have a problem --}

編集者注: 上のEBNF記法では、"}"ではなく"--}"を禁止するべきです。

3.2.1 ステップ

ステップ（step）は要素のシーケンスを生成し、それらは0以上の述語（predicates）により取捨選択されます。ステップの値は述語を満たす要素で構成されます。述語については3.2.2 述語に記述されています。

ステップは、原始式（primary expression）（3.1 原始式に記述されています）、あるいはフォワード・ステップ（forward step）、あるいはリバース・ステップ（reverse step）で構成されます。フォワード・ステップやリバース・ステップは常にノードのシーケンスを返します。フォワード・ステップやリバース・ステップは、コンテキスト・ノードから始まり、指定された軸（axis）によってコンテキスト・ノードから到達できるノードまで通っていくもの、と考えることができます。これらのステップには2つの部分があります。一つは軸で、これはステップが"動く方向"を定義します。もう一つがノード・テスト（node test）で、ステップにより選択されるノードの種類や名前を指定します。

ステップの短縮シンタックスでは、軸は省略することができ、その他の使用可能な短縮記法については3.2.4 短縮シンタックスに記述されています。

フォワード・ステップやリバース・ステップの短縮されていないシンタックスは、軸の名前とダブル・コロンにより分離されているノード・テストで構成されます。ステップの結果は、コンテキスト・ノードから指定された軸により到達可能なノードで、ノード・テストにより指定されたノードの種類や名前を持つノードで構成されます。例えば、ステップchild::paraはコンテキスト・ノードの子であるpara要素を選択します。childは軸の名前で、paraはこの軸上で選択される要素ノードの名前です。使用可能な軸については、3.2.1.1 軸に記述されています。使用可能なノード・テストに関しては、3.2.1.2 ノード・テストに記述されています。ステップの例については、3.2.3 非短縮シンタックスや3.2.4 短縮シンタックスで提供されています。

3.2.2 述語(predicate）

述語は述語式（predicate expression）と呼ばれる式で構成され、角括弧で囲まれます。述語はシーケンスを取捨選択するために使用され、ある要素を残し、他の要素を除外します。取捨選択されるシーケンスの各要素に対して、2.1.2 評価コンテキストに記述されているように、その要素から得られる内部フォーカス（inner focus）を使用して述語式が評価されます。述語式の結果は、以下に示すように述語真偽値（predicate truth value）と呼ばれるブーリアン値になります。述語真偽値がtrueである要素は残され、述語真偽値がfalseである値は除外されます。

述語真偽値は以下の規則を順番に適用することにより得られます。

1. もし、述語式の値が空シーケンスであった場合、述語真偽値はfalseとなります。

2. もし、述語式の値が数値型の原子値であった場合、述語真偽値は述語式の値がコンテキスト位置と等しい場合にのみtrueとなります。

3. もし、述語式の値がブーリアン型の原子値であった場合、述語真偽値は述語式の値と等しくなります。

4. もし、述語式の値が少なくとも一つのノードを含むシーケンスである場合、述語真偽値はtrueとなります。この場合の述語真偽値はノードの内容に依存しません。

5. それ以外の場合、型例外が発生します。

ここで、述語を含むステップの例を挙げます。

• この例はコンテキスト・ノードの子である2番目の"chapter"要素を選択します。

  child::chapter[2]

• この例は、コンテキスト・ノードの全ての子孫の内、名前が"toy"で"color"属性が"red"という値であるノードを選択します。

  descendant::toy[attribute::color = "red"]

• この例は、コンテキスト・ノードの子要素である"employee"要素のうち、"secretary"サブ要素を持つ要素を選択します。

  child::employee[secretary]

述語はフォワード・ステップやリバース・ステップではない原始式（primary expression）でも使用できます。以下に例を示します。

• 1から100の整数値のうち、5で割ることができるものを全てリストします。（to演算子に関しては、3.3.1 シーケンスの作成を参照してください。）

  (1 to 100)[. mod 5 eq 0]

3.2.3 非短縮シンタックス

このセクションでは、各ステップにおいて軸が明示的に示されているパス式の例を示します。これらの例で示されているシンタックスは非短縮シンタックス（unabbreviated syntax）と呼ばれます。多くの一般的な場合において、3.2.4 短縮シンタックスに説明されているように、短縮シンタックス（abbreviated syntax）を使用してより簡潔にパス式を記述することが可能です。

• child::para はコンテキスト・ノードの子のpara要素を選択します。

• child::* はコンテキスト・ノードのすべての子要素を選択します。

• child::text() はコンテキスト・ノードの子であるテキスト・ノードを選択します。

• child::node() はコンテキスト・ノードの全ての子を、ノード型が何であろうと、選択します。

• attribute::name はコンテキスト・ノードのnameという属性を選択します。

• attribute::* はコンテキスト・ノードの全ての属性を選択します。

• descendant::para はコンテキスト・ノードの子孫のpara要素を選択します。

• ancestor::div はコンテキスト・ノードの先祖の全てのdiv要素を選択します。

• ancestor-or-self::div はコンテキスト・ノードの先祖の全てのdiv要素を選択し、もしコンテキスト・ノードがdiv要素であれば、コンテキスト・ノードも選択します。

• descendant-or-self::para はコンテキスト・ノードの子孫のpara要素を選択し、もしコンテキスト・ノードがpara要素であれば、コンテキスト・ノードも選択します。

• self::para は、もしコンテキスト・ノードがpara要素であれば、コンテキスト・ノードを選択し、それ以外であれば、何も選択しません。

• child::chapter/descendant::para はコンテキスト・ノードの子であるchapter要素の子孫であるpara要素を選択します。

• child::*/child::para はコンテキスト・ノードの孫である全てのpara要素を選択します。

• / はコンテキスト・ノードを含むノード階層のルートを選択します。

• /descendant::para はコンテキスト・ノードと同じドキュメント内の全てのpara要素を選択します。

• /descendant::list/child::member はコンテキスト・ノードと同じドキュメント内にあり、親listを持つ全てのmember要素を選択します。

• child::para[xf:position() = 1] はコンテキスト・ノードの子の最初のpara要素を選択します。

• child::para[xf:position() = xf:last()] はコンテキスト・ノードの子の最後のpara要素を選択します。

• child::para[xf:position() = xf:last()-1] はコンテキスト・ノードの子の最後から一つ手前のpara要素を選択します。

• child::para[xf:position() > 1] はコンテキスト・ノードの子のpara要素のうち、最初のpara要素以外の全てのpara要素を選択します。

• following-sibling::chapter[xf:position() = 1]はコンテキスト・ノードの次の兄弟であるchapter要素を選択します。

• preceding-sibling::chapter[xf:position() = 1]はコンテキスト・ノードの前の兄弟であるchapter要素を選択します。

• /descendant::figure[xf:position() = 42] はドキュメント内の42番目のfigure要素を選択します。

• /child::doc/child::chapter[xf:position() = 5]/child::section[xf:position() = 2]はドキュメント要素docの5番目のchapter要素の2番目のsection要素を選択します。

• child::para[attribute::type="warning"]はコンテキスト・ノードの子のpara要素のうち、typeという属性がwarningという値を持つ全てのものを選択します。

• child::para[attribute::type='warning'][xf:position() = 5]はコンテキスト・ノードの子のtype属性がwarningという値を持つ5番目のpara要素を選択します。

• child::para[xf:position() = 5][attribute::type="warning"]はコンテキスト・ノードの子の5番目のpara要素が、もしtype属性がwarningという値を持つ場合に、選択します。

• child::chapter[child::title='Introduction']はコンテキスト･ノードの子の、Introductionという値を持つtitle子要素を1つ以上持つchapter要素を選択します。

• child::chapter[child::title] はコンテキスト・ノードの子の、title子要素を1つ以上もつchapter要素を選択します。

• child::*[self::chapter or self::appendix] はコンテキスト・ノードの子の、chapter要素とappendix要素を選択します。

• child::*[self::chapter or self::appendix][xf:position() = xf:last()] はコンテキスト・ノードの子の、最後のchapter要素あるいはappendix要素を選択します。

3.2.4 短縮シンタックス

短縮シンタックスは以下の短縮形を許します。

1. 元も重要な短縮は、child::がステップから除外することができるという点です。実際、childはデフォルトの軸です。例えば、パス式section/paraはchild::section/child::paraの短縮形です。

2. 属性にも短縮形があります。attribute::は@に短縮されます。例えば、パス式para[@type="warning"]はchild::para[attribute::type="warning"]の短縮形であるため、type属性がwarningと等しい値を持つpara子要素を選択します。

3. // は/descendant-or-self::node()/の短縮形です。例えば、//paraは/descendant-or-self::node()/child::paraの短縮形であるため、ドキュメント内の任意のpara要素を選択します。（ドキュメント要素であるpara要素も//paraによって選択されます。ドキュメントノードはルート・ノードの子であるためです。）div1//paraはdiv1/descendant-or-self::node()/child::paraの短縮形であるため、子要素div1の子孫の全てのpara要素を選択します。

   パス式//para[1]は/descendant::para[1]と同じ意味ではないことに注意してください。後者は子孫の最初のpara要素を選択するのに対して、前者は子孫のpara要素のうち、自分の親に対して最初のpara子要素であるような、全ての要素を選択します。

4. . で構成されるステップはコンテキスト要素を返します。これは、特に//と合わせて使用すると有用です。例えば、パス式.//paraはコンテキスト・ノードの全てのpara子孫要素を返します。

5. .. で構成されるステップはparent::node()の短縮形です。例えば、../titleはparent::node()/child::titleの短縮形であるため、コンテキスト・ノードの親のtitle子要素を選択します。

短縮シンタックスを使用したパス式の例を挙げます。

• para はコンテキスト・ノードの子のpara要素を選択します。

• * はコンテキスト・ノードの全ての子要素を選択します。

• text() はコンテキスト・ノードの全てのテキスト・ノードを選択します。

• @name はコンテキスト・ノードのname属性を選択します。

• @* はコンテキスト・ノードの全ての属性を選択します。

• para[1] はコンテキスト・ノードの最初の子paraを選択します。

• para[xf:last()] はコンテキスト・ノードの最後の子paraを選択します。

• */para はコンテキスト・ノードの全ての孫paraを選択します。

• /doc/chapter[5]/section[2] はdocの5番目のchapterの2番目のsectionを選択します。

• chapter//para はコンテキスト・ノードの子要素chapterの子孫のpara要素を選択します。

• //para はドキュメント・ルートの子孫の全てのpara要素を選択します。つまり、コンテキスト・ノードと同じドキュメント内の全てのpara要素を選択します。

• //list/member はコンテキストノードと同じドキュメント内のlistという親を持つ全てのmember要素を選択します。

• . はコンテキスト・ノードを選択します。

• .//para はコンテキスト・ノードの子孫のpara要素を選択します。

• .. はコンテキスト・ノードの親を選択します。

• ../@lang はコンテキスト・ノードの親のlang属性を選択します。

• para[@type="warning"] はコンテキスト・ノードの子のtype属性がwarningという値を持つ全てのpara要素を選択します。

• para[@type="warning"][5] はコンテキスト・ノードの子のtype属性がwarningという値を持つ5番目のpara要素を選択します。

• para[5][@type="warning"] はコンテキスト・ノードの子の5番目のpara要素が、type属性がwarningという値を持つ場合に、それを選択します。

• chapter[title="Introduction"] はコンテキスト・ノードの子の、Introductionに等しい文字列値を持つtitle要素を1つ以上持つchapter要素を選択します。

• chapter[title] はコンテキスト・ノードの子の、titleという子を1つ以上持つchapter要素を選択します。

• employee[@secretary and @assistant] はコンテキスト・ノードの子の、secretary属性とassistant属性を持つemployee要素を全て選択します。

• book/(chapter|appendix)/section は、chapterまたはappendixという親を持つsection要素のうち、そのchapterまたはappendixが、コンテキスト・ノードの子であるbook要素の子であるようなものを選択します。

• book/xf:id(publisher)/name はxf:id(book/publisher)/nameと同じ結果を返します。

3.3.1 シーケンスの作成

シーケンスを作成する一つの方法は、コンマ演算子（comma operator）を使用することです。これは、各被演算子を評価し、その結果の値を順番に結合して、一つのシーケンスを作成します。

ExprSequenceは本来式ではなく、一般的に式が予期されるところで使用される場合には、丸括弧で囲まれなくてはなりません。空の丸括弧は空シーケンスを表すために使用することができます。

シーケンスは重複した値やノードを含む可能性がありますが、シーケンスは他のシーケンスの要素になることはありません。2つ以上の入力シーケンスを結合して新しいシーケンスが作成されるとき、その新しいシーケンスは入力シーケンスの全ての要素を含み、その長さは入力シーケンスの長さの合計となります。

シーケンスを構成する式の例を示します。

• 子の式は5つの整数のシーケンスです。

  (10, 1, 2, 3, 4)

• この式は、10, (1, 2)、空シーケンス ( )、(3, 4) というシーケンスから1つのシーケンスを作成します。

  (10, (1, 2), (), (3, 4))

  これは、評価されて以下のシーケンスとなります。

  10, 1, 2, 3, 4

• この式はコンテキスト・ノードの全てのsalary子要素と、それに続くbonus子要素となります。

  (salary, bonus)

• $priceは10.50という値に結び付けられているとすると、次の式

  ($price, $price)

  は評価されて次のシーケンスとなります。

  10.50, 10.50

RangeExprは連続する整数のシーケンスを作成するために使用することができます。to演算子は2つの被演算子を取ります。両方とも必須型はintegerです。シーケンスは、2つの整数の被演算子とその2つの被演算子の間の全ての整数を含むものが作成されます。最初の日演算子が2つ目の小さい場合はシーケンスは昇順となり、そうでない場合には降順となります。

• この例は範囲式（range expression）を1つの被演算子として使用し、シーケンスを作成しています。

  (10, 1 to 4)

  これは評価されて次のようなシーケンスとなります。

  10, 1, 2, 3, 4

• この例は長さ1のシーケンスを作成します。

  10 to 10

  これは評価されて単一の整数10を含むシーケンスとなります。

3.3.2 シーケンスの結合

XPathでは、ノードのシーケンスを結合するいくつかの演算子を提供しています。union演算子と|演算子は等価です。これらは被演算子として2つのノード・シーケンスを取り、いずれかの被演算子に出現するノードを全て含むシーケンスを返します。intersect演算子は2つのノード・シーケンスを被演算子として取り、両方の被演算子に出現する要素を全て含むシーケンスを返します。except演算子は2つのノード・シーケンスを被演算子として取り、最初の被演算子に出現し、2つ目の被演算子に出現しないノードを全て含むシーケンスを返します。これらの演算子は全てノード識別子を基に重複なくドキュメント順に結果のシーケンスを返します。union、intersect、exceptの被演算子がノードではない要素を含む場合、動的エラーが発生します。

シーケンスを結合する式の例をいくつか示します。A、B、Cという名前の3つの要素ノードを仮定します。$seq1はAとBを含むシーケンスに結び付けられ、$seq2もAとBを含むシーケンスに結び付けられ、$seq3はBとCを含むシーケンスに結び付けられていると仮定します。このとき、

• $seq1 union $seq1 を評価するとAとBを含むシーケンスとなります。

• $seq2 union $seq3 を評価するとAとBとCを含むシーケンスとなります。

• $seq1 intersect $seq1 を評価するとAとBを含むシーケンスとなります。

• $seq2 intersect $seq3 を評価するとBのみを含むシーケンスとなります。

• $seq1 except $seq2 を評価すると空シーケンスとなります。

• $seq2 except $seq3 を評価するとAのみを含むシーケンスとなります。

ここに述べられているシーケンス演算子に加えて、[XQuery 1.0 and XPath 2.0 Functions and Operators]には要素に索引アクセスをするための関数、シーケンスのサブシーケンスのための関数、索引によりシーケンスに要素を挿入したり削除したりする関数、シーケンスから重複した値やノードを削除する関数などが含まれています。

3.5.1 値比較

値比較（value comparisom）は単一の値を比較することを意図しています。値比較の結果は以下の規則を順番に適用することで定義されます。

1. 原子化（Atomization） が各被演算子に適用され、結果としてそれぞれの被演算子に対する単一の原子値、または空シーケンスが得られます。

2. もし、どちらかの被演算子が空シーケンスである場合には、結果は空シーケンスとなります。

3. もし、どちらかの演算子がxs:anySimpleType型を持つ場合、その被演算子は必須型にキャストされますが、どのようにキャストされるかは以下に従います。

   • もし、他方の被演算子が数値である場合には、必須型はxs:doubleです。

   • もし、他方の被演算子がxs:anySimpleTypeである場合には、必須型はxs:stringです。

   • それ以外では、必須型は他方の被演算子の型です。

   もし、キャストが失敗すると、動的エラーが発生します。

4. もし、値比較が異なる数値型の被演算子に対して行われる場合、B.1 Type Promotionのプロモーション規則に従って、一方の被演算子が他方の被演算子の型にプロモートされます。例えば、xs:integer型の値はxs:decimalにプロモートされ、xs:decimal型の値はxs:doubleにプロモートされます。

5. 比較の結果は、最初の被演算子の値が2番目の被演算子の値に対して（等しい、等しくない、より小さい、以下である、より大きい、以上である）場合にtrueとなります。それ以外の場合には比較の結果はfalseとなります。B.2 Operator Mappingにはどの原子型の組み合わせが互換性があり、さまざまな型の値に対してどのように比較が実行されるのかが記述されています。最初の被演算子の値が2番目の被演算子の値と互換性がない場合、型例外が発生します。

値比較の例を示します。

• 以下の比較は、$book1が単一のauthorサブ要素を持ち、その値が"Kennedy"である場合のみ真となります。

  $book1/author eq "Kennedy"

編集者注: 現時点での値比較演算子の定義は他動詞ではありません。ワーキング・グループでは、値比較から暗黙的なキャストを除いて、それらを一般比較に付け加えることで、値比較を他動詞とする議論がなされています。

3.5.2 一般比較（General Comparisons）

一般比較（general comparisons）は値比較に存在に関するセマンティックスを付け加えて定義されています。一般比較の被演算子は任意の長さのシーケンスとなります。一般比較の結果は常にtrueまたはfalseです。

シーケンスAとBに対する一般比較A = Bは、もしAの要素aとBの要素bに対して値比較a eq bがtrueである場合に、trueとなります。それ以外の場合には、A = Bはfalseとなります。

同様に、

• A != B は、Aの中のaとBの中のbに対して、a ne bがtrueであるときのみ、trueとなります。

• A < B は、Aの中のaとBの中のbに対して、a lt bがtrueであるときのみ、trueとなります。

• A <= B は、Aの中のaとBの中のbに対して、a le bがtrueであるときのみ、trueとなります。

• A > B は、Aの中のaとBの中のbに対して、a gt bがtrueであるときのみ、trueとなります。

• A >= B は、Aの中のaとBの中のbに対して、a ge bがtrueであるときのみ、trueとなります。

一般比較の例を示します。

• 以下の比較は、$book1のauthorサブ要素が"Kennedy"である場合に、真となります。

  $book1/author = "Kennedy"

3.5.3 ノード比較（Node Comparisons）

ノード比較（node comparison）の結果は以下の規則を順番に適用することで定義されます。

1. 各被演算子は単一のノードか空シーケンスのいずれかでなくてはなりません。それ以外の場合、動的エラーが発生します。

2. もし、どちらかの被演算子が空シーケンスである場合、比較の結果は空シーケンスとなります。

3. is演算子を使用した比較は、2つの被演算子が同じ識別子を持つノードである場合にtrueとなります。それ以外の場合は、falseとなります。isnot演算子を使用した比較は、2つの被演算子が異なる識別子を持つノードである場合はtrueとなります。それ以外はfalseとなります。ノードの識別子に関する議論については、[XQuery 1.0 and XPath 2.0 Data Model]を参照してください。

is演算子の使用例を示します。

• 以下の比較は、左側と右側がそれぞれ全く同じ単一のノードに評価されるときのみ、真となります。

  //book[isbn="1558604820"] is //book[call="QA76.9 C3845"]

3.5.4 順序比較（Order Comparisons）

順序比較の結果は、以下の規則を順番に適用することで定義されます。

1. 両方の被演算子は単一ノード、あるいは空シーケンスでなくてはなりません。その他の場合には動的エラーが発生します。

2. もし、どちらかの被演算子が空シーケンスであった場合、比較の結果は空シーケンスとなります。

3. <<演算子による比較は、最初の被演算子ノードが2番目の被演算子ノードよりもドキュメント順で前にある場合trueにとなります。それ以外では、falseとなります。

4. >>演算子による比較は、最初の被演算子ノードが2番目の被演算子ノードよりもドキュメント順で後にある場合trueにとなります。それ以外では、falseとなります。

順序比較の例を示します。

• 以下の比較は、左側で識別されるノードが右側で識別されるノードのドキュメント順で前に出現する場合に真となります。

  //purchase[parcel="28-451"] << //sale[parcel="33-870"]

3.10.1 Instance Of

ブーリアン演算子instance ofは、シーケンス型マッチング（Sequence Type Matching）の規則に従って、最初の被演算子の値が2番目の被演算子内の型の名前と一致するとtrueを返します。それ以外はfalseを返します。例えば、

• 5 instance of xs:integer

  この例は値が指定した型のインスタンスであるので、trueを返します。

• . instance of element

  この例はコンテキスト要素は要素ノードであるので、trueを返します。

3.10.2 CastとTreat

時々、ある値を特定のデータ型に変換する必要がある場合があります。この目的のために、XPathは既存の値に基づいて特定の型の新しい値を生成するcast式を提供します。cast式は被演算子として、入力式とターゲット型（target type）と呼ばれるシーケンス型の2つを取ります。cast式は最初に入力式に関して原子化（atomization）を行い、その結果は単一の原子入力値、あるいは空シーケンスとなります。もし入力値が空シーケンスであった場合、cast式は空シーケンスを返します。そうでない場合、cast式は入力値と同じ字句表現を持つターゲット型の新しいインスタンスを作成します。入力値の型は入力型（input type）と呼ばれます。castは、以下に示すように入力型とターゲット型の特定の組み合わせのみサポートしています。これらの規則のために、次の意味でサブタイプ（subtype）とスーパータイプ（supertype）という用語を使用します。もし、型Bが型Aから派生した場合、BはAのサブタイプであり、AはBのスーパータイプです。

• cast は[XQuery 1.0 and XPath 2.0 Functions and Operators]に一覧となっている入力型とターゲット型の組み合わせをサポートします。これらの組み合わせのそれぞれに対して、入力型とターゲット型は両方とも組み込みのスキーマ型です。例えば、xs:stringの型の値はxs:decimalにキャストすることができます。

  [XML Schema]で定義されている全ての組み込み型Tに対して、名前がTと同じでそのセマンティックスがTをターゲット型としたcast式と同じであるような、コンストラクタ関数が提供されます。例えば、関数呼び出しxs:decimal($stringvalue)は式cast as xs:decimal($stringvalue)と等価です。もし、コンストラクタ関数の引数がリテラルである場合、関数の結果は静的に計算され、この処理中にエラーが発生すると静的エラーとして報告されます。コンストラクタ関数は[XQuery 1.0 and XPath 2.0 Functions and Operators]により詳細に記述されています。

• cast は入力型が原子型から派生しており、ターゲット型が入力型のスーパータイプである場合にサポートされます。例えば、shoesizeがxs:integerから制限により派生した場合、型shoesizeの値はxs:integer型にキャストすることができます。

• cast はターゲット型が原子型から派生し、入力型がxs:string、xs:anySimpleType、ターゲット型のスーパータイプである場合にサポートされます。もし、入力型がxs:stringまたはxs:anySimpleTypeである場合、その文字列値はターゲット型の字句空間（lexical space）に存在しなくてはならず、ターゲット型に対するスキーマ定義規則を使用してターゲット型に変換されます。もし、入力型がターゲット型のスーパータイプであった場合、その値はターゲット型の値空間（value space）に変化なくマップされ、ターゲット型の全てのファセットに対して一致することを確認されます。（"pattern"ファセットの確認は入力値の標準字句表現（canonical lexical representation）を生成する必要がある可能性があります。）

上に挙げられていない入力型とターゲット型の任意の組み合わせに対して、cast式は静的エラーを発生します。

入力値をターゲット型の値空間にキャストすることができない場合、動的エラーが発生します。これは、いずれかのターゲット型のファセットが満たされない時の場合も含みます。例えば、cast as xs:integer($x)は、もし$xの型がxs:decimalで、値が4.99である場合には動的エラーを発生します。この値はzero fractional digitsでは表現することができないためです。

castに加えて、XPathはtreatと呼ばれる型チェック式を提供しています。これは、式とシーケンス型の2つの被演算子を取ります。しかし、castと異なり、treatはその被演算子の型や値を変えることはありません。その代わり、treatの目的は実行時に式が予期している型であるかを確認することを目的としています。

treat as type1 (expr2)のセマンティックは以下の通りです。

• 静的分析の間（もし静的タイピング・フィーチャーが実装されていれば）

  type1 は[XQuery 1.0 Formal Semantics]のサブタイプの定義を使用して、expr2の静的型のサブタイプでなくてはなりません。そうでない場合、静的型エラーが発生します。treat式の静的型はtype1です。これにより、type1のパラメータを必要とする関数の引数として式を使用することができます。

• 式の評価の間（実行時）

  2.4.2 シーケンス型のシーケンス型マッチングの規則を使用して、もしexpr2がtype1に一致すれば、treat式はexpr2の値を返します。そうでない場合、動的エラーが発生します。もし、expr2の値が返る場合、その識別子は保存されます。treat式は式の被演算子の値は実行時の予期している方に位置することを確認しています。

• 例:

  treat as element of type USAddress ($myaddress)

  $myaddressの静的型はelement of type Addressで、element of type USAddressよりも特定されていない型です。しかし、実行時に$myaddressの値は、シーケンス型マッチングの規則を使用して、element of type USAddressに一致しなくてはなりません。そうでない場合、動的エラーが発生します。