函数

通过 (在允许的上下文中) 引用其限定或非限定函数名，后跟括在括号内的自变量列表来调用函数。 函数名的可能限定符为:

• 模式名称
• 未限定的模块名称
• 模式限定的模块名称

调用函数时使用的限定符确定用于搜索匹配函数的作用域。

• 如果使用模式限定的模块名称作为限定符，那么作用域为指定的模块。
• 如果使用单个标识作为限定符，那么作用域包括:
  • 与限定符匹配的模式
  • 下列其中一个模块:
    • 调用模块 (如果调用模块名称与限定符匹配)
    • SQL 路径中与限定符匹配的模式中的第一个模块
• 如果未使用限定符，那么作用域将包含 SQL 路径中的模式，如果从模块对象中调用函数，那么将包含从中调用函数的同一模块。

对于静态 SQL 语句，使用 FUNCPATH 绑定选项指定 SQL 路径。 对于动态 SQL 语句， SQL 路径是 CURRENT PATH 专用寄存器的值。

数据库管理器首先根据以下信息确定候选函数集:

• 所调用函数的名称的限定
• 调用函数的上下文
• 调用的函数的非限定名
• 指定的自变量数
• 指定的任何参数名称
• 模式函数的授权。

请参阅 确定候选函数集 以获取详细信息。

选择函数后，仍可能由于下列其中一个原因而返回错误:

• 如果选择了模块函数，并且从模块外部调用了该函数，或者从模块对象中调用了该函数，并且限定符与上下文模块名称不匹配，那么调用该函数的语句的授权标识必须对包含所选函数的模块具有 EXECUTE 特权 (SQLSTATE 42501)。
• 如果选择了某个函数，那么其成功使用取决于在允许返回结果的上下文中调用该函数。 例如，如果函数返回不允许表的表，那么将返回错误 (SQLSTATE 42887)。
• 如果选择了强制类型转换函数 (内置函数或用户定义函数) ，并且需要将任何自变量隐式强制类型转换 (未提升) 到参数的数据类型，那么将返回错误 (SQLSTATE 42884)。
• 如果函数调用涉及具有未命名行类型的自变量，那么如果发生以下任一情况，将返回错误 (SQLSTATE 42884):
  • 参数的字段数与参数的字段数不匹配。
  • 参数字段的数据类型不可分配给参数字段的相应数据类型。

• 让 A 是函数调用中的自变量数。
• 让 P 是函数特征符中的参数数目。
• 让 N 是未定义缺省值的函数特征符中的参数数。

根据以下条件选择用于解析函数调用的候选函数:

• 每个候选函数都具有匹配的名称和适用的参数数。 适用的参数数量满足条件 N ≤ A ≤ P。
• 每个候选函数都有参数，因此对于函数调用中的每个指定参数，都存在一个具有匹配名称的参数，该参数尚未对应于位置 (未命名) 参数。
• 在函数调用中没有相应参数 (由位置或名称指定) 的候选函数的每个参数都是使用缺省值定义的。
• 一组一个或多个模式中的每个候选函数都具有与调用该函数的语句的授权标识相关联的 EXECUTE 特权。
• 来自除上下文模块以外的模块的每个候选函数都是已发布的模块函数。

为候选函数集选择的函数来自以下一个或多个搜索空间。

1. 上下文模块，即包含调用函数的模块对象的模块
2. 一组一个或多个模式
3. 除上下文模块以外的模块

所考虑的特定搜索空间受所调用函数的名称限定影响。

以下步骤用于确定最适合的函数:

Step 1: Considering arguments that are typed expressions

数据库管理器通过将每个参数的数据类型与相应参数的数据类型进行比较，确定满足调用最佳拟合要求的函数或函数集。

确定参数的数据类型是否与其相应参数的数据类型相同时:

• 数据类型的同义词匹配。 例如， FLOAT 和 DOUBLE 被视为相同。
• 将忽略数据类型的属性，例如长度，精度，小数位和代码页。 因此， CHAR (8) 和 CHAR (35) 被视为与 DECIMAL (11， $TAG2) 和 DECIMAL (4, 3) 相同。

