関数

• スキーマ名
• 非修飾モジュール名
• スキーマによって修飾されたモジュール名

• スキーマ修飾されたモジュール名が修飾子として使用される場合、有効範囲は指定のモジュールになります。
• 単一の ID が修飾子として使用される場合、有効範囲には以下が含まれます。
  • 修飾子と一致するスキーマ。
  • 以下のモジュールの 1 つ。
    • 呼び出しモジュール (呼び出しモジュールの名前が修飾子と一致する場合)。
    • 修飾子と一致する SQL パス内のスキーマにある最初のモジュール。
• 有効範囲は、修飾子が使用されない場合には SQL パス内のスキーマとなり、関数がモジュール・オブジェクトの内部から呼び出される場合には関数の呼び出し元の同じモジュールになります。

• 呼び出される関数の名前の修飾
• 関数を呼び出しているコンテキスト
• 呼び出される関数の非修飾名
• 指定された引数の数
• 指定された引数の名前
• スキーマ関数の許可

• モジュール関数が選択され、その関数がモジュール外から呼び出される場合、または関数がモジュール・オブジェクト内部から呼び出され、修飾子がコンテキスト・モジュール名と一致しない場合、関数を呼び出したステートメントの許可 ID は、選択された関数が含まれるモジュールにおける EXECUTE 特権がなければなりません (SQLSTATE 42501)。
• 関数が選択された場合、正常に使用されるかどうかは、その関数が、戻される結果が許可されるコンテキストにおいて呼び出されるかどうかによって決まります。 例えば、関数が表を戻したものの、そこでは表が許可されていない場合、エラーが戻されます (SQLSTATE 42887)。
• 組み込みであれユーザー定義であれ cast 関数が選択されたとき、いずれかの引数をパラメーターのより小さなデータ・タイプに暗黙的にキャスト (プロモートでなく) する必要がある場合は、エラーが戻されます (SQLSTATE 42884)。
• 関数呼び出しに名前のない行タイプを持つ引数が関係する場合、以下のいずれかの条件が発生すると、エラーが戻されます (SQLSTATE 42884)。
  • 引数のフィールド数がパラメーターのフィールド数と一致しない。
  • 引数のフィールドのデータ・タイプを、パラメーターのフィールドの対応するデータ・タイプに割り当てることができない。

• 関数呼び出しの引数の数を A とします。
• 関数シグニチャー中のパラメーターの数を P とします。
• 関数シグニチャーでデフォルトが定義されていないパラメーターの数を N とします。

• 各候補関数は、一致する名前と適用可能なパラメーター数を持つ。 適用可能なパラメーター数とは、N ≤ A ≤ P という条件を満たすパラメーター数のことです。
• 各候補関数には、関数呼び出しに含まれる名前付き引数ごとに、名前は一致するが定位置 (名前なし) 引数にはまだ合致していないパラメーターが存在する。
• 候補関数のパラメーターのうち、対応引数が関数呼び出しで位置でも名前でも指定されていない各パラメーターは、デフォルトを使用して定義される。
• 1 つ以上のスキーマの集合に含まれる各候補関数は、関数を呼び出しているステートメントの許可 ID に関連付けられた EXECUTE 特権を持つ。
• コンテキスト・モジュール以外のモジュールに含まれる各候補関数は、パブリッシュ済みモジュール関数である。

1. コンテキスト・モジュール。これは、関数を呼び出したモジュール・オブジェクトが含まれるモジュールです。
2. 1 つ以上のスキーマの集合
3. コンテキスト・モジュール以外のモジュール

ステップ 1: 型付き式である引数の考慮

データベース・マネージャーは、各パラメーターのデータ・タイプと対応引数のデータ・タイプを比較することによって、呼び出しの最適要件を満たす関数、また関数のセットを判別します。

パラメーターのデータ・タイプがその対応引数のデータ・タイプと同じかどうかは、以下のように判別されます。

• データ・タイプの同義語が一致します。 例えば、FLOAT と DOUBLE は同じであると見なされます。
• 長さ、精度、スケール、およびコード・ページなどのデータ・タイプの属性は無視されます。 したがって、CHAR(8) と CHAR(35)、また DECIMAL(11,2) と DECIMAL(4,3) はそれぞれ同じタイプと見なされます。

