Function Reference (Chinese (Traditional))

邏輯連接器

(English)

語法 描述
如果
可在結論行結尾(具有下列證明)顯示的選擇性詞彙

兩個 attributes 之間的邏輯連接詞

兩個 attributes 之間的邏輯反意連接詞
二者之一
其中之一
任何
以下至少一項為真
符合以下任何一項
使用反意連接詞的群組要素,其中兩個或更多的 attributes 需要加以群組
二者皆是
所有皆是
以下所有項目皆真
已符合以下所有項目
使用連接詞的群組要素,其中兩個或更多的 attributes 需要加以群組
否則
在表格規則結尾顯示的詞彙,表示「否則」子句

圖例項目中使用的詞彙,介於縮短的片語與完整 attribute text 之間

邏輯函數

(English)

語法 描述
非真 <expr>
如果 attribute 的值為 false,用來傳回 true 的運算子
<var> 確定
已確定是否 <expr>
如果 attribute 的值不是 uncertain,用來傳回 true 的運算子
<var> 不確定
不確定 <expr>
不確定是否 <expr>
不確定 <expr>
不確定
如果 attribute 值為 uncertain,用來傳回 true 的運算子
<var> 已知
已知是否 <expr>
如果 attribute 有任何值,用來傳回 true 的運算子
<var> 不明
不知道是否 <expr>
不知道
如果 attribute 沒有值,用來傳回 true 的運算子

邏輯常數

(English)

語法 描述

用於表格規則的常數 true 值。

用於表格規則的常數 false 值。
不確定
用於表格規則的常數 uncertain 值。

比較運算子

(English)

語法 描述
<x><<y>
小於

備註:此運算子與數值及幣別值一起使用時,則不具有自然語言形式。
<x> > <y>
大於

備註:此運算子與數值及幣別值一起使用時,則不具有自然語言形式。
<x><=<y>
小於或等於
<x> >= <y>
大於或等於
<x>=<y>
等於
<x> <> <y>
不等於

數值函數

(English)

語法 描述
數字(<numText>)
將指定的字串轉換成數值
<x> + <y>
數學加法
<x> - <y>
數學減法
<x> * <y>
數學乘法
<x> / <y>
數學除法
<x> \ <y>
整數除法
<x> modulo <y>
整數除法之後餘數
最大(<x>, <y>)
最大(<date/time/datetime1>, <date/time/datetime2>)
傳回兩個數值的較大值
最小(<x>, <y>)
最小(<date/time/datetime1>, <date/time/datetime2>)
傳回兩個數值的較小值
X 的 Y 次方(<x>, <y>)
x 至 y 的次方
指數(<x>)
常數 e 對 x 的次方
絕對值(<x>)
|<val>|
x 的絕對值
自然對數(<x>)
x 的自然對數
對數(<x>)
x 的對數底 10
平方根(<x>)
x 的平方根
四捨五入(<x>, <n>)
將 x 四捨五入至 n 個小數位
截取值(<x>, <n>)
將 x 縮短至 n 個小數位
正弦(<x>)
x 的正弦
餘弦(<x>)
x 的餘弦
正切(<x>)
x 的正切
反正弦(<x>)
x 的反正弦
反餘弦(<x>)
x 的反餘弦
反正切(<x>)
x 的反正切

日期函數

(English)