通过仅考虑那些不是非类型表达式的函数调用的每个自变量的数据类型与函数实例的相应参数的数据类型匹配或可提升的函数来获取候选函数的子集。 如果函数调用的自变量是无类型表达式，那么相应参数的数据类型可以是任何数据类型。 数据类型提升 中数据类型提升的优先顺序列表以最佳到最差的顺序显示适合 (考虑提升) 每种数据类型的数据类型。 如果此子集不为空，那么将使用此候选函数子集上的 可提升流程 来确定最佳拟合度。 如果此子集为空，那么将使用原始候选函数集上的 可级联过程 来确定最佳拟合度。

可提升过程

此过程仅在考虑函数调用中的自变量是匹配还是可以提升到函数定义的相应参数的数据类型时确定最佳拟合度。 对于候选函数的子集，从左到右处理参数列表，在移动到第二位置的参数集合之前，从候选函数的子集处理第一位置的参数集合，依此类推。 以下步骤用于从候选函数子集中除去候选函数 (仅考虑提升):

1. 如果一个候选函数有一个参数，其中相应自变量的数据类型与参数的数据类型拟合 (仅考虑提升) 优于其他候选函数的数据类型，那么将消除那些与函数调用不匹配的候选函数。 数据类型提升 中数据类型提升的优先顺序列表以最佳到最差的顺序显示适合 (考虑提升) 每种数据类型的数据类型。
2. 如果相应自变量的数据类型是无类型表达式，那么不会消除任何候选函数。
3. 对于其余候选函数中的下一组参数，将重复这些步骤，直到没有更多参数集为止。

可强制转型的流程

对于每个参数，如果函数调用中相应参数的数据类型匹配，或者可以提升到函数定义的参数的数据类型，那么此过程首先确定最佳拟合度。 然后，对于没有相应参数的每个参数集都具有可提升的数据类型，如果可以隐式地将相应参数的数据类型强制转换为该参数的数据类型，那么对于每个参数，数据库管理器将考虑该参数的数据类型。

对于候选函数集合，从左到右处理参数列表中的参数，在移动到第二位置中的参数集合之前，从所有候选函数处理第一位置中的参数集合，以此类推。 以下步骤用于从候选函数集中除去候选函数 (仅考虑提升):

1. 如果一个候选函数有一个参数，其中相应自变量的数据类型与参数的数据类型拟合 (仅考虑提升) 优于其他候选函数的数据类型，那么将消除那些与函数调用不匹配的候选函数。 数据类型提升 中数据类型提升的优先顺序列表以最佳到最差的顺序显示适合 (考虑提升) 每种数据类型的数据类型。
2. 如果对应自变量的数据类型不可与任何候选函数的参数的数据类型提升 (包括当对应自变量为非类型表达式时的情况) ，那么不会消除任何候选函数。
3. 对于其余候选函数中的下一组参数，将重复这些步骤，直到没有更多参数集为止。

如果至少一组参数没有适合的相应参数 (仅考虑提升) ，并且该参数集的相应参数具有数据类型，那么数据库管理器会将每个此类参数集从左到右进行比较。 以下步骤用于从候选函数集合中消除候选函数 (考虑隐式强制类型转换)。

1. 如果所有其余候选函数的参数集的所有数据类型都不属于同一数据类型优先顺序列表 (如 数据类型提升中所指定) ，那么将返回错误 (SQLSTATE 428F5)。
2. 如果无法将相应参数的数据类型隐式强制类型转换为参数的数据类型 (如用于函数解析的隐式强制类型转换中所指定) ，那么将返回错误 (SQLSTATE 42884)。
3. 如果一个候选函数有一个参数，其中相应参数的数据类型拟合 (考虑隐式强制类型转换) 参数的数据类型优于其他候选函数，那么将消除那些与函数调用不匹配的候选函数。 用于函数解析的隐式强制类型转换 中的数据类型列表显示了更适合 (考虑隐式强制类型转换) 的数据类型。
4. 对于下一组参数重复这些步骤，这些参数没有适合的相应参数 (仅考虑提升) ，并且该参数集的相应参数具有数据类型，直到没有更多此类参数集或发生错误为止。