関数呼び出しにおける型なし式でない各引数のデータ・タイプが、関数インスタンスの対応パラメーターのデータ・タイプと一致する関数か、またはそのデータ・タイプにプロモート可能である関数のみを考慮することにより、候補関数のサブセットが取得されます。 関数呼び出しの引数が型なし式である場合、対応パラメーターのデータ・タイプは、どのデータ・タイプでも構いません。 「データ・タイプのプロモーション」 にあるデータ・タイプのプロモーションの優先順位リストには、各データ・タイプに適合する (プロモーションを考慮した) データ・タイプが、優先順位の高いものから順に表示されます。 このサブセットが空でない場合は、候補関数のこのサブセットに対する プロモート可能プロセス を使用して最適が決定されます。 このサブセットが空の場合、候補関数の元のセットに対する キャスト可能プロセス を使用して最適なものが決定されます。

プロモート可能なプロセス

このプロセスは、関数呼び出しの引数が、関数定義の対応するパラメーターのデータ・タイプと一致するか、またはそのデータ・タイプにプロモートできるかどうかを考慮した場合にのみ、最適を決定します。 候補関数のサブセットの場合、パラメーター・リストが左から右へと処理されていきます。つまり、候補関数のサブセットの最初の位置のパラメーター・セットをまず処理してから、2 番目の位置のパラメーター・セットに進むというように処理されます。 候補関数のサブセットから候補関数を除去するために、以下のステップが使用されます (プロモーションのみを考慮)。

1. ある候補関数のパラメーターの対応引数のデータ・タイプが、(プロモーションのみを考慮した場合に) 他の候補関数よりもパラメーターのデータ・タイプに適合する場合、関数呼び出しに対する適合度が同等でない候補関数は除去されます。 「データ・タイプのプロモーション」 にあるデータ・タイプのプロモーションの優先順位リストには、各データ・タイプに適合する (プロモーションを考慮した) データ・タイプが、優先順位の高いものから順に表示されます。
2. 対応引数のデータ・タイプが型なし式である場合、候補関数は除去されません。
3. これらのステップは、残りの候補関数の次のパラメーター・セットに対しても行われ、パラメーター・セットがそれ以上なくなるまで繰り返されます。

キャスト可能なプロセス

このプロセスではまず、関数呼び出しにおける対応引数のデータ・タイプが、関数定義のパラメーターのデータ・タイプに一致するかどうか、またはそのデータ・タイプにプロモートできるかどうかをパラメーターごとに調べて、最適が判別されます。 次にデータベース・マネージャーは、プロモート可能だったデータ・タイプを持つ対応引数がない各パラメーター・セットについて、関数解決のために対応引数のデータ・タイプをパラメーターのデータ・タイプに暗黙的にキャストできるかどうかを、パラメーターごとに調べます。

候補関数のセットの場合、パラメーター・リストに含まれるパラメーターが左から右へと処理されていきます。つまり、すべての候補関数の最初の位置のパラメーター・セットをまず処理してから、2 番目の位置のパラメーター・セットに進むというように処理されます。 候補関数のセットから候補関数を除去するために、以下のステップが使用されます (プロモーションのみを考慮)。

1. ある候補関数のパラメーターの対応引数のデータ・タイプが、(プロモーションのみを考慮した場合に) 他の候補関数よりもパラメーターのデータ・タイプに適合する場合、関数呼び出しに対する適合度が同等でない候補関数は除去されます。 「データ・タイプのプロモーション」 にあるデータ・タイプのプロモーションの優先順位リストには、各データ・タイプに適合する (プロモーションを考慮した) データ・タイプが、優先順位の高いものから順に表示されます。
2. 対応引数のデータ・タイプをいずれの候補関数のパラメーターのデータ・タイプにもプロモートできない場合 (対応引数が型なし式である場合を含む)、候補関数は除去されません。
3. これらのステップは、残りの候補関数の次のパラメーター・セットに対しても行われ、パラメーター・セットがそれ以上なくなるまで繰り返されます。

(プロモーションのみを考慮した場合に) 適合する対応引数が少なくとも 1 つのパラメーター・セットになく、パラメーター・セットの対応引数がデータ・タイプを持つ場合、データベース・マネージャーは、こうしたパラメーター・セットを 1 つずつ左から右へと比較していきます。 候補関数のセットから候補関数を除去するために、以下のステップが使用されます (暗黙的キャストを考慮)。