語法 描述
目前日期()
在階段作業開始傳回目前的 date
日期(<text>)
將指定的字串轉換成 date
建立日期(<year>, <month>, <day>)
傳回從指定年度、月份及該日所構成的 date
擷取日(<date/datetime>)
傳回 date/datetime attribute 的日元件。
擷取月(<date/datetime>)
傳回 date/datetime attribute 的月份元件。
擷取年(<date/datetime>)
傳回 date/datetime attribute 的年份元件。
當週隔日(<date/datetime>, <day>)
傳回 date 當日或之前/之後下一個平日的 date(視使用的語法而定)。
隔日(<date>, <day>, <month>)
傳回 date 之後下一個指定日期與月份的實例。
新增日(<date/datetime>, <num_days>)
增加/減去 date 的天數。當使用簡潔的語法形式時,數字必須為正整數才能將天數加到輸入值 date 中,或為負數才能從輸入值 date 中減去天數。
新增週(<date/datetime>, <num_weeks>)
將週數加到 date 中。當使用簡潔的語法形式時,數字必須為正整數才能將週數加到輸入值 date 中。
新增月(<date/datetime>, <num_months>)
將月份數加到 date 中。當使用簡潔的語法形式時,數字必須為正整數才能將月份數加到輸入值 date 中。
新增年(<date/datetime>, <num_years>)
將年數加到 date 中。當使用簡潔的語法形式時,數字必須為正整數才能將年數加到輸入值 date 中。
平日計次(<date1>, <date2>)
計算介於 date1 與 date2 之間的平日天數。亦即,介於星期一與星期五之間的天數。
備註:較早的 date 包含在內,而較晚的 date 則不含在內。
年初(<date/datetime>)
傳回一年中 date 所在的第一個 date
年終(<date/datetime>)
傳回一年中 date 所在的最後一個 date
日差異(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間的整日天數。兩個日期的順序不會影響結果。
日差異包含在內(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間的整日(含)天數。此計算法會包含兩個端點。當日期相同時,結果為 1。兩個日期的順序不會影響結果。
日差異排除在外(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間的整日(不含)天數。此計算法會排除兩個端點。當日期相同時,結果為 0。兩個日期的順序不會影響結果。
週差異(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間經過的整週數目。兩個日期的順序不會影響結果。
週差異包含在內(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間經過的整週數目(含)。兩個日期的順序不會影響結果。
週差異排除在外(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間經過的整週數目(不含)。兩個日期的順序不會影響結果。
月差異(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間經過的整月數目。兩個日期的順序不會影響結果。
月差異包含在內(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間經過的整月(含)數目。兩個日期的順序不會影響結果。
月差異排除在外(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間經過的整月(不含)數目。兩個日期的順序不會影響結果。
年差異(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間的年數。兩個日期的順序不會影響結果。
年差異包含在內(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間的年數(含)。兩個日期的順序不會影響結果。
年差異排除在外(<date/datetime1>, <date/datetime2>)
傳回介於 date/datetime1date/datetime2 之間的年數(不含)。兩個日期的順序不會影響結果。

當日時間函數

(English)

語法 描述
當日時間(<text>)
將指定字串轉換成一天的時間
擷取秒(<time/datetime>)
傳回 timeofday/datetime attribute 的秒鐘元件。
擷取分鐘(<time/datetime>)
傳回 timeofday/datetime attribute 的分鐘元件。
擷取小時(<time/datetime>)
傳回 timeofday/datetime attribute 的小時元件。

日期與時間函數

(English)

語法 描述
目前日期時間()
在階段作業開始傳回目前的 date 與時間。
日期時間(<text>)
將指定的字串轉換成 datetime
連結日期時間(<date>, <time>)
透過結合 date 與當日時間來設定 date 時間。
秒差異(<datetime1>, <datetime2>)
秒差異(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的秒數。
秒差異包含在內(<datetime1>, <datetime2>)
秒差異包含在內(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的秒數(含)。
秒差異排除在外(<datetime1>, <datetime2>)
秒差異排除在外(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的秒數(不含)。
分鐘差異(<datetime1>, <datetime2>)
分鐘差異(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的分鐘數。
分鐘差異包含在內(<datetime1>, <datetime2>)
分鐘差異包含在內(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的分鐘數(含)。
分鐘差異排除在外(<datetime1>, <datetime2>)
分鐘差異排除在外(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的分鐘數(不含)。
小時差異(<datetime1>, <datetime2>)
小時差異(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的小時數。
小時差異包含在內(<datetime1>, <datetime2>)
小時差異包含在內(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的小時數(含)。
小時差異排除在外(<datetime1>, <datetime2>)
小時差異排除在外(<timeOfDay1>, <timeOfDay2>)
傳回介於 datetime1datetime2 之間的小時數(不含)。
擷取日期(<datetime>)
datetime attribute 摘錄 date
擷取當日時間(<datetime>)
datetime attribute 摘錄當日時間。可用來將 timeofday attribute 的值設為規則執行的時間(透過從目前的 date 與時間摘錄時間資訊)。
新增小時(<datetime>, <num_hours>)
新增小時(<timeOfDay>, <num_hours>)
將小時數加到 date 時間中。
新增分鐘(<datetime>, <num_minutes>)
新增分鐘(<timeOfDay>, <num_minutes>)
將分鐘數加到 date 時間中。
新增秒(<datetime>, <num_seconds>)
新增秒(<timeOfDay>, <num_seconds>)
將秒數加到 date 時間中。

文字函數

(English)

語法 描述
<text1> & <text2>
text1text2 等各個值合併,以組成單一的 text 值。

備註: 您可以使用任何類型的變數。使用在規則階段作業中安裝的格式化程式,可進行值的格式化。
text1text2 等各個值合併,以組成單一的 text 值。

備註: 您可以使用任何類型的變數。使用在規則階段作業中安裝的格式化程式,可進行值的格式化。
包含(<text>, <substring>)
傳回表示指定 text 值是否包含指定 text 子字串的布林值。text 比較區分大小寫。
結尾為(<text>, <substring>)
傳回表示指定 text 值是否以指定 text 子字串結束的布林值。text 比較區分大小寫。
是數字(<text>)
傳回表示指定 text 值是否代表有效數字的布林值。
長度(<text>)
傳回指定 text 值的字元長度。
開頭為(<text>, <substring>)
傳回表示指定 text 值是否以指定 text 子字串開始的布林值。text 比較區分大小寫。
子字串(<text>, <offset>, <length>)
傳回以指定位移(其為以字元數計的指定長度)開始的 text 子字串。如果達到字串的結尾,便會傳回較少的字元數。
文字(<number>)
文字(<date>)
文字(<datetime>)
文字(<timeOfDay>)
將指定的數字或 date attribute 轉換成 text 值。

實體與關係函數

(English)

語法 描述
針對(<relationship>, <Exp>)
用來從一個 entity 參考至「一對一」、「多對一」或「多對多」relationship 中(其中只有一個條件)的另一個 entity
針對範圍(<relationship>, <alias>)
針對範圍(<relationship>)
用來從一個 entity 參考至「一對一」、「多對一」或「多對多」relationship 中(其中有一或多個條件)的另一個 entity
針對所有(<relationship>, <Exp>)
用來從一個 entity 參考至「一對多」或「多對多」relationship 中的另一個 entity(當您需要決定目標 entity 群組的所有成員是否需要滿足規則時)。
此形式是在規則中只有一個條件時使用。
針對全部範圍(<relationship>)
針對全部範圍(<relationship>, <alias>)
用來從一個 entity 參考至「一對多」或「多對多」relationship 中的另一個 entity(當您需要決定目標 entity 群組的所有成員是否需要滿足規則時)。
此形式是在規則中有一或多個條件時使用。
存在(<relationship>, <Exp>)
用來從一個 entity 參考至「一對多」或「多對多」relationship 中的另一個 entity(當您需要決定目標 entity 群組的成員是否需要滿足規則時)。
此形式是在規則中只有一個條件時使用。
存在範圍(<relationship>)
存在範圍(<relationship>, <alias>)
用來從一個 entity 參考至「一對多」或「多對多」relationship 中的另一個 entity(當您需要決定目標 entity 群組的成員是否需要滿足規則時)。
此形式是在規則中有一或多個條件時使用。
是以下單位的成員(<target>, <relationship>)
是以下單位的成員(<target>, <alias>, <relationship>)
用作結論以推論 entity 實例為 relationship 的成員。用作條件以測試 entity 實例是否為 relationship 的目標,而第二個 entity 實例為其來源。
不是以下單位的成員(<target>, <relationship>)
用作條件以測試 entity 實例是否不是 relationship 的目標,而第二個 entity 實例為其來源。
實例計次(<relationship>)
計算 entity 已存在的實例數。
實例計次如果(<relationship>, <Exp>)
計算 entity 已有的實例數,其特定 entity-level attribute 已有特定值。
實例最大(<relationship>, <number-attr>)
實例最大(<relationship>, <date-attr>)
實例最大(<relationship>, <datetime-attr>)
實例最大(<relationship>, <time-attr>)
針對 entity 的所有實例,取得 entity-level 變數的最高/最近值。
實例最大如果(<relationship>, <number-attr>, <condition>)
實例最大如果(<relationship>, <date-attr>, <condition>)
實例最大如果(<relationship>, <datetime-attr>, <condition>)
實例最大如果(<relationship>, <time-attr>, <condition>)
針對 entity 的所有實例(其特定 entity-level attribute 具有特定值),取得 entity-level 變數的最高/最近值。
實例最小(<relationship>, <number-attr>)
實例最小(<relationship>, <date-attr>)
實例最小(<relationship>, <datetime-attr>)
實例最小(<relationship>, <time-attr>)
針對 entity 的所有實例,取得 entity-level 變數的最低/最早值。
實例最小如果(<relationship>, <number-attr>, <condition>)
實例最小如果(<relationship>, <date-attr>, <condition>)
實例最小如果(<relationship>, <datetime-attr>, <condition>)
實例最小如果(<relationship>, <time-attr>, <condition>)
針對 entity 的所有實例(其特定 entity-level attribute 具有特定值),取得 entity-level 變數的最低/最早值。
實例總和(<relationship>, <number-attr>)
取得 entity-level 變數的所有實例總和。
實例總和如果(<relationship>, <number-attr>, <condition>)
取得 entity-level 變數的所有實例總和(其中 entity 所述,特定 entity-level 布林 attribute 為 true)。
實例值如果(<relationship>, <number-attr>, <condition>)
實例值如果(<relationship>, <text-attr>, <condition>)
實例值如果(<relationship>, <date-attr>, <condition>)
實例值如果(<relationship>, <datetime-attr>, <condition>)
實例值如果(<relationship>, <time-attr>, <condition>)
從唯一 entity 實例取得數值,該實例已透過條件從 relationship 的目標 entity 實例加以識別。
  • 如果條件會識別單一目標 entity 實例,則數值為依據該 entity 實例計算的數值。
  • 如果超過一個目標實例符合條件,則會傳回 uncertain
  • 如果沒有目標實例符合條件,且 relationship 已知,則數值為 uncertain
實例等於(<instance1>, <instance2>)
決定 entity 的兩個實例是否為相同實例。
實例不等於(<instance1>, <instance2>)
決定 entity 的兩個實例是否不為相同實例。
推論實例(<relationship>, <identity>)
<rel>(<identity>)存在
用作結論以推論 entity 實例存在且為 relationship 的成員。

暫時推斷函數

(English)

語法 描述
區間計次差別(<start-date>, <end-date>, <variable>)
區間計次差別(<start-date>, <end-date>, <condition>)
計算變數於開始 date(含)到結束 date(不含)的間隔期間,其已知特定值的數目。
區間計次差別如果(<start-date>, <end-date>, <variable>, <condition>)
計算變數於開始 date(含)到結束 date(不含)的間隔期間,僅包含布林篩選為 true 時,其已知特定值的數目。
區間日總和(<start-date>, <end-date>, <number-attr>)
計算幣別或數字變數於開始 date(含)到結束 date(不含)之間隔期間的總和。attribute 會假定為每日數量。
區間日總和如果(<start-date>, <end-date>, <number-attr>, <condition>)
計算幣別或數字變數於開始 date(含)到結束 date(不含)的間隔期間,僅包含條件為 true 時,所有每日數值的總和。
區間最大(<start-date>, <end-date>, <number-attr>)
區間最大(<start-date>, <end-date>, <date-attr>)
區間最大(<start-date>, <end-date>, <datetime-attr>)
區間最大(<start-date>, <end-date>, <time-attr>)
選取變數於開始 date(含)到結束 date(不含)之間隔期間的最大值。
區間最大如果(<start-date>, <end-date>, <number-attr>, <condition>)
區間最大如果(<start-date>, <end-date>, <date-attr>, <condition>)
區間最大如果(<start-date>, <end-date>, <datetime-attr>, <condition>)
區間最大如果(<start-date>, <end-date>, <time-attr>, <condition>)
選取變數於開始 date(含)到結束 date(不含)之間隔期間的最大值(僅包含條件為 true 時)。
區間最小(<start-date>, <end-date>, <number-attr>)
區間最小(<start-date>, <end-date>, <date-attr>)
區間最小(<start-date>, <end-date>, <datetime-attr>)
區間最小(<start-date>, <end-date>, <time-attr>)
選取變數於開始 date(含)到結束 date(不含)之間隔期間的最小值。
區間最小如果(<start-date>, <end-date>, <number-attr>, <condition>)
區間最小如果(<start-date>, <end-date>, <date-attr>, <condition>)
區間最小如果(<start-date>, <end-date>, <datetime-attr>, <condition>)
區間最小如果(<start-date>, <end-date>, <time-attr>, <condition>)
選取變數於開始 date(含)到結束 date(不含)之間隔期間的最小值(僅包含條件為 true 時)。
區間加權平均(<start-date>, <end-date>, <number-attribute>)
計算幣別或數字變數於開始 date(含)到結束 date(不含)之間隔期間的平均值(依每個值套用的時間範圍加權)。
區間加權平均如果(<start-date>, <end-date>, <number-attribute>, <condition>)
計算幣別或數字變數於開始 date(含)到結束 date(不含)的間隔期間、僅包含布林條件為 true 時的平均值(依每個值套用的時間範圍加權且在篩選為 true 時)。
區間內一律(<start-date>, <end-date>, <condition>)
傳回 true,如果且只有在布林條件於開始 date(含)到結束 date(不含)的間隔期間皆為 true 時。
區間內至少日數日(<start-date>, <end-date>, <NumDays>, <condition>)
傳回 true,如果且只有在布林條件於開始 date(含)到結束 date(不含)的間隔期間,至少於指定的天數(未必為連續)為 true 時。
區間內連續數日(<start-date>, <end-date>, <NumDays>, <condition>)
傳回 true,如果且只有在布林條件於開始 date(含)到結束 date(不含)的間隔期間,至少於指定的連續天數為 true 時。
區間內有時候(<start-date>, <end-date>, <condition>)
如果且只有在布林條件於開始 date(含)到結束 date(不含)之間隔期間為 true 時,傳回 true。
價值於(<date>, <value>)
於指定的 date 傳回指定 attribute 的值。
當上一個(<date>, <condition>)
傳回布林條件上次為 true 的 date,自指定的 date 起(含)往後推。
當下一個(<date>, <condition>)
傳回布林條件下次為 true 的 date,自指定的 date 起(含)往前推。
最晚()
將傳回與最晚之可能 date 相等的 date 值,亦即 date 保證比 date attribute 採用的或運算式可能評估的任何 date 晚。
最早()
傳回與最早之可能 date 相等的 date 值,亦即 date 保證比 date attribute 採用的或運算式可能評估的任何 date 早。
暫存日數自(<date>, <end-date>)
傳回每天變化且自 date 起完整天數的數字變數。
暫存週數自(<date>, <end-date>)
傳回每週變化的數字變數,且其為自 date 起的完整週數。
暫存月數自(<date>, <end-date>)
傳回每個月變化的數字變數,且其為自 date 起的完整月數。備註:如果提供的 date 在該月的第 28 日之後,且後續月份的天數較提供的月份少,則週年月份的變更點將會建立在該月的最後一天。例如,如果提供的 date 為 2007 年 1 月 28、29、30 或 31 日,則第一個變更點將會是 2007 年 2 月 28 日。
暫存年數自(<date>, <end-date>)
傳回每年變化的數字變數,且其為自 date 起的完整年份數。
暫存一律數日(<days>, <condition>)
傳回在一段期間中變化的布林 attribute,如果且只有在布林條件針對所有指定前置天數(不含當日)為 true 時,其為 true。
暫存連續數日(<minDays>, <days>, <condition>)
傳回在一段期間中變化的布林 attribute,如果且只有在布林條件至少針對前置設定天數中任何時間的最短連續天數(不含當日)為 true 時,其為 true。
暫存有時候數日(<days>, <condition>)
傳回在一段期間中變化的布林 attribute,其只有在布林條件於指定的前置天數內(不包含當日)才為 true。
暫存之後(<date>)
傳回在一段期間中變化的布林 attribute,其在 date 之後為 true,且在當時或之前為 false。
暫存當日前(<date>)
傳回在一段期間中變化的布林 attribute,其在 date 之前為 true,且在當時或之後為 false。
暫存當日(<date>)
傳回在一段期間中變化的布林 attribute,其在 date 時為 true,且在之前或之後為 false。
暫存當日或當日後(<date>)
傳回在一段期間中變化的布林 attribute,其在 date 當時或之後為 true,且在之前為 false。
暫存當日或當日前(<date>)
傳回在一段期間中變化的布林 attribute,其在 date 當時和之前為 true,且在之後為 false。
暫存自開始日期起(<relationship>, <date>, <value>)
以自開始 date attribute 起有效的值,來從 relationship 傳回單一暫存 attribute(位於來源 entity 層次)與實體上的值 attribute
暫存自結束日期起(<relationship>, <date>, <value>)
以直到結束 date attribute 前皆有效的值,來從 relationship 傳回單一暫存 attribute(位於來源 entity 層次)與實體上的值 attribute
暫存自範圍起(<relationship>, <start-date>, <end-date>, <Value>)
以自開始 date attribute(含)直到結束 date attribute(不含)止有效的值,來從 relationship 傳回單一暫存 attribute(位於來源 entity 層次)與實體上的值 attribute。如果值在下一個開始 date 到期,則值為 uncertain
暫存為平日(<startdate>, <enddate>)
如果日期為平日,則傳回 true,如果日期為自指定開始 date(含)至結束 date(不含)的週末,則傳回 false。如果不在 date 範圍內,則傳回 uncertain
暫存每月一次(<startdate>, <enddate>, <dayofmonth>)
如果日期等於該月某日的參數,則傳回 true,如果落在從指定開始 date(含)至結束 date(不含)的該月所有其他日,則傳回 false。如果不在 date 範圍內,則傳回 uncertain。當該月某日超過目前月份中的天數時,值會在該月的最後一天為 true,因此函數會傳回確實在每月一天為 true 的值。

驗證事件函數

(English)

語法 描述
錯誤(<text>)
錯誤事件是用來傳遞訊息給使用者,且讓其等到觸發該錯誤的條件不再作用後,再繼續進行調查。
警告(<text>)
警告事件是用來傳遞訊息給使用者,但讓其在觸發該錯誤的條件作用時仍可繼續作業。

已過時函數

(English)

語法 描述
呼叫自訂函式(<A>, <B>)
傳回對代碼程式庫的外部呼叫結果。必須對決定引擎提供代碼程式庫,自訂函數呼叫才能順利執行。