Step 2: Considering SQL path

如果保留了多个候选函数，并且存在仍包含候选函数的上下文模块，那么数据库管理器将选择这些函数。 如果上下文模块中没有上下文模块或没有候选函数，那么数据库管理器将选择其模式在 SQL 路径中最早的那些候选函数。

Step 3: Considering number of arguments in the function invocation

如果存在多个候选函数，并且如果一个候选函数的参数数量小于或等于其他候选函数的参数数量，那么将消除那些参数数量较多的候选函数。

Step 4: Considering arguments that are untyped expressions

如果保留了多个候选函数，并且至少一组参数具有作为非类型表达式的相应自变量，那么数据库管理器将从左到右对每个此类参数集进行比较。 以下步骤用于从候选函数集合中消除候选函数:

1.     如果所有其余候选函数的参数集的所有数据类型都不属于同一数据类型优先顺序列表 (如 数据类型提升中所指定) ，那么将返回错误 (SQLSTATE 428F5)。
2. 如果与其他候选函数相比，一个候选函数的参数的数据类型进一步保留在隐式强制类型转换的数据类型排序中，那么将消除数据类型排序中参数的数据类型更靠右的那些候选函数。 "隐式强制类型转换用于函数解析" 中的数据类型列表显示隐式强制类型转换的数据类型排序。

如果仍有多个候选函数，那么将返回错误 (SQLSTATE 428F5)。

例如，如果用户的 SQL 路径定义为:

"SHAREFUN","SYSIBM","SYSFUN"

and there is a LENGTH function defined in schema SHAREFUN with the same number and types of arguments as SYSIBM.LENGTH, then an unqualified reference to LENGTH in this user's SQL statement will result in selecting SHAREFUN.LENGTH. 但是，如果用户的 SQL 路径定义为:

"SHAREFUN","SYSFUN"

并且存在相同的 SHAREFUN.LENGTH 函数，那么在此用户的 SQL 语句中对 LENGTH 的未限定引用将导致选择 SYSIBM.LENGTH，因为 SYSIBM 隐式地出现在路径中的第一个。

要尽量减少此区域中的潜在问题，请执行以下操作:

• 切勿将内置函数的名称用于用户定义的函数。
• 如果由于某种原因需要创建与内置函数同名的用户定义函数，请确保限定对其的任何引用。

以下是函数解析的示例。 (请注意，未显示所有必需的关键字。)

• 这是说明函数解析中的 SQL 路径注意事项的示例。 对于此示例，在三个不同的模式中，有八个 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"

  通过算法进行跟踪 ...

  • 将除去具有特定名称 ACT_8 的函数作为候选函数，因为 SQL 路径中不包含模式 NERO。
  • 具有特定名称 ACT_3 的函数将作为候选项消除，因为它具有错误数量的参数。 将消除 ACT_1 和 ACT_6 ，因为在这两种情况下，无法将第一个自变量提升到第一个参数的数据类型。
  • 由于剩余多个候选项，因此将按顺序考虑这些自变量。
  • 对于第一个自变量，其余函数 ACT_2， ACT_4， ACT_5和 ACT_7 与自变量类型完全匹配。 不能从考虑中消除任何函数; 因此必须检查下一个自变量。
  • 对于此第二个自变量， ACT_2， ACT_5和 ACT_7 是完全匹配项，但 ACT_4 不是完全匹配项，因此会将其排除在考虑之外。 将检查下一个自变量以确定 ACT_2， ACT_5和 ACT_7之间的某些差别。
  • 对于第三个和最后一个自变量， ACT_2， ACT_5和 ACT_7 都不与自变量类型完全匹配。 虽然 ACT_2 和 ACT_5 同样良好，但 ACT_7 不如其他两个，因为类型 DOUBLE 比 DECFLOAT 更接近 DECIMAL。 ACT_7 已消除。。
  • 还有两个函数 ( ACT_2 和 ACT_5) 具有相同的参数特征符。 最后一个仲裁是查看 SQL 路径中最先出现的函数的模式，在此基础上，选择的函数是 ACT_5 。