1. 残りのすべての候補関数のパラメーター・セットのすべてのデータ・タイプが、 データ・タイプのプロモーションで指定されている同じデータ・タイプ優先順位リストに属していない場合、エラーが戻されます (SQLSTATE 428F5)。
2. 対応引数のデータ・タイプを、『関数解決のための暗黙的キャスト』で指定されているパラメーターのデータ・タイプに暗黙的にキャストできない場合は、エラーが戻されます (SQLSTATE 42884)。
3. ある候補関数のパラメーターの対応引数のデータ・タイプが、(暗黙的キャストを考慮した場合に) 他の候補関数よりもパラメーターのデータ・タイプに適合する場合、関数呼び出しに対する適合度が同等でない候補関数は除去されます。 関数解決のための暗黙的キャスト のデータ・タイプ・リストは、(暗黙的キャストを考慮して) 適合するデータ・タイプを示しています。
4. これらのステップは、(プロモーションのみを考慮した場合に) 適合する対応引数がなく、対応引数がデータ・タイプを持つ次のパラメーター・セットに対しても行われ、こうしたパラメーター・セットがなくなるかエラーが発生するまで繰り返されます。

ステップ 2: SQL パスの考慮

複数の候補関数が残っており、候補関数をまだ含んでいるコンテキスト・モジュールが存在する場合、データベース・マネージャーはそれらの関数を選択します。 コンテキスト・モジュールが存在しない場合、またはコンテキスト・モジュールに候補関数が残っていない場合、データベース・マネージャーは、SQL パスの最初にスキーマがある候補関数を選択します。

ステップ 3: 関数呼び出しにおける引数の数の考慮

複数の候補関数が残っており、ある候補関数のパラメーター数が他の候補関数のパラメーター数以下である場合、パラメーター数の多い候補関数は除去されます。

ステップ 4: 型なし式である引数の考慮

複数の候補関数が残っており、少なくとも 1 つのパラメーター・セットの対応引数が型なし式である場合、データベース・マネージャーは、こうしたパラメーター・セットを左から右へと比較していきます。 候補関数のセットから候補関数を除去するために、以下のステップが使用されます。

1.     残りのすべての候補関数のパラメーター・セットのすべてのデータ・タイプが、 データ・タイプのプロモーションで指定されている同じデータ・タイプ優先順位リストに属していない場合、エラーが戻されます (SQLSTATE 428F5)。
2. ある候補関数のパラメーターのデータ・タイプが、暗黙的キャストのデータ・タイプ順序付けで他の候補関数よりも左にある場合、パラメーターのデータ・タイプがデータ・タイプ順序付けで右にある候補関数は除去されます。 『関数解決のための暗黙的キャスト』にあるデータ・タイプ・リストは、暗黙的キャストのデータ・タイプ順序付けを示しています。

複数の候補関数がまだ存在する場合は、エラーが戻されます (SQLSTATE 428F5)。

"SHAREFUN","SYSIBM","SYSFUN"

"SHAREFUN","SYSFUN"

• ユーザー定義関数には組み込み関数の名前を決して使用しないようにします。
• 何らかの理由で組み込み関数と同じ名前のユーザー定義関数を作成する必要のある場合は、 そのような関数への参照には必ず修飾子を付けます。

• 以下に、関数解決での SQL パスの考慮事項を示す例があります。 この例では、3 つの異なるスキーマに 8 つの ACT 関数があり、以下のように登録されています。

  CREATE FUNCTION AUGUSTUS.ACT (CHAR(5), INT, DOUBLE) SPECIFIC ACT_1 ...
  CREATE FUNCTION AUGUSTUS.ACT (INT, INT, DOUBLE) SPECIFIC ACT_2 ...
  CREATE FUNCTION AUGUSTUS.ACT (INT, INT, DOUBLE, INT) SPECIFIC ACT_3 ...
  CREATE FUNCTION JULIUS.ACT (INT, DOUBLE, DOUBLE) SPECIFIC ACT_4 ...
  CREATE FUNCTION JULIUS.ACT (INT, INT, DOUBLE) SPECIFIC ACT_5 ...
  CREATE FUNCTION JULIUS.ACT (SMALLINT, INT, DOUBLE) SPECIFIC ACT_6 ...
  CREATE FUNCTION JULIUS.ACT (INT, INT, DECFLOAT) SPECIFIC ACT_7 ...
  CREATE FUNCTION NERO.ACT (INT, INT, DEC(7,2)) SPECIFIC ACT_8 ...

  以下のように関数が参照されるとします (I1 および I2 は INTEGER 列、 D は DECIMAL 列です)。

  SELECT ... ACT(I1, I2, D) ...

  この参照を行うアプリケーションの SQL パスが次のようになっているとします。

  "JULIUS","AUGUSTUS","CAESAR"

  アルゴリズムに従っていきます。

  • スキーマ NERO が SQL パスに組み込まれていないため、特定の名前 ACT_8 の付いた関数は候補から除かれます。
  • パラメーターの数が違っているため、ACT_3 は候補から除かれます。 第 1 引数が第 1 パラメーターのデータ・タイプにプロモートできないため、 ACT_1 と ACT_6 はどちらも候補から除かれます。
  • この時点で複数の候補が残っているため、次に引数が順に検討されます。
  • 最初の引数については、残りのすべての関数 ACT_2、ACT_4、ACT_5、および ACT_7 がその引数タイプと完全に一致します。 この検討ではどの関数も検討の対象から除かれないため、 次の引数を検討する必要があります。
  • 2 番目の引数では、ACT_2、ACT_5、および ACT_7 が完全に一致していますが、 ACT_4 は一致していないため、ACT_4 が検討の対象から除かれます。 ACT_2、ACT_5、および ACT_7 の間の何らかの差異を判別するために、さらに次の引数が検討されます。
  • 第 3 の最後の引数では、ACT_2、ACT_5、ACT_7 のいずれも、引数のタイプと完全には一致していません。 ACT_2 と ACT_5 の適合度は同程度ですが、ACT_7 は他の 2 つよりも適合度が劣ります。タイプ DOUBLE は DECFLOAT よりも、DECIMAL に近いからです。 ACT_7 は除去されます。
  • この時点で、 パラメーター・シグニチャーが同じである関数として ACT_2 と ACT_5 の 2 つが残っています。 最終的な決定要因は、どちらの関数のスキーマが SQL パスで先に出現するかであり、 この基準によって ACT_5 が最終的に選択されます。
• 以下に、関数解決の結果、エラー (SQLSTATE 428F5) が発生するという状況の例を示します。このエラーは、複数の候補関数が呼び出しに等しく適合するが、引数のいずれかの対応するパラメーターが同じタイプ優先順位リストに属していないために発生します。
  この例では、以下のように定義された単一のスキーマに 3 つの関数のみ含まれています。

  CREATE FUNCTION CAESAR.ACT (INT, VARCHAR(5), VARCHAR(5))SPECIFIC ACT_1 ...
  CREATE FUNCTION CAESAR.ACT (INT, INT, DATE)     SPECIFIC ACT_2 ...
  CREATE FUNCTION CAESAR.ACT (INT, INT, DOUBLE)   SPECIFIC ACT_3 ...
  

  以下のように関数が参照されるとします (I1 および I2 は INTEGER 列、VC は VARCHAR 列です)。

  SELECT ... ACT(I1, I2, VC) ...

  この参照を行うアプリケーションの SQL パスが次のようになっているとします。

  "CAESAR"

  アルゴリズムに従っていきます。

  • 関数呼び出しの各入力引数のデータ・タイプが、関数インスタンスの対応するパラメーターのデータ・タイプと一致するか、またはそのデータ・タイプにプロモート可能かどうかを判別するために、それぞれの候補関数が評価されます。
    • 最初の引数については、候補となるすべての関数にこのパラメーター・タイプと 完全に一致するデータ・タイプが含まれます。
    • 2 番目の引数については、INTEGER を VARCHAR にプロモートできないため、ACT_1 は除去されます。
    • 3 番目の引数については、VARCHAR を DATE または DOUBLE にプロモートできないため、候補関数が残らないように、ACT_2 と ACT_3 の両方が除去されます。
  • 候補関数のサブセットが空のため、候補関数はキャスト可能なプロセスを使用して考慮されます。
    • 最初の引数については、候補となるすべての関数にこのパラメーター・タイプと 完全に一致するデータ・タイプが含まれます。
    • 2 番目の引数については、INTEGER を VARCHAR にプロモートできないため、ACT_1 は除去されます。 ACT_2 と ACT_3 が候補として適しています。
    • 3 番目の引数については、ACT_2 および ACT_3 の対応するパラメーターのデータ・タイプが同じデータ・タイプの優先順位リストに属していないため、エラーが戻されます (SQLSTATE 428F5)。