• 这是函数解析将导致错误的情况示例 (SQLSTATE 428F5) ，因为多个候选函数与调用的拟合程度相同，但其中一个自变量的相应参数不属于同一类型优先顺序列表。
  对于此示例，单个模式中只有三个函数定义如下:

  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"

  通过算法进行跟踪 ...

  • 将对每个候选函数进行求值，以确定函数调用的每个输入自变量的数据类型是否与函数实例的相应参数的数据类型匹配或可提升:
    • 对于第一个自变量，所有候选函数都与参数类型完全匹配。
    • 对于第二个自变量，将消除 ACT_1 ，因为 INTEGER 不可提升为 VARCHAR。
    • 对于第三个自变量，将同时消除 ACT_2 和 ACT_3 ，因为 VARCHAR 不可提升为 DATE 或 DOUBLE ，因此不会保留任何候选函数。
  • 由于候选函数的子集为空，因此将使用可级联过程来考虑候选函数:
    • 对于第一个自变量，所有候选函数都与参数类型完全匹配。
    • 对于第二个自变量，将消除 ACT_1 ，因为 INTEGER 不可提升为 VARCHAR。 ACT_2 和 ACT_3 是更好的候选者。
    • 对于第三个自变量， ACT_2 和 ACT_3 的相应参数的数据类型不属于同一数据类型优先顺序列表，因此将返回错误 (SQLSTATE 428F5)。
• 此示例说明了函数解析将使用可强制转换进程成功的情况。 对于此示例，单个模式中只有三个函数定义如下:

  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"

  通过算法进行跟踪 ...

  • 将对每个候选函数进行求值，以确定函数调用的每个输入自变量的数据类型是否与函数实例的相应参数的数据类型匹配或可提升:
    • 对于第一个自变量，所有候选函数都与参数类型完全匹配。
    • 对于第二个自变量，将消除 ACT_1 ，因为 INTEGER 不可提升为 VARCHAR。
    • 对于第三个自变量，将同时消除 ACT_2 和 ACT_3 ，因为 VARCHAR 不可提升为 DECFLOAT 或 DOUBLE ，因此不会保留任何候选函数。
  • 由于候选函数的子集为空，因此将使用可级联过程来考虑候选函数:
    • 对于第一个自变量，所有候选函数都与参数类型完全匹配。
    • 对于第二个自变量，将消除 ACT_1 ，因为 INTEGER 不可提升为 VARCHAR。 ACT_2 和 ACT_3 是更好的候选者。
    • 对于第三个自变量， DECFLOAT 和 DOUBLE 都位于相同的数据类型优先顺序列表中， VARCHAR 可以隐式强制转换为 DECFLOAT 和 DOUBLE。 由于 DECFLOAT 是用于隐式强制类型转换的更好拟合，因此 ACT_2 是最佳拟合
• 此示例说明在使用可级联过程的函数解析期间，提升后面的自变量优先于隐式强制类型转换。 对于此示例，单个模式中只有三个函数定义如下:

  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"

  通过算法执行以下操作:

  • 将对每个候选函数进行求值，以确定函数调用的每个输入自变量的数据类型是否与函数实例的相应参数的数据类型匹配或可提升:
    • 对于第一个自变量，所有候选函数都与参数类型完全匹配。
    • 对于第二个自变量，将消除所有候选函数，因为 VARCHAR 不可提升为 INTEGER ，因此不会保留任何候选函数。
  • 由于候选函数的子集为空，因此将使用可级联过程来考虑候选函数
    • 对于第一个自变量，所有候选函数都与参数类型完全匹配。
    • 对于第二个自变量，没有任何一个候选函数具有可将相应自变量提升到的参数，因此不会消除任何候选函数。
    • 由于可以将第三个参数提升到 ACT_1的参数，但不能提升到 ACT_2 或 ACT_3的参数，因此 ACT_1 是最合适的。