• この例では、キャスト可能なプロセスを使用して関数解決が成功する状況を示しています。 この例では、以下のように定義された単一のスキーマに 3 つの関数のみ含まれています。

  CREATE FUNCTION CAESAR.ACT (INT, VARCHAR(5), VARCHAR(5))SPECIFIC ACT_1 ...
  CREATE FUNCTION CAESAR.ACT (INT, INT, DECFLOAT)     SPECIFIC ACT_2 ...
  CREATE FUNCTION CAESAR.ACT (INT, INT, DOUBLE)   SPECIFIC ACT_3 ...
  

  以下のように関数が参照されるとします (I1 および I2 は INTEGER 列、VC は VARCHAR 列です)。

  SELECT ... ACT(I1, I2, VC) ...

  この参照を行うアプリケーションの SQL パスが次のようになっているとします。

  "CAESAR"

  アルゴリズムに従っていきます。

  • 関数呼び出しの各入力引数のデータ・タイプが、関数インスタンスの対応するパラメーターのデータ・タイプと一致するか、またはそのデータ・タイプにプロモート可能かどうかを判別するために、それぞれの候補関数が評価されます。
    • 最初の引数については、候補となるすべての関数にこのパラメーター・タイプと 完全に一致するデータ・タイプが含まれます。
    • 2 番目の引数については、INTEGER を VARCHAR にプロモートできないため、ACT_1 は除去されます。
    • 3 番目の引数については、VARCHAR を DECFLOAT または DOUBLE にプロモートできないため、候補関数が残らないように、ACT_2 と ACT_3 の両方が除去されます。
  • 候補関数のサブセットが空のため、候補関数はキャスト可能なプロセスを使用して考慮されます。
    • 最初の引数については、候補となるすべての関数にこのパラメーター・タイプと 完全に一致するデータ・タイプが含まれます。
    • 2 番目の引数については、INTEGER を VARCHAR にプロモートできないため、ACT_1 は除去されます。 ACT_2 と ACT_3 が候補として適しています。
    • 3 番目の引数については、DECFLOAT と DOUBLE の両方が同じデータ・タイプの優先順位リストにあり、VARCHAR は DECFLOAT と DOUBLE の両方を暗黙のうちにキャストできます。 DECFLOAT は暗黙的キャストに適しているため、 ACT_2 が最適です。
• この例では、キャスト可能なプロセスを使用した関数解決時に、後の引数のプロモーションが暗黙的キャストより優先することを示しています。 この例では、以下のように定義された単一のスキーマに 3 つの関数のみ含まれています。

  CREATE FUNCTION CAESAR.ACT (INT, INT, VARCHAR(5))SPECIFIC ACT_1 ...
  CREATE FUNCTION CAESAR.ACT (INT, INT, DECFLOAT) SPECIFIC ACT_2 ...
  CREATE FUNCTION CAESAR.ACT (INT, INT, DOUBLE)  SPECIFIC ACT_3 ...
  

  以下のように関数が参照されるとします (I1 は INTEGER 列、VC1 は VARCHAR 列、および C1 は CHAR 列です)。

  SELECT ... ACT(I1, VC1, C1) ...

  この参照を行うアプリケーションの SQL パスが次のようになっているとします。

  "CAESAR"

  アルゴリズムに従っていきます。

  • 関数呼び出しの各入力引数のデータ・タイプが、関数インスタンスの対応するパラメーターのデータ・タイプと一致するか、またはそのデータ・タイプにプロモート可能かどうかを判別するために、それぞれの候補関数が評価されます。
    • 最初の引数については、候補となるすべての関数にこのパラメーター・タイプと 完全に一致するデータ・タイプが含まれます。
    • 2 番目の引数については、VARCHAR を INTEGER にプロモートできないため、候補関数が残らないように、すべての候補関数が除去されます。
  • 候補関数のサブセットが空のため、候補関数はキャスト可能なプロセスを使用して考慮されます。
    • 最初の引数については、候補となるすべての関数にこのパラメーター・タイプと 完全に一致するデータ・タイプが含まれます。
    • 2 番目の引数については、候補関数のどれにも対応する引数をプロモートできるパラメーターがないため、候補関数は除去されません。
    • 3 番目の引数は ACT_1 のパラメーターにプロモートできますが、ACT_2 または ACT_3 のパラメーターにはプロモートできないため、ACT_1 が最適です。