(57)【要約】【課題】  イベントに対するリアルタイムな非存在判定を効率的に行うことができる、述語式評価システムを提供する。【解決手段】述語式変換部１０５は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。述語式評価部１０６は、評価対象のイベントのうちの所定のイベントを当該束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、イベントのブール値置換述語式に対する評価を当該インスタンスにより行う。【選択図】      図１
2010157176.tif 000002
【特許請求の範囲】
【請求項１】
イベントを評価するためのイベントパターン述語式の加法標準形の各連言節において、所定の束縛変数にのみ依存する部分論理式である外変数論理式の評価結果として取りうる値の組み合わせについて、前記外変数論理式をブール値に置き換えたブール値置換述語式を生成する述語式変換部と、
前記イベントのうちの所定のイベントを前記束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、前記イベントの前記ブール値置換述語式に対する評価を前記インスタンスにより行う述語式評価部と
を備えることを特徴とする述語式評価システム。
【請求項２】
前記述語式変換部は、
前記イベントパターン述語式を前記イベントパターン述語式の加法標準形の全ての連言節に共通な前記外変数論理式と加法標準形の積の形に変換し、前記イベントパターン述語式の加法標準形の全ての連言節に共通な前記外変数論理式と前記変換後の加法標準形の前記外変数論理式の評価結果として取りうる値の組み合わせについて、前記ブール値置換述語式を生成する
ことを特徴とする請求項１記載の述語式評価システム。
【請求項３】
前記述語式変換部は、
前記外変数論理式の評価結果が前記組み合わせのときに真となる組み合わせ述語式を生成し、前記組み合わせ述語式と前記ブール値置換述語式の関連付けを行い、
前記述語式評価部は、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントについて、当該評価結果が真となる組み合わせ述語式に関連付けられた前記ブール値置換述語式を評価するための前記インスタンスを生成する
ことを特徴とする請求項１または２記載の述語式評価システム。
【請求項４】
前記述語式評価部は、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントを前記組み合わせ述語式に関連付けられている前記ブール値置換述語式の前記所定の束縛変数に対応付けた変数代入済み述語式を生成し、
前記インスタンスとして、当該変数代入済み述語式を評価する変数代入済み述語式評価インスタンスを生成し、
前記イベントの前記ブール値置換述語式に対する評価を前記変数代入済み述語式評価インスタンスにより行う
ことを特徴とする請求項３記載の述語式評価システム。
【請求項５】
前記述語式変換部は、
前記ブール値置換述語式の加法標準形の各連言節において、所定の内変数１つのみに依存する部分論理式である内変数論理式と当該連言節から前記内変数論理式を除いた動的述語式を生成し、
前記述語式評価部は、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントを前記ブール値置換述語式の前記動的述語式の変数に対応付けて前記変数代入済み述語式を生成し、
前記イベントのうちの前記内変数論理式の評価結果が真となるイベントの前記動的述語式に対する評価を前記変数代入済み述語式により行う
ことを特徴とする請求項４記載の述語式評価システム。
【請求項６】
前記述語式評価部は、
前記組み合わせ述語式に対する評価を行う組み合わせ述語式評価インスタンスを生成し、
入力された前記イベントの前記組み合わせ述語式に対する評価を前記組み合わせ述語式評価インスタンスにより行う
ことを特徴とする請求項４記載の述語式評価システム。
【請求項７】
前記述語式評価部は、
前記内変数論理式に対する評価を行う内変数論理式評価インスタンスを生成し、入力された前記イベントの前記内変数論理式に対する評価を前記内変数論理式評価インスタンスにより行う
ことを特徴とする請求項５記載の述語式評価システム。
【請求項８】
前記変数代入済み述語式評価インスタンスは、前記変数代入済み述語式の評価結果をもとに、当該変数代入済み述語式の各変数に対応付けられた前記イベントを前記イベントパターン述語式の評価結果が真となるイベントとして出力する
ことを特徴とする請求項４記載の述語式評価システム。
【請求項９】
前記変数代入済み述語式評価インスタンスは、前記ブール値置換述語式の加法標準形の全ての連言節の前記動的述語式に対する評価結果が偽の場合、当該変数代入済み述語式の各変数に対応付けられた前記イベントを前記イベントパターン述語式の評価結果が真となるイベントとして出力する
ことを特徴とする請求項５記載の述語式評価システム。
【請求項１０】
イベントを評価するためのイベントパターン述語式の加法標準形の各連言節において、所定の束縛変数にのみ依存する部分論理式である外変数論理式の評価結果として取りうる値の組み合わせについて、前記外変数論理式をブール値に置き換えたブール値置換述語式を生成する述語式変換ステップと、
前記イベントのうちの所定のイベントを前記束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、前記イベントの前記ブール値置換述語式に対する評価を前記インスタンスにより行うイベント処理ステップと
を含むことを特徴とする述語式評価方法。
【請求項１１】
前記述語式変換ステップは、
前記イベントパターン述語式を前記イベントパターン述語式の加法標準形の全ての連言節に共通な前記外変数論理式と加法標準形の積の形に変換し、前記イベントパターン述語式の加法標準形の全ての連言節に共通な前記外変数論理式と前記変換後の加法標準形の前記外変数論理式の評価結果として取りうる値の組み合わせについて、前記ブール値置換述語式を生成する
ことを特徴とする請求項１０記載の述語式評価方法。
【請求項１２】
前記述語式変換ステップは、
前記外変数論理式の評価結果が前記組み合わせのときに真となる組み合わせ述語式を生成し、前記組み合わせ述語式と前記ブール値置換述語式の関連付けを行い、
前記イベント処理ステップは、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントについて、当該評価結果が真となる組み合わせ述語式に関連付けられた前記ブール値置換述語式を評価するための前記インスタンスを生成する
ことを特徴とする請求項１０または１１記載の述語式評価方法。
【請求項１３】
前記イベント処理ステップは、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントを前記組み合わせ述語式に関連付けられている前記ブール値置換述語式の前記所定の束縛変数に対応付けた変数代入済み述語式を生成し、
前記インスタンスとして、当該変数代入済み述語式を評価する変数代入済み述語式評価インスタンスを生成し、
前記イベントの前記ブール値置換述語式に対する評価を前記変数代入済み述語式評価インスタンスにより行う
ことを特徴とする請求項１２記載の述語式評価方法。
【請求項１４】
前記述語式変換ステップは、
前記ブール値置換述語式の加法標準形の各連言節において、所定の内変数１つのみに依存する部分論理式である内変数論理式と当該連言節から前記内変数論理式を除いた動的述語式を生成し、
前記イベント処理ステップは、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントを前記ブール値置換述語式の前記動的述語式の変数に対応付けて前記変数代入済み述語式を生成し、
前記イベントのうちの前記内変数論理式の評価結果が真となるイベントの前記動的述語式に対する評価を前記変数代入済み述語式により行う
ことを特徴とする請求項１３記載の述語式評価方法。
【請求項１５】
更に、前記組み合わせ述語式に対する評価を行う組み合わせ述語式評価インスタンスを生成するインスタンス生成ステップを含み、
前記イベント処理ステップは、
入力された前記イベントの前記組み合わせ述語式に対する評価を前記組み合わせ述語式評価インスタンスにより行う
ことを特徴とする請求項１３記載の述語式評価方法。
【請求項１６】
更に、前記内変数論理式に対する評価を行う内変数論理式評価インスタンスを生成するインスタンス生成ステップを含み、
前記イベント処理ステップは、
入力された前記イベントの前記内変数論理式に対する評価を前記内変数論理式評価インスタンスにより行う
ことを特徴とする請求項１４記載の述語式評価方法。
【請求項１７】
更に、前記変数代入済み述語式評価インスタンスにおける前記変数代入済み述語式の評価結果をもとに、当該変数代入済み述語式の各変数に対応付けられた前記イベントを前記イベントパターン述語式の評価結果が真となるイベントとして出力するイベント出力ステップを含む
ことを特徴とする請求項１３記載の述語式評価方法。
【請求項１８】
更に、前記変数代入済み述語式評価インスタンスにおける前記ブール値置換述語式の加法標準形の全ての連言節の前記動的述語式に対する評価結果が偽の場合、当該変数代入済み述語式の各変数に対応付けられた前記イベントを前記イベントパターン述語式の評価結果が真となるイベントとして出力するイベント出力ステップを含む
ことを特徴とする請求項１４記載の述語式評価方法。
【請求項１９】
コンピュータを、
イベントを評価するためのイベントパターン述語式の加法標準形の各連言節において、所定の束縛変数にのみ依存する部分論理式である外変数論理式の評価結果として取りうる値の組み合わせについて、前記外変数論理式をブール値に置き換えたブール値置換述語式を生成する述語式変換部と、
前記イベントのうちの所定のイベントを前記束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、前記イベントの前記ブール値置換述語式に対する評価を前記インスタンスにより行う述語式評価部と
として機能させることを特徴とする述語式評価用プログラム。
【請求項２０】
前記述語式変換部は、
前記イベントパターン述語式を前記イベントパターン述語式の加法標準形の全ての連言節に共通な前記外変数論理式と加法標準形の積の形に変換し、前記イベントパターン述語式の加法標準形の全ての連言節に共通な前記外変数論理式と前記変換後の加法標準形の前記外変数論理式をの評価結果として取りうる値の組み合わせについて、前記ブール値置換述語式を生成する
ことを特徴とする請求項１９記載の述語式評価用プログラム。
【請求項２１】
前記述語式変換部は、
前記外変数論理式の評価結果が前記組み合わせのときに真となる組み合わせ述語式を生成し、前記組み合わせ述語式と前記ブール値置換述語式の関連付けを行い、
前記述語式評価部は、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントについて、当該評価結果が真となる組み合わせ述語式に関連付けられた前記ブール値置換述語式を評価するための前記インスタンスを生成する
ことを特徴とする請求項１９または２０記載の述語式評価用プログラム。
【請求項２２】
前記述語式評価部は、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントを前記組み合わせ述語式に関連付けられている前記ブール値置換述語式の前記所定の束縛変数に対応付けた変数代入済み述語式を生成し、
前記インスタンスとして、当該変数代入済み述語式を評価する変数代入済み述語式評価インスタンスを生成し、
前記イベントの前記ブール値置換述語式に対する評価を前記変数代入済み述語式評価インスタンスにより行う
ことを特徴とする請求項２１記載の述語式評価用プログラム。
【請求項２３】
前記述語式変換部は、
前記ブール値置換述語式の加法標準形の各連言節において、所定の内変数１つのみに依存する部分論理式である内変数論理式と当該連言節から前記内変数論理式を除いた動的述語式を生成し、
前記述語式評価部は、
前記イベントのうちの前記組み合わせ述語式の評価結果が真となるイベントを前記ブール値置換述語式の前記動的述語式の変数に対応付けて前記変数代入済み述語式を生成し、
前記イベントのうちの前記内変数論理式の評価結果が真となるイベントの前記動的述語式に対する評価を前記変数代入済み述語式により行う
ことを特徴とする請求項２２記載の述語式評価用プログラム。
【請求項２４】
前記述語式評価部は、
前記組み合わせ述語式に対する評価を行う組み合わせ述語式評価インスタンスを生成し、
入力された前記イベントの前記組み合わせ述語式に対する評価を前記組み合わせ述語式評価インスタンスにより行う
ことを特徴とする請求項２２記載の述語式評価用プログラム。
【請求項２５】
前記述語式評価部は、
前記内変数論理式に対する評価を行う内変数論理式評価インスタンスを生成し、入力された前記イベントの前記内変数論理式に対する評価を前記内変数論理式評価インスタンスにより行う
ことを特徴とする請求項２３記載の述語式評価用プログラム。
【請求項２６】
前記変数代入済み述語式評価インスタンスは、前記変数代入済み述語式の評価結果をもとに、当該変数代入済み述語式の各変数に対応付けられた前記イベントを前記イベントパターン述語式の評価結果が真となるイベントとして出力する
ことを特徴とする請求項２２記載の述語式評価用プログラム。
【請求項２７】
前記変数代入済み述語式評価インスタンスは、前記ブール値置換述語式の加法標準形の全ての連言節の前記動的述語式に対する評価結果が偽の場合、当該変数代入済み述語式の各変数に対応付けられた前記イベントを前記イベントパターン述語式の評価結果が真となるイベントとして出力する
ことを特徴とする請求項２３記載の述語式評価用プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、述語式評価システム、述語式評価方法及び述語式評価用プログラムに関し、特に、非存在判定を高速に行う述語式評価システム、述語式評価方法及び述語式評価用プログラムに関する。
【背景技術】
【０００２】
近年、ＲＦＩＤ（Ｒａｄｉｏ  Ｆｒｅｑｕｅｎｃｙ  Ｉｄｅｎｔｉｆｉｃａｔｉｏｎ）タグから取得されるデータや、温度センサ、湿度センサ、照度センサ、衝撃センサ、加速度センサなどの各種センサから取得されるデータ、携帯電話から取得される携帯電話の位置データ、携帯電話の利用者の状態を表すプレゼンスなどのデータなどのイベントを利用して高度なサービスを提供するようなコンテキストアウェアサービスが注目を集めてきている。イベントは１以上の属性から構成され、属性は、属性名と属性値から構成される。例えば、ＲＦＩＤタグからＩＤが１００である情報を取得した場合、属性名は“ＩＤ”であり、それに対する属性値は“１００”となる。
【０００３】
様々なコンテキストアウェアサービスを実現するためのアプリケーションを効率的に開発するための基盤技術（イベント処理プラットフォーム）が考えられている。当該プラットフォームでは、前記アプリケーションが必要とするイベントの条件（イベントパターン）をあらかじめ当該プラットフォームに登録しておき、その条件に合致するイベントが発生した場合に、そのイベントを当該アプリケーションに通知するものである。
【０００４】
今後、ＲＦＩＤ、各種センサ、携帯電話などが普及するに伴い、大量のイベントが頻繁に発生すると考えられる。前記プラットフォームは、各種アプリケーションに提供するサービスの品質を落とさないためには、そのような状況下においても、アプリケーションが要求するイベントを、イベントの発生から遅延なく通知する必要がある。
【０００５】
また、前記プラットフォームに登録できるイベントパターンとして、「ある条件に合致する」イベントを通知するようなイベントの存在判定を伴うイベントパターンや、処理に加えて、「ある条件に合致しない」イベントを通知するようなイベントの非存在判定を伴うイベントパターンが挙げられる。
【０００６】
このようなイベントに対する非存在判定を行う方法として、ＳＱＬのデータ操作言語（ＤＭＬ：Ｄａｔａ  Ｍａｎｉｐｕｌａｔｉｏｎ  Ｌａｎｇｕａｇｅ）のＳＥＬＥＣＴ文においてＮＯＴ  ＥＸＩＳＴＳを指定する方法がある。
【０００７】
また、非特許文献１は、イベントの存在判定を行う方法であるＲＥＴＥアルゴリズムを開示している。
【０００８】
また、非存在判定は、論理学の分野において扱われる。論理学に関する文献には、例えば、非特許文献２がある。
【先行技術文献】
【非特許文献】
【０００９】
【非特許文献１】Ｃｈａｒｌｅｓ  Ｆｏｒｇｙ、“Ｒｅｔｅ：Ａ  Ｆａｓｔ  Ａｌｇｏｒｉｔｈｍ  ｆｏｒ  ｔｈｅ  Ｍａｎｙ  Ｐａｔｔｅｒｎ／Ｍａｎｙ  Ｏｂｊｅｃｔ  Ｐａｔｔｅｒｎ  Ｍａｔｃｈ  Ｐｒｏｂｌｅｍ”、Ａｒｔｉｆｉｃｉａｌ  Ｉｎｔｅｌｌｉｇｅｎｃｅ、１９、ｐｐ１７−３７、１９８２
【非特許文献２】小野寛晰、「情報科学における論理」、１９９４年、日本評論社
【発明の概要】
【発明が解決しようとする課題】
【００１０】
上述のＮＯＴ  ＥＸＩＳＴＳを指定したＳＥＬＥＣＴ文を用いた方法では、蓄積されている全てのデータに対してＳＥＬＥＣＴ文の処理を実行し、非存在判定を行う。従って、イベントが頻繁に発生する状況では、データベースに対して頻繁にデータが追加されることとなり、その場合には、データが追加される度、あるいは、一定時間ごとに、その時点での全てのデータに対してＳＥＬＥＣＴ文の処理を実行するため、効率的ではないという問題がある。
【００１１】
また、非特許文献１に開示されたＲＥＴＥアルゴリズムは、イベント処理のように、データがリアルタイムで追加される場合でも、存在判定を効率的に行うことができる。しかしながら、ＲＥＴＥアルゴリズムは、存在判定には適用できるが、非存在判定には適用することはできないという問題がある。
（発明の目的）
本発明の目的は、上述した課題を解決し、イベントに対するリアルタイムな非存在判定を効率的に行うことができる、述語式評価システム、述語式評価方法及び述語式評価用プログラムを提供することにある。
【課題を解決するための手段】
【００１２】
本発明の述語式評価システムは、イベントを評価するためのイベントパターン述語式の加法標準形の各連言節において、所定の束縛変数にのみ依存する部分論理式である外変数論理式の評価結果として取りうる値の組み合わせについて、前記外変数論理式をブール値に置き換えたブール値置換述語式を生成する述語式変換部と、前記イベントのうちの所定のイベントを前記束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、前記イベントの前記ブール値置換述語式に対する評価を前記インスタンスにより行う述語式評価部とを備えることを特徴とする。
【００１３】
本発明の述語式評価方法は、イベントを評価するためのイベントパターン述語式の加法標準形の各連言節において、所定の束縛変数にのみ依存する部分論理式である外変数論理式の評価結果として取りうる値の組み合わせについて、前記外変数論理式をブール値に置き換えたブール値置換述語式を生成する述語式変換ステップと、
前記イベントのうちの所定のイベントを前記束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、前記イベントの前記ブール値置換述語式に対する評価を前記インスタンスにより行うイベント処理ステップとを含むことを特徴とする。
【００１４】
本発明の述語式評価用プログラムは、コンピュータを、イベントを評価するためのイベントパターン述語式の加法標準形の各連言節において、所定の束縛変数にのみ依存する部分論理式である外変数論理式の評価結果として取りうる値の組み合わせについて、前記外変数論理式をブール値に置き換えたブール値置換述語式を生成する述語式変換部と、前記イベントのうちの所定のイベントを前記束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、前記イベントの前記ブール値置換述語式に対する評価を前記インスタンスにより行う述語式評価部として機能させることを特徴とする。
【発明の効果】
【００１５】
本発明の効果は、イベントに対するリアルタイムな非存在判定を効率的に行うことができることである。
【図面の簡単な説明】
【００１６】
【図１】本発明の第一の実施の形態における、イベント処理システム１００全体の構成図である。
【図２】本発明の第一の実施の形態における、述語式評価部１０６の構成図である。
【図３】本発明の第一の実施の形態における、イベントパターン登録処理の全体を示すフローチャートである。
【図４】本発明の第一の実施の形態における、ブール値置換述語式管理表生成処理（図３のステップＡ１００）の詳細を示すフローチャートである。
【図５】本発明の第一の実施の形態における、評価用述語式管理表生成処理（図３のステップＡ４００）の詳細を示すフローチャートである。
【図６】本発明の第一の実施の形態における、処理インスタンス生成処理（図３のステップＡ５００）の全体を示すフローチャートである。
【図７】本発明の第一の実施の形態における、動的述語式評価インスタンス生成処理（図６のステップＡ５１０）の詳細を示すフローチャートである。
【図８】本発明の第一の実施の形態における、Ｐｉ組み合わせ述語式評価インスタンス生成処理（図６のステップＡ５２０）の詳細を示すフローチャートである
【図９】本発明の第一の実施の形態における、内変数論理式評価インスタンス生成処理（図６のステップＡ５３０）の詳細を示すフローチャートである。
【図１０】本発明の第一の実施の形態における、イベント処理の全体を示すフローチャートである。
【図１１】本発明の第一の実施の形態における、静的述語式評価部３００における静的述語式評価処理（図１０のステップＢ２００）の詳細を示すフローチャートである。
【図１２】本発明の第一の実施の形態における、動的述語式評価部２００における変数代入済み述語式評価処理（図１０のステップＢ３００）（Ｐｉ組み合わせ述語式評価インスタンス３１０からイベント受信時）の詳細を示すフローチャートである。
【図１３】本発明の第一の実施の形態における、タイムアウト管理インスタンス登録処理（図１２のステップＢ３５０）の詳細を示すフローチャートである。
【図１４】本発明の第一の実施の形態における、動的述語式評価部２００における変数代入済み述語式評価処理（図１０のステップＢ３００）（内変数論理式評価インスタンス３２０からイベント受信時）の詳細を示すフローチャートである。
【図１５】本発明の第一の実施の形態における、変数代入済み述語式の評価処理（図１２、図１４のステップＢ３９０）を示すフローチャートである
【図１６】本発明の第一の実施の形態における、タイムアウト処理を示すフローチャートである
【図１７】本発明の第一の実施の形態において、処理インスタンス生成処理によって、動的述語式評価部２００及び静的述語式評価部３００の内部に生成されるインスタンスの全体的な関係を示す図である。
【図１８】本発明の第一の実施の形態における、最大遅延時間管理部１０７で管理する最大遅延時間の例を示す図である。
【図１９】本発明の第一の実施の形態における、イベント発生システム１０２から受信するイベントの例を示す図である。
【図２０】本発明の第一の実施の形態における、イベントパターンと通知イベントの例を示す図である。
【図２１】本発明の第一の実施の形態において、図２０のイベントパターン述語式を冠頭標準形に変換した後の述語式を示す図である。
【図２２】本発明の第一の実施の形態において、図２１のイベントパターン述語式を加法標準形に変換した後の述語式を示す図である。
【図２３】本発明の第一の実施の形態において、図２２のイベントパターン述語式を共通外変数の部分論理式と加法標準系の積へ変換した後の述語式を示す図である。
【図２４】本発明の第一の実施の形態において、図２３のイベントパターン述語式を存在束縛変数のみの形式へ変換した後の述語式を示す図である。
【図２５】本発明の第一の実施の形態において、図２４のイベントパターン述語式を加法標準形に変換した後の述語式を示す図である。
【図２６】本発明の第一の実施の形態において、図２５のイベントパターン述語式をＰｉで置き換え後の述語式を示す図である。
【図２７】本発明の第一の実施の形態における、図２６のイベントパターン述語式に関するＰｉ管理表５１０を示す図である。
【図２８】本発明の第一の実施の形態における、図２６のイベントパターン述語式に関するブール値置換述語式管理表５２０を示す図である。
【図２９】本発明の第一の実施の形態における、図２６のイベントパターン述語式に関するＰｉ組み合わせ述語式を示す図である。
【図３０】本発明の第一の実施の形態における、図２６のイベントパターン述語式に関する評価用述語式管理表５３０を示す図である。
【図３１】本発明の第一の実施の形態における、図３０の評価用述語式管理表５３０の動的述語式５０６に対する変数代入済み述語式の例を示す図である。
【図３２】本発明の第一の実施の形態における、図３０の評価用述語式管理表５３０に対する静的述語式評価部３００の構成を示す図である。
【図３３】本発明の第一の実施の形態における、図３０の評価用述語式管理表５３０に対する動的述語式評価部２００の構成を示す図である。
【図３４】本発明の第一の実施の形態における、図３０の評価用述語式管理表５３０に対する動的述語式評価部２００の構成（変数代入済み述語式評価インスタンス２１０生成後）を示す図である。
【図３５】本発明の第一の実施の形態における、図３０の評価用述語式管理表５３０に対する静的述語式評価部３００、動的述語式評価部２００の状態変化の例を示す図である。
【図３６】本発明の第一の実施の形態における、図３０の評価用述語式管理表５３０に対する静的述語式評価部３００、動的述語式評価部２００の状態変化の他の例を示す図である。
【図３７】本発明の第一の実施の形態における、イベント発生システム１０２から受信するイベントの他の例を示す図である。
【図３８】本発明の第一の実施の形態における、イベントパターン述語式の他の例を示す図である。
【図３９】本発明の第一の実施の形態において、図３８のイベントパターン述語式をＰｉで置き換え後の述語式を示す図である。
【図４０】本発明の第一の実施の形態における、図３８のイベントパターン述語式に関するＰｉ管理表５１０を示す図である。
【図４１】本発明の第一の実施の形態における、図３８のイベントパターン述語式に関するブール値置換述語式管理表５２０を示す図である。
【図４２】本発明の第一の実施の形態における、図３８のイベントパターン述語式に関するＰｉ組み合わせ述語式を示す図である。
【図４３】本発明の第一の実施の形態における、図３８のイベントパターン述語式に関する評価用述語式管理表５３０を示す図である。
【図４４】本発明の第一の実施の形態における、図４３の評価用述語式管理表５３０に対する静的述語式評価部３００の構成を示す図である。
【図４５】本発明の第一の実施の形態における、図４３の評価用述語式管理表５３０に対する動的述語式評価部２００の構成を示す図である。
【図４６】本発明の第一の実施の形態における、図４３の評価用述語式管理表５３０に対する静的述語式評価部３００、動的述語式評価部２００の状態変化の例を示す図である。
【図４７】本発明の第一の実施の形態の特徴的な構成を示す図である。
【発明を実施するための形態】
【００１７】
（第一の実施の形態）
次に、本発明の第一の実施の形態について図面を参照して詳細に説明する。
【００１８】
図１は、本発明の第一の実施の形態における、イベント処理システム１００全体の構成図である。図１を参照すると、イベント処理システム１００は、述語式評価システム１０１、イベントパターン登録システム１０４、イベント発生システム１０２、及びイベント利用システム１０３により構成される。
【００１９】
ここで、述語式評価システム１０１はイベントパターンをもとにイベントの非存在判定を行う。イベントパターン登録システム１０４は、述語式評価システム１０１にイベントパターンを送信する。イベント発生システム１０２は、述語式評価システム１０１にイベントを通知する。イベント利用システム１０３は、述語式評価システム１０１から、非存在判定の結果として通知イベントを受信する。
【００２０】
イベントパターンは、非存在判定を行うためのイベントの条件であり、イベントの属性名と属性値が指定される。イベントパターンは、述語式で表される。
【００２１】
述語式評価システム１０１は、あるイベントが与えられた場合、当該条件により指定されたイベントの属性名と属性値に基づき、当該イベントがイベントパターンに合致するかどうかを判定する。当該イベントがイベントパターンに合致する場合（非存在判定結果が真の場合）、述語式評価システム１０１は、イベント利用システム１０３に評価結果として当該イベント（非存在判定結果が真となるイベント）を送信する（通知イベント）。
【００２２】
図１９に、イベント発生システム１０２から受信するイベントの例を、図２０に、イベントパターンと通知イベントの例を示す。これらのイベント、及びイベントパターンは、例えば、商品の配送を管理するシステムにて用いられる。
【００２３】
図２０において、１つのイベントはＥｖｅｎｔ（）で表され、括弧内に当該イベントのイベント属性値が示される。図２０の場合、イベントは、属性ｌｏｃ（配送拠点）、ｉｔｅｍ（商品の識別子）、ｔ（イベント発生時刻）により構成される。
【００２４】
図 ２０のイベントパターンは、商品Ｘが配送拠点ＡからＢ、あるいは配送拠点ＡからＣに配送され、２拠点の移動の間に上記以外の配送拠点で発見されなかった場合に真となる。すなわち、図 ２０のイベントパターンの述語式は、商品Ｘが、配送拠点ＡからＢ、あるいは配送拠点ＡからＣ以外の配送拠点に非存在の場合に真となる（非存在判定）。通知イベントは、当該イベントパターンに合致した、配送拠点ＡとＢで発生したイベントのペア、あるいは配送拠点ＡとＣで発生したイベントのペアとなる。
【００２５】
図２０において、記号∃は存在記号、記号¬は論理否定、記号∧は論理積、記号∨は論理和を表す。また、ｘｅ１、ｘｅ２、ｘｅ３はそれぞれの述語式における変数を表し、イベントに対応する。ｘｅ１．ｉｔｅｍは、変数ｘｅ１に対応するイベントを構成するｉｔｅｍ属性の値を表す。同様に、他の属性についても、変数と属性名の間にピリオド“．”を入れた形式で表現する。
【００２６】
述語式評価システム１０１は、述語式変換部１０５、最大遅延時間管理部１０７、及び述語式評価部１０６から構成される。述語式変換部１０５は、イベントパターンのマッチング処理を高速に行うために、イベントパターン登録システム１０４から受信したイベントパターンの変換を行う。最大遅延時間管理部１０７は、イベントが発生してから述語式評価システム１０１が当該イベントを受信するまでの遅延時間の最大値（最大遅延時間）を記憶管理する。述語式評価部１０６は、イベント発生システム１０２から入力されたイベントに対してイベントパターンの述語式の評価を行う。
【００２７】
図１８は、最大遅延時間管理部１０７で管理する最大遅延時間の例である。図１８の例では、最大遅延時間は１時間である。最大遅延時間管理部１０７で管理する最大遅延時間は述語式評価部１０６から参照される。
【００２８】
図２は、述語式評価部１０６の構成図である。述語式評価部１０６は、静的述語式評価部３００、タイマ４００、及び動的述語式評価部２００から構成される。
【００２９】
静的述語式評価部３００は、イベントパターンの述語式（イベントパターン述語式）を変換して得られる静的述語式の評価を行い、処理結果としてイベントを動的述語式評価部２００に送信する。動的述語式評価部２００は、静的述語式評価部３００から入力されるイベントを基に、イベントパターン述語式を変換して得られた動的述語式に当該イベントを対応付けた（代入した）変数代入済み述語式を評価するためのインスタンスを生成する。また、動的述語式評価部２００は、生成したインスタンスを用いて変数代入済み述語式を評価し、結果を通知イベントして、イベント利用システム１０３に出力する。タイマ４００は、クロック（図示せず）の値（システム時刻）を監視し、システム時刻が登録されている時刻となった場合に、その時刻と対応付けられているインスタンスに対してタイムアウトを通知する。
【００３０】
なお、述語式評価システム１０１は、プログラム制御によって動作する情報処理装置であってもよい。この場合、述語式評価システム１０１の各部にて行われる処理は、プログラムとして述語式評価システム１０１内のメモリ（図示せず）に記憶される。また、述語式評価部１０６にて生成される各種インスタンスも、述語式評価システム１０１内のメモリ（図示せず）に記憶される。メモリに記憶されるプログラムは、実行時に、述語式評価システム１０１内のＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）（図示せず）に呼び出され、処理が行われる。
【００３１】
次に、本発明の第一の実施の形態の動作について図面を参照して説明する。以下、本発明の第一の実施の形態の動作について、イベントパターン登録処理、イベント処理、タイムアウト処理の順に説明する。
【００３２】
（イベントパターン登録処理）
はじめに、本発明の第一の実施の形態における述語式評価システム１０１でのイベントパターン登録処理について説明する。
【００３３】
イベントパターン登録処理は、述語式評価システム１０１が、イベントパターン登録システム１０４からイベントパターンを入力された場合に実施される。イベントパターン登録処理は、イベントパターンをもとに、動的述語式評価部２００に変数代入済み述語式評価インスタンス２１０を生成するためのインスタンスを生成し、静的述語式評価部３００に、静的述語式の評価に必要なインスタンスを生成する。
【００３４】
なお、ここでは、例として、図２０のイベントパターンを登録する場合を示す。
【００３５】
図３は、述語式評価システム１０１におけるイベントパターン登録処理の全体を示すフローチャートである。
【００３６】
はじめに、述語式評価システム１０１の述語式変換部１０５は、イベントパターン登録システム１０４から入力されたイベントパターンの述語式から、Ｐｉ管理表５１０とブール値置換述語式管理表５２０を生成する（ステップＡ１００）。述語式変換部１０５は、ブール値置換述語式管理表５２０のブール値置換述語式のうち、その値が常に偽となる場合以外に（ステップＡ３００／Ｎｏ）、当該ブール値置換述語式に対して評価用述語式管理表５３０を生成する（ステップＡ４００）。述語式評価部１０６は、生成した評価用述語式管理表５３０を用いて、当該ブール値置換述語式を評価するための処理インスタンスを生成する（ステップＡ５００）。
【００３７】
（イベントパターン登録処理／ブール値置換述語式管理表生成処理）
図４は、ブール値置換述語式管理表生成処理（図３のステップＡ１００）の詳細を示すフローチャートである。はじめに、述語式変換部１０５は、イベントパターン登録システム１０４から入力されたイベントパターン述語式を冠頭標準形に変換する（ステップＡ１１０）。冠頭標準形の定義は、例えば、非特許文献２に記載されている。次に、述語式変換部１０５は、ステップＡ１１０で得られた述語式を加法標準形に変換する（ステップＡ１２０）。
【００３８】
例えば、図２０のイベントパターン述語式は、ステップＡ１１０で図２１に示す述語式に変換され、ステップＡ１２０で図２２に示す述語式に変換される。図２２において、記号∀は全称記号を示す。
【００３９】
次に、述語式変換部１０５は、ステップＡ１２０で得られた述語式について、加法標準形の全ての連言節に共通であり、かつ外変数にのみ依存する部分論理式（共通外変数論理式）を求め、分配法則を用いて、共通外変数論理式と加法標準形の積の形に変換する（ステップＡ１３０）。ここで、述語式において、最も左の存在束縛変数から次に全称束縛変数が出現するまでの存在束縛変数のことを外変数と呼び、外変数よりも内側にある変数を内変数と呼ぶ。
【００４０】
例えば、図２２に示す述語式の場合、ｘｅ１、ｘｅ２は外変数であり、ｘｅ３は内変数である。図２２に示す述語式は、ステップＡ１３０で図２３に示す述語式に変換される。
【００４１】
次に、述語式変換部１０５は、ステップＡ１３０で得られた述語式をド・モルガンの法則を用いて存在束縛変数のみから成る形に変換する（ステップＡ１４０）。更に、述語式変換部１０５は、ステップＡ１４０で得られた述語式を加法標準形に変換する（ステップＡ１５０）。
【００４２】
例えば、図２３に示す述語式は、ステップＡ１４０で、図２４に示す述語式に変換され、ステップＡ１５０で、図２５に示す述語式に変換される。
【００４３】
次に、述語式変換部１０５は、ステップＡ１５０で得られた述語式について、「共通外変数論理式」と、「加法標準形の各連言節において外変数にのみ依存する部分論理式（外変数論理式）」とをＰｉに置換する（ステップＡ１６０）。Ｐｉは連言節ごとに高々１つ存在することとなる。また、述語式変換部１０５は、Ｐｉとその論理式を対応付けるＰｉ管理表５１０を生成する（ステップＡ１７０）。
【００４４】
例えば、図２５に示す述語式は、ステップＡ２６０で、図２６に示す述語式に変換され、ステップＡ２７０で、図２７に示すＰｉ管理表５１０が生成される。
【００４５】
次に、述語式変換部１０５は、各Ｐｉが評価結果として取りうるブール値の全組み合わせに対して、ステップＡ１６０で得られた述語式の各Ｐｉをブール値に置き換えた述語式（ブール値置換述語式）を生成する（ステップＡ１８０）。更に、述語式変換部１０５は、各Ｐｉが評価結果として取り得るブール値の組み合わせとブール値置換述語式を対応付けるブール値置換述語式管理表５２０を生成する（ステップＡ１９０）。
【００４６】
例えば、図２７の述語式の場合、Ｐ０、Ｐ１が評価結果として取りうるブール値の組み合わせは全部で４通りであり、それぞれの組み合わせに対してブール値置換述語式が生成され、ステップＡ２９０で、図２８に示すブール値置換述語式管理表５２０が生成される。図２８において、Ｔは真、Ｆは偽を表す。
【００４７】
（イベントパターン登録処理／評価用述語式管理表生成処理）
図５は、評価用述語式管理表生成処理（図３のステップＡ４００）の詳細を示すフローチャートである。
【００４８】
述語式変換部１０５は、ブール値置換述語式管理表５２０のブール値置換述語式のうち、その値が「常に偽となる場合」以外に（ステップＡ３００／Ｎｏ）、以下の、述語式管理表生成処理を行う。
【００４９】
はじめに、述語式変換部１０５は、ブール値置換述語式管理表５２０内の対象となるＰｉのブール値の組み合わせに対して、評価結果が真となる述語式（Ｐｉ組み合わせ述語式）をＰｉから生成する（ステップＡ４１０）。
【００５０】
例えば、図２８のブール値置換述語式管理表５２０では、Ｐ０＝Ｔ、Ｐ１＝Ｆの組み合わせに対して、ブール値置換述語式の値は「常に偽」ではない。この場合、Ｐ０＝Ｔ、Ｐ１＝Ｆの組み合わせに対して、図２９に示すＰｉ組み合わせ述語式が生成される。
【００５１】
次に、述語式変換部１０５は、ブール値置換述語式管理表５２０のブール値置換述語式の加法標準形の各連言節において、各内変数に関して、内変数１つのみに依存する部分論理式（内変数論理式）を求める（ステップＡ４２０）。次に、述語式変換部１０５は、ブール値置換述語式の加法標準形の各連言節から、ステップＡ４２０で求めた内変数論理式群を除いた論理式（動的述語式）を求める（ステップＡ４３０）。そして、述語式変換部１０５は、ステップＡ４１０〜Ａ４３０にて求めたＰｉ組み合わせ述語式、内変数論理式群、及び動的述語式を対応付ける評価用述語式管理表５３０を生成する（ステップＡ４４０）。評価用述語式管理表５３０には、Ｐｉ組み合わせ述語式は１つだけ存在し、動的述語式は、ブール値置換述語式の連言節の数だけ存在する。
【００５２】
例えば、図２８に示すブール値置換述語式管理表５２０の場合、Ｐ０＝Ｔ、Ｐ１＝Ｆの組み合わせに対して、図３０に示す評価用述語式管理表５３０が生成される。この場合、ブール値置換述語式の連言節の数は１であるため、動的述語式の数は１となる。なお、図３０の評価用述語式管理表５３０の「変数名」は内変数論理式に対応する内変数名である。
【００５３】
（イベントパターン登録処理／処理インスタンス生成処理）
図６は、処理インスタンス生成処理（図３のステップＡ５００）の全体を示すフローチャートである。述語式評価部１０６は、ブール値置換述語式管理表５２０のブール値置換述語式のうち、その値が「常に偽となる場合」以外の場合に（ステップＡ３００／Ｎｏ）、述語式管理表生成処理（ステップＡ４００）に続いて、以下の処理インスタンス生成処理を行う。
【００５４】
図１７は、処理インスタンス生成処理によって、動的述語式評価部２００及び静的述語式評価部３００の内部に生成されるインスタンスの全体的な関係を示す図である。
【００５５】
図１７において、動的述語式評価部２００には、動的述語式評価インスタンス２０１が生成される。動的述語式評価部２００は、生成された動的述語式評価インスタンス２０１を記憶管理する。動的述語式評価インスタンス２０１は、評価用述語式管理表５３０の動的述語式によって生成される変数代入済み述語式を評価する。動的述語式評価インスタンス２０１は、Ｐｉのブール値の組み合わせごとに生成される。（ここでは、Ｐｉのブール値の組み合わせごとに、２０１Ａ、２０１Ｂ…のように符号を付与する。）
動的述語式評価インスタンス２０１は、動的述語式生成処理インスタンス２０２、動的述語式管理インスタンス２０３、イベント一時保持インスタンス２０４、及び変数代入済み述語式評価インスタンス２１０より構成される。処理インスタンス生成処理では、このうち、変数代入済み述語式評価インスタンス２１０以外の各インスタンス、すなわち、動的述語式生成処理インスタンス２０２、動的述語式管理インスタンス２０３、及びイベント一時保持インスタンス２０４が生成される。
【００５６】
動的述語式生成処理インスタンス２０２は、Ｐｉ組み合わせ述語式評価インスタンス３１０から通知されたイベントと動的述語式をもとに、変数代入済み述語式評価インスタンス２１０を生成する。すなわち、動的述語式生成処理インスタンス２０２は、Ｐｉ組み合わせ述語式評価インスタンス３１０から通知されたイベントを動的述語式の変数に代入して、変数代入済み述語式を生成し、変数代入済み述語式評価インスタンス２１０を生成する。動的述語式管理インスタンス２０３は、評価用述語式管理表５３０の動的述語式を記憶管理する。イベント一時保持インスタンス２０４は、内変数論理式評価インスタンス３２０から通知されるイベントを保持する。イベント一時保持インスタンス２０４は、ブール値置換述語式の各連言節の内変数ごとに生成される。（ここでは、各連言節の内変数ごとに、２０４Ａａ１、２０４Ａａ２、…、２００Ａｂ１、２００Ａｂ２…のように符号を付与する。）変数代入済み述語式評価インスタンス２１０は、変数代入済み述語式を評価し、評価結果をイベントとしてイベント利用システム１０３に通知する。変数代入済み述語式評価インスタンス２１０は、Ｐｉ組み合わせ述語式評価インスタンス３１０から評価結果としてイベントを受信するごとに生成される。（ここでは、イベントごとに、２１０Ａ（１）、２１０Ａ（２）…のように符号を付与する。）
静的述語式評価部３００には、静的述語式評価インスタンス３０１が生成される。静的述語式評価部３００は、生成された静的述語式評価インスタンス３０１を記憶管理する。静的的述語式評価インスタンス３０１は、評価用述語式管理表５３０のＰｉ組み合わせ述語式と内変数論理式を評価する。静的述語式評価インスタンス３０１は、Ｐｉのブール値の組み合わせごとに生成される。
【００５７】
静的述語式評価インスタンス３０１は、Ｐｉ組み合わせ述語式評価インスタンス３１０と内変数論理式評価インスタンス３２０より構成される。Ｐｉ組み合わせ述語式評価インスタンス３１０は、Ｐｉ組み合わせ述語式を評価する。Ｐｉ組み合わせ述語式評価インスタンス３１０は、評価結果をイベントとして動的述語式生成処理インスタンス２０２に通知する。内変数論理式評価インスタンス３２０は、内変数論理式を評価する。内変数論理式評価インスタンス３２０は、ブール値置換述語式の連言節ごとに生成される。内変数論理式評価インスタンス３２０は、評価結果をイベントとして対応する連言節に関するイベント一時保持インスタンス２０４に通知する。
【００５８】
タイマ４００には、タイムアウト管理インスタンス４０１が生成される。タイムアウト管理インスタンス４０１は、動的述語式評価インスタンス２０１や静的述語式評価インスタンス３０１内のインスタンスのタイムアウトを監視、検出し、通知するものである。タイムアウト管理インスタンス４０１には、タイムアウト時刻とタイムアウトの通知先が設定される。
【００５９】
変数代入済み述語式評価インスタンス２１０内の連言節評価インスタンス２１１のタイムアウトを検出するタイムアウト管理インスタンス４０１は、論理式評価動的述語式生成処理インスタンス２０２が、連言節評価インスタンス２１１の生成時に生成する。Ｐｉ組み合わせ述語式評価インスタンス３１０内のインスタンス、及び内変数論理式評価インスタンス３２０内のインスタンスのタイムアウトを検出するタイムアウト管理インスタンス４０１は、述語式評価部１０６が、Ｐｉ組み合わせ述語式評価インスタンス３１０、内変数論理式評価インスタンス３２０の生成時に生成する。
【００６０】
図６において、はじめに、述語式評価部１０６は、述語式変換部１０５が生成した評価用述語式管理表５３０を動的述語式評価部２００へ入力し、動的述語式評価インスタンス２０１を生成する（ステップＡ５１０）。次に、述語式評価部１０６は、生成した評価用述語式管理表５３０を静的述語式評価部３００へ入力し、静的述語式評価インスタンス３０１のＰｉ組み合わせ述語式評価インスタンス３１０を生成する（ステップＡ５２０）。更に、述語式評価部１０６は、静的述語式評価インスタンス３０１の内変数論理式評価インスタンス３２０を生成する（ステップＡ５３０）。
【００６１】
（イベントパターン登録処理／処理インスタンス生成処理／動的述語式評価インスタンス生成処理）
図７は、動的述語式評価インスタンス生成処理（図６のステップＡ５１０）の詳細を示すフローチャートである。
【００６２】
はじめに、述語式評価部１０６は、動的述語式管理インスタンス２０３を生成する（ステップＡ５１１）。このとき、述語式評価部１０６は、入力された評価用述語式管理表５３０の動的述語式を動的述語式管理インスタンス２０３に登録する。次に、述語式評価部１０６は、動的述語式生成処理インスタンス２０２を生成する（ステップＡ５１２）。
【００６３】
例えば、図３０の評価用述語式管理表５３０の場合、図３３に示すように、動的述語式管理インスタンス２０３Ａと動的述語式生成処理インスタンス２０２Ａが生成される。また、動的述語式管理インスタンス２０３Ａには、動的述語式５０６が登録される。
【００６４】
次に、評価用述語式管理表５３０の各動的述語式に対して、イベント一時保持インスタンス２０４を生成する（ステップＡ５１３、Ａ５１４）。
【００６５】
例えば、図３０の評価用述語式管理表５３０の場合、図３３に示すように、１つのイベント一時保持インスタンス２０４Ａａ１が生成される。
【００６６】
（イベントパターン登録処理／処理インスタンス生成処理／Ｐｉ組み合わせ述語式評価インスタンス生成処理）
図８は、Ｐｉ組み合わせ述語式評価インスタンス生成処理（図６のステップＡ５２０）の詳細を示すフローチャートである。
【００６７】
はじめに、述語式評価部１０６は、静的述語式評価インスタンス３０１の内部に、Ｐｉ組み合わせ述語式評価インスタンス３１０を生成する（ステップＡ５２１）。述語式評価部１０６は、Ｐｉ組み合わせ述語式評価インスタンス３１０の内部に、評価用述語式管理表５３０のＰｉ組み合わせ述語式を評価するためのインスタンスを生成する（ステップＡ５２２）。このとき、述語式評価部１０６は、Ｐｉ組み合わせ述語式評価インスタンス３１０によるＰｉ組み合わせ述語式の評価結果が真となった場合に、真となったイベントを対応する動的述語式生成処理インスタンス２０２に出力するように設定する。
【００６８】
例えば、図３０の評価用述語式管理表５３０の場合、図３２に示すように、Ｐｉ組み合わせ述語式評価インスタンス３１０Ａの内部に、Ｐｉ組み合わせ述語式５０５を評価するための論理式評価インスタンス３１１Ａ１〜３１１Ａ７とイベント一時保持部３１２Ａ１〜３１２Ａ３が生成される。ここで、各論理式評価インスタンス３１１Ａは、前段からイベントが通知されると、登録された各論理式を評価し、その結果が真の場合に、当該イベントを後段に通知する。イベント一時保持部３１２Ａ１〜３１２Ａ３は、前段から通知されたイベントを保持する。イベント一時保持部３１２Ａ１〜３１２Ａ３の後段の論理式評価インスタンス３１１Ａ５、３１１Ａ６は、イベント一時保持部３１２Ａのいずれかに新たなイベントが追加されると、追加されたイベントと他のイベント一時保持部３１２Ａに保持されている全てのイベントの組み合わせに対して、登録された各論理式を評価する。また、Ｐｉ組み合わせ述語式評価インスタンス３１０Ａによる評価結果としてのイベントは、動的述語式生成処理インスタンス２０２Ａに通知されるように設定される。この場合、Ｐｉ組み合わせ述語式の評価結果が真となったｘｅ１、ｘｅ２に対応するイベントのペアが動的述語式生成処理インスタンス２０２Ａに通知される。
【００６９】
次に、述語式評価部１０６は、Ｐｉ組み合わせ述語式からタイムアウト時刻が算出される場合、タイマ４００にタイムアウト管理インスタンス４０１を登録する（ステップＡ５２３）。タイムアウト管理インスタンス４０１の登録については、動的述語式生成処理インスタンス２０２によるタイムアウト管理インスタンス登録処理（図１３）と同様となる。
【００７０】
図３０の評価用述語式管理表５３０の場合、Ｐｉ組み合わせ述語式からタイムアウト時刻が算出されないため、タイムアウト管理インスタンス４０１は登録されない。
【００７１】
（イベントパターン登録処理／処理インスタンス生成処理／内変数論理式評価インスタンス生成処理）
図９は、内変数論理式評価インスタンス生成処理（図６のステップＡ５３０）の詳細を示すフローチャートである。
【００７２】
はじめに、述語式評価部１０６は、静的述語式評価インスタンス３０１の内部に、評価用述語式管理表５３０の各動的述語式について、内変数論理式評価インスタンス３２０を生成する（ステップＡ５３１、Ａ５３２）。述語式評価部１０６は、内変数論理式評価インスタンス３２０の内部に、内変数論理式を評価するためのインスタンスを生成する（ステップＡ５３３）。このとき、述語式評価部１０６は、内変数論理式評価インスタンス３２０による内変数論理式の評価結果が真となった場合に、真となったイベントを対応するイベント一時保持インスタンス２０４に出力するように設定する。
【００７３】
例えば、図３０の評価用述語式管理表５３０の場合、図３２に示すように、内変数論理式評価インスタンス３２０Ａａの内部に、内変数論理式５０８を評価するための論理式評価インスタンス３２１Ａａ１〜３１１Ａａ４が生成される。また、内変数論理式評価インスタンス３２０Ａａによる評価結果としてのイベントは、イベント一時保持インスタンス２０４Ａａ１に通知されるように設定される。この場合、内変数論理式の評価結果が真となったｘｅ３に対応するイベントがイベント一時保持インスタンス２０４Ａａ１に通知され、イベント一時保持インスタンス２０４Ａａ１に保持される。
【００７４】
次に、述語式評価部１０６は、内変数論理式からタイムアウト時刻が算出される場合、タイマ４００にタイムアウト管理インスタンス４０１を登録する（ステップＡ５３４）。タイムアウト管理インスタンス４０１の登録については、動的述語式生成処理インスタンス２０２によるタイムアウト管理インスタンス登録処理（図１３）と同様となる。
【００７５】
図３０の評価用述語式管理表５３０の場合、内変数論理式からタイムアウト時刻が算出されないため、タイムアウト管理インスタンス４０１は登録されない。
【００７６】
（イベント処理）
次に、本発明の第一の実施の形態における述語式評価システム１０１でのイベント処理について説明する。
【００７７】
イベント処理は、述語式評価システム１０１が、イベント発生システム１０２からイベントを受信した場合に実施する。イベント処理により、動的述語式評価部２００には、非存在判定を行うために必要な変数代入済み述語式評価インスタンス２１０が逐次生成される。
【００７８】
なお、ここでは、例として、図３０の評価用述語式管理表５３０に対して、静的述語式評価インスタンス３０１Ａ、動的述語式評価インスタンス２０１Ａが、図３２、図３３のように生成された状態において、図１９のイベント６０１〜６０５を受信する場合を示す。イベント６０１〜６０５の受信タイミングは、図３５または図３６に従うものとする。
【００７９】
図１０は、述語式評価システム１０１におけるイベント処理の全体を示すフローチャートである。
【００８０】
はじめに、述語式評価部１０６は、受信したイベントを静的述語式評価部３００に入力する（ステップＢ１００）。静的述語式評価部３００は、静的述語式評価インスタンス３０１（Ｐｉ組み合わせ述語式評価インスタンス３１０、内変数論理式評価インスタンス３２０）により、静的述語式（Ｐｉ組み合わせ述語式、内変数論理式）の評価を行う（ステップＢ２００）。ここで、静的述語式評価部３００は、評価結果が真となった場合、動的述語式評価部２００にイベントを出力する。動的述語式評価部２００は、動的述語式評価インスタンス２０１により、静的述語式評価部３００から受信したイベントをもとに変数代入済み述語式の評価を行う（ステップＢ３００）。
【００８１】
（イベント処理／静的述語式評価処理）
図１１は、静的述語式評価部３００における静的述語式評価処理（図１０のステップＢ２００）の詳細を示すフローチャートである。はじめに、Ｐｉ組み合わせ述語式評価インスタンス３１０は、受信したイベントについて、Ｐｉ組み合わせ述語式の評価を行い（ステップＢ２１０）、評価結果が真となった場合、真となったイベントを対応する動的述語式生成処理インスタンス２０２に出力する（ステップＢ２２０）。また、内変数論理式評価インスタンス３２０は、受信したイベントについて、内変数論理式の評価を行い（ステップＢ２３０）、評価結果が真となった場合、真となったイベントを対応するイベント一時保持インスタンス２０４に出力する（ステップＢ２４０）。
【００８２】
例えば、図３２の静的述語式評価インスタンス３０１Ａにおいて、図１９のイベント６０１を受信した場合、内変数論理式評価インスタンス３２０Ａａはイベント６０１をイベント一時保持インスタンス２０４Ａａ１に出力する（図３５、時刻０９：５０）。また、イベント６０２、６０３を受信した場合、Ｐｉ組み合わせ述語式評価インスタンス３１０Ａはｘｅ１、ｘｅ２のペアとしてイベント６０２、６０３を動的述語式生成処理インスタンス２０２Ａに出力する（図３５、時刻１０：３５）。
【００８３】
（イベント処理／変数代入済み述語式評価処理）
動的述語式評価部２００における変数代入済み述語式評価処理（図１０のステップＢ３００）については、Ｐｉ組み合わせ述語式評価インスタンス３１０からイベントを受信した場合と内変数論理式評価インスタンス３２０からイベントを受信した場合により動作が異なる。
【００８４】
動的述語式評価部２００がＰｉ組み合わせ述語式評価インスタンス３１０からイベントを受信した場合、動的述語式生成処理インスタンス２０２が、当該イベントをもとに、図１７に示す変数代入済み述語式評価インスタンス２１０を新たに生成する。そして、当該新たに生成した変数代入済み述語式評価インスタンス２１０が、イベント一時保持インスタンス２０４に保持されているイベントの組み合わせについて、変数代入済み述語式の評価を行う。
【００８５】
一方、動的述語式評価部２００が内変数論理式評価インスタンス３２０からイベントを受信した場合、生成済みの各変数代入済み述語式評価インスタンス２１０が、イベント一時保持インスタンス２０４に新たに追加されたイベントと、他のイベント一時保持インスタンス２０４に保持されているイベントの組み合わせについて、変数代入済み述語式の評価を行う。
【００８６】
ここで、動的述語式生成処理インスタンス２０２が生成する変数代入済み述語式評価インスタンス２１０は、図１７に示すように、連言節評価インスタンス２１１、論理和処理インスタンス２１４、論理否定処理インスタンス２１５、及びイベント通知インスタンス２１６より構成される。
【００８７】
連言節評価インスタンス２１１は、ブール値置換述語式の連言節ごとに生成される。（ここでは、連言節ごとに、２１１Ａａ、２１１Ａｂ、…のように符号を付与する。）連言節評価インスタンス２１１は、動的述語式の変数に受信したイベントを代入した変数代入済み述語式の評価を行う。連言節評価インスタンス２１１の内部には、当該変数代入済み述語式を評価するためのインスタンスが生成される。論理和処理インスタンス２１４は、ブール値置換述語式における連言節の論理和に相当する評価を行う。論理否定処理インスタンス２１５は、ブール値置換述語式における、連言節の論理和についての論理否定に相当する評価を行う。イベント通知インスタンス２１６は、変数代入済み述語式評価インスタンス２１０の評価結果をイベント（通知イベント）としてイベント利用システム１０３に通知（出力）する。
【００８８】
図１２は、動的述語式評価部２００における変数代入済み述語式評価処理（図１０のステップＢ３００）（Ｐｉ組み合わせ述語式評価インスタンス３１０からイベント受信時）の詳細を示すフローチャートである。
【００８９】
図１２を参照すると、Ｐｉ組み合わせ述語式評価インスタンス３１０からイベントを受信すると、動的述語式評価インスタンス２０１の動的述語式生成処理インスタンス２０２は、動的述語式管理インスタンス２０３で管理される各動的述語式について、当該動的述語式の変数に受信したイベントを代入し、変数代入済み述語式を生成する（ステップＢ３１０）。次に、動的述語式生成処理インスタンス２０２は、変数代入済み述語式評価インスタンス２１０を生成する（ステップＢ３２０）。動的述語式生成処理インスタンス２０２は、変数代入済み述語式評価インスタンス２１０の内部に、生成した各変数代入済み述語式に対応した、連言節評価インスタンス２１１を生成する（ステップＢ３３０）。動的述語式生成処理インスタンス２０２は、連言節評価インスタンス２１１の内部に、生成した変数代入済み述語式を評価するための論理式評価インスタンスを生成する（ステップＢ３４０）。
【００９０】
例えば、図３３の動的述語式評価インスタンス２０１Ａ（１）において、Ｐｉ組み合わせ述語式評価インスタンス３１０から、ｘｅ１、ｘｅ２のペアとしてイベント６０２、６０３を受信した場合、動的述語式５０６にイベント６０２、６０３を代入することにより、図３１のような変数代入済み述語式が生成される。そして、図３４に示すように、連言節評価インスタンス２１１Ａａ（１）の内部に、図３１の変数代入済み述語式を評価するための論理式評価インスタンス２１２Ａａ１（１）、２１２Ａａ２（１）が生成される（図３５、時刻１０：３５）。ここで、各論理式評価インスタンス２１２Ａは、前段からイベントが通知されると、登録された各論理式を評価し、その結果が真の場合に、当該イベントを後段に通知する。
【００９１】
次に、動的述語式生成処理インスタンス２０２は、変数代入済み述語式からタイムアウト時刻が算出される場合、連言節評価インスタンス２１１の内部に、評価終了処理インスタンス２１３を生成し、タイマ４００にタイムアウト管理インスタンス４０１を登録する（ステップＢ３５０）。
【００９２】
図１３は、タイムアウト管理インスタンス登録処理（図１２のステップＢ３５０）の詳細を示すフローチャートである。動的述語式生成処理インスタンス２０２は、変数代入済み述語式からタイムアウト時刻が算出されるかどうかを判定する（ステップＢ３５１）。ここで、タイムアウト時刻は、変数代入済み述語式内の原子論理式に、「イベント発生時刻が定数として指定された時刻より早いときに真となるような原子論理式」が存在する場合に算出され、それ以外の場合は算出されない。タイムアウト時刻は、当該原子論理式の定数に最大遅延時間管理部１０７に保持されている最大遅延時間を加算した値である。動的述語式生成処理インスタンス２０２は、タイムアウト時刻を算出する（ステップＢ３５２）。動的述語式生成処理インスタンス２０２は、連言節評価インスタンス２１１Ａの内部に、評価終了処理インスタンス２１３を生成する（ステップＢ３５３）。動的述語式生成処理インスタンス２０２は、タイマ４００に、タイムアウト管理インスタンス４０１を登録し（ステップＢ３５４）、タイムアウト時刻とタイムアウト通知先の評価終了処理インスタンス２１３を設定する（ステップＢ３５５）。
【００９３】
例えば、図３１の変数代入済み述語式については、ｘｅ３．ｔ＜１０：３０が存在するため、最大遅延時間が図２１の場合、タイムアウト時刻は１１：３０となる。連言節評価インスタンス２１１Ａａ（１）の内部には、評価終了処理インスタンス２１３Ａａ（１）が生成される。タイマ４００には、タイムアウト管理インスタンス４０１ａ（１）が登録され、タイムアウト管理インスタンス４０１ａ（１）にはタイムアウト時刻１１：３０、タイムアウトの通知先として評価終了処理インスタンス２１３Ａａ（１）が設定される。
【００９４】
タイムアウト時刻になると、タイムアウト管理インスタンス４０１は、通知先の評価終了処理インスタンス２１３にタイムアウトを通知する。評価終了処理インスタンス２１３は、論理和処理インスタンス２１４にタイムアウト発生を通知する。
【００９５】
次に、動的述語式生成処理インスタンス２０２は、連言節評価インスタンス２１１の内部に、論理和処理インスタンス２１４、論理否定処理インスタンス２１５、及びイベント通知インスタンス２１６を生成する（ステップＢ３６０）。
【００９６】
例えば、図３４の動的述語式評価インスタンス２０１Ａ（１）の内部には、論理和処理インスタンス２１４（１）、論理否定処理インスタンス２１５（１）、及びイベント通知インスタンス２１６（１）が生成される。
【００９７】
次に、新たに生成された変数代入済み述語式評価インスタンス２１０の連言節評価インスタンス２１１は、イベント一時保持インスタンス２０４に保持されているイベントの組み合わせについて、変数代入済み述語式の評価を行う（ステップＢ３７０、Ｂ３９０）。
【００９８】
例えば、図３５において、Ｐｉ組み合わせ述語式評価インスタンス３１０からｘｅ１、ｘｅ２のペアとしてイベント６０２、６０３を受信し、変数代入済み述語式評価インスタンス２１０Ａ（１）が生成された場合、変数代入済み述語式評価インスタンス２１０Ａ（１）の連言節評価インスタンス２１１Ａａ（１）は、イベント一時保持インスタンス２０４Ａａ１に保持されているイベント６０１について変数代入済み述語式の評価を行う（図３５、時刻１０：３５）。
【００９９】
図１４は、動的述語式評価部２００における変数代入済み述語式評価処理（図１０のステップＢ３００）（内変数論理式評価インスタンス３２０からイベント受信時）の詳細を示すフローチャートである。
【０１００】
内変数論理式評価インスタンス３２０からイベントを受信すると、生成済みの各変数代入済み述語式評価インスタンス２１０は、イベント一時保持インスタンス２０４に新たに追加されたイベントと、他のイベント一時保持インスタンス２０４に保持されているイベントの組み合わせについて、変数代入済み述語式の評価を行う（ステップＢ３８０、Ｂ３９０）。
【０１０１】
例えば、図３５において、内変数論理式評価インスタンス３２０Ａａからｘｅ３としてイベント６０４を受信した場合、変数代入済み述語式評価インスタンス２１０Ａ（１）の連言節評価インスタンス２１１Ａａ（１）は、イベント一時保持インスタンス２０４Ａａ１に追加されたイベント６０４について変数代入済み述語式の評価を行う（図３５、時刻１１：０５）。
【０１０２】
図１５は、変数代入済み述語式評価インスタンス２１０における変数代入済み述語式の評価処理（図１２、図１４のステップＢ３９０）を示すフローチャートである。
【０１０３】
変数代入済み述語式評価インスタンス２１０は、各連言節評価インスタンス２１１により変数代入済み述語式の評価を行う（ステップＢ３９０、Ｂ３９１）。論理和処理インスタンス２１４は、いずれかの連言節評価インスタンス２１１の評価結果が真となった場合（ステップＢ３９３／Ｙｅｓ）、論理否定処理インスタンス２１５に真を通知する（ステップＢ３９４）。以降、論理和処理インスタンス２１４の出力は真に固定される。そして、論理和処理インスタンス２１４は、論理和の対象となっている全ての連言節評価インスタンス２１１を無効化する（ステップＢ３９５）。論理否定処理インスタンス２１５は、イベント通知インスタンス２１６に偽を通知する（ステップＢ３９６）。
【０１０４】
例えば、図３５において、変数代入済み述語式評価インスタンス２１０Ａ（１）（ｘｅ１、ｘｅ２：イベント６０２、６０３）が生成された場合、変数代入済み述語式評価インスタンス２１０Ａ（１）の連言節評価インスタンス２１１Ａａ（１）はイベント一時保持インスタンス２０４Ａａ１に保持されているイベント６０１について変数代入済み述語式の評価を行う。ここで、イベント６０１についての評価結果は偽となるため、連言節評価インスタンス２１１Ａａ（１）はそのままとなる（図３５、時刻１０：３５）。
【０１０５】
また、図３５において、変数代入済み述語式評価インスタンス２１０Ａ（２）（ｘｅ１、ｘｅ２：イベント６０２、６０５）が生成された場合、変数代入済み述語式評価インスタンス２１０Ａ（２）の連言節評価インスタンス２１１Ａａ（２）はイベント一時保持インスタンス２０４Ａａ１に保持されているイベント６０１、６０４について変数代入済み述語式の評価を行う。ここで、イベント６０４についての評価結果は真となるため、連言節評価インスタンス２１１Ａａ（２）は無効化される（図３５、時刻１１：２０）。
【０１０６】
また、図３６において、ｘｅ３としてイベント６０４を受信した場合、変数代入済み述語式評価インスタンス２１０Ａ（２）（ｘｅ１、ｘｅ２：イベント６０２、６０５）の連言節評価インスタンス２１１Ａａ（２）は、イベント一時保持インスタンス２０４Ａａ１に追加されたイベント６０４について変数代入済み述語式の評価を行う。ここで、イベント６０４についての評価結果は真となるため、連言節評価インスタンス２１１Ａａ（２）は無効化される（図３６、時刻１１：４５）。
【０１０７】
このように、いずれかの連言節評価インスタンス２１１の評価結果が真になると、当該変数代入済み述語式評価インスタンス２１０の変数代入済み述語式に変数として代入したイベントに関して、非存在判定が偽となる。また、この場合、全ての連言節評価インスタンス２１１が無効化されるため、以降、当該変数代入済み述語式評価インスタンス２１０の評価は行われない。
【０１０８】
（タイムアウト処理）
次に、本発明の第一の実施の形態における述語式評価システム１０１でのタイムアウト処理について説明する。
【０１０９】
タイムアウト処理は、タイマ４００のタイムアウト管理インスタンス４０１がタイムアウトしたことをトリガに行われる。タイムアウト処理により、非存在判定の結果が真となるイベントが検出され、イベント利用システム１０３に通知（出力）される。
【０１１０】
図１６は、述語式評価システム１０１のタイムアウト処理を示すフローチャートである。
【０１１１】
変数代入済み述語式評価インスタンス２１０の論理和処理インスタンス２１４は、連言節評価インスタンス２１１からタイムアウトを受信すると、当該連言節評価インスタンス２１１を無効化する（ステップＣ１０１）。論理和処理インスタンス２１４は、論理和の対象となっている連言節評価インスタンス２１１の全てがタイムアウトとなった場合Ｃ１０２／Ｙｅｓ）、論理否定処理インスタンス２１５に偽を通知する（ステップＣ１０３）。以降、論理和処理インスタンス２１４の出力は偽に固定される。そして、論理否定処理インスタンス２１５は、イベント通知インスタンス２１６に真を通知する（ステップＣ１０４）。この場合、当該変数代入済み述語式評価インスタンス２１０の変数代入済み述語式に変数として代入したイベントに関して、非存在判定が真となる。イベント通知インスタンス２１６は、変数代入済み述語式に変数として代入したイベントを非存在判定が真となるイベント（通知イベント）として、イベント利用システム１０３に通知（出力）する（ステップＣ１０５）。
【０１１２】
例えば、図３５において、時刻が１１：３０になると、タイムアウト管理インスタンス４０１ａ（１）がタイムアウトとなり、論理和処理インスタンス２１４Ａ（１）が連言節評価インスタンス２１１Ａａ（１）からタイムアウト通知を受信する。論理和処理インスタンス２１４Ａ（１）は、連言節評価インスタンス２１１Ａａ（１）を無効化し、論理否定処理インスタンス２１５Ａ（１）に偽を通知する。論理否定処理インスタンス２１５Ａ（１）は、イベント通知インスタンス２１６Ａ（１）に真を通知する。イベント通知インスタンス２１６Ａ（１）は、「ｘｅ１、ｘｅ２：イベント６０２、６０３」を非存在判定が真となるイベントとして、イベント利用システム１０３に通知する。（図３５、時刻１１：３０）。
【０１１３】
このように、全ての連言節評価インスタンス２１１の評価結果が真になると、当該変数代入済み述語式評価インスタンス２１０の変数代入済み述語式に変数として代入したイベントに関して、非存在判定が真となる。また、この場合、全ての連言節評価インスタンス２１１が無効化されるため、以降、当該変数代入済み述語式評価インスタンス２１０の評価は行われない。
【０１１４】
以上により本発明の第一の実施の形態の動作が完了する。
【０１１５】
なお、上記の説明においては、ブール値置換後述語式における連言節の数が１になる場合について例示したが、連言節の数が複数の場合についても同様の動作となる。
【０１１６】
例えば、イベントパターン登録システム１０４から登録されたイベントパターンに対して、ステップＡ１５０の結果生成されるイベント述語式が図３８となった場合、Ｐｉ置換後のイベント述語式、Ｐｉ管理票５１０、及びブール値置換述語式管理表５２０は図３９から図４１のようになる。
【０１１７】
ここで、図４１のブール値置換述語式管理表５２０において、Ｐ０＝Ｔ、Ｐ１＝Ｔについてのブール値置換述語式の連言節の数は２となる。Ｐ０＝Ｔ、Ｐ１＝ＴについてのＰｉ組み合わせ述語式、評価用述語式管理表５３０は、図４２、図４３のようになる。図４３の評価用述語式管理表５３０において、動的述語式は２つとなる。
【０１１８】
図４３の評価用述語式管理表５３０に対して生成される静的述語式評価インスタンス３０１Ａ、動的述語式評価インスタンス２０１Ａを図４４、図４５に示す。静的述語式評価インスタンス３０１Ａには、連言節に対応して、２つの内変数論理式評価インスタンス３２０Ａａ、３２０Ａｂが生成される。動的述語式評価インスタンス２０１Ａには、連言節と内変数に対応して、イベント一時保持インスタンス２０４Ａａ１、２０４Ａｂ１、２０４Ａｂ２が生成される。
【０１１９】
更に、図３７のイベント６１１を図４６のタイミングで受信した場合、動的述語式評価インスタンス２０１Ａには、連言節に対応して、２つの連言節評価インスタンス２１１Ａａ（１）、２１１Ａｂ（１）が生成される（図４６、１０：０５）。論理和処理インスタンス２１４Ａ（１）は、連言節評価インスタンス２１１Ａａ（１）、２１１Ａｂ（１）の評価結果の論理和とタイムアウトを処理する。連言節評価インスタンス２１１Ａａ（１）と２１１Ａｂ（１）の両方がタイムアウトすると、「ｘｅ１：イベント６１１」が、非存在判定が真となるイベントとして、イベント利用システム１０３に通知される（図４６、１２：００）。
【０１２０】
次に、図４７に本発明の第一の実施の形態の特徴的な構成を示す。
【０１２１】
述語式評価システム１０１は、イベントを評価するためのイベントパターン述語式の加法標準形の各連言節において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する述語式変換部１０５と、評価対象のイベントのうちの所定のイベントを当該束縛変数に対応付けて、ブール値置換述語式を評価するためのインスタンスを生成し、イベントの前記ブール値置換述語式に対する評価を当該インスタンスにより行う述語式評価部１０６を備える。
【０１２２】
本発明の第一の実施によれば、述語式評価システムにおいて、イベントに対するリアルタイムな非存在判定を効率的に行うことができる。その理由は、述語式変換部１０５が、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成し、述語式評価部１０６が、評価対象のイベントのうちの所定のイベントを当該束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、イベントのブール値置換述語式に対する評価を当該インスタンスにより行うためである。
【符号の説明】
【０１２３】
１００    イベント処理システム
１０１    述語式評価システム
１０２    イベント発生システム
１０３    イベント利用システム
１０４    イベントパターン登録システム
１０５    述語式変換部
１０６    述語式評価部
１０７    最大遅延時間管理部
２００    動的述語式評価部
２０１    動的述語式評価インスタンス
２０２    動的述語式生成処理インスタンス
２０３    動的述語式管理インスタンス
２０４    イベント一時保持インスタンス
２１０    変数代入済み述語式評価インスタンス
２１１    連言節評価インスタンス
２１２    論理式評価インスタンス
２１３    評価終了処理インスタンス
２１４    論理和処理インスタンス
２１５    論理否定処理インスタンス
２１６    イベント通知インスタンス
３００    静的述語式評価部
３０１    静的述語式評価インスタンス
３１０    Ｐｉ組み合わせ述語式評価インスタンス
３１１    論理式評価インスタンス
３１２    イベント一時保持部
３２０    内変数論理式評価インスタンス
３２１    論理式評価インスタンス
４００    タイマ
４０１    タイムアウト管理インスタンス
５１０    Ｐｉ管理表
５２０    ブール値置換述語式管理表
５３０    評価用述語式管理表
【図１】
2010157176.tif 000003
【図２】
2010157176.tif 000004
【図３】
2010157176.tif 000005
【図４】
2010157176.tif 000006
【図５】
2010157176.tif 000007
【図６】
2010157176.tif 000008
【図７】
2010157176.tif 000009
【図８】
2010157176.tif 000010
【図９】
2010157176.tif 000011
【図１０】
2010157176.tif 000012
【図１１】
2010157176.tif 000013
【図１２】
2010157176.tif 000014
【図１３】
2010157176.tif 000015
【図１４】
2010157176.tif 000016
【図１５】
2010157176.tif 000017
【図１６】
2010157176.tif 000018
【図１７】
2010157176.tif 000019
【図１８】
2010157176.tif 000020
【図１９】
2010157176.tif 000021
【図２０】
2010157176.tif 000022
【図２１】
2010157176.tif 000023
【図２２】
2010157176.tif 000024
【図２３】
2010157176.tif 000025
【図２４】
2010157176.tif 000026
【図２５】
2010157176.tif 000027
【図２６】
2010157176.tif 000028
【図２７】
2010157176.tif 000029
【図２８】
2010157176.tif 000030
【図２９】
2010157176.tif 000031
【図３０】
2010157176.tif 000032
【図３１】
2010157176.tif 000033
【図３２】
2010157176.tif 000034
【図３３】
2010157176.tif 000035
【図３４】
2010157176.tif 000036
【図３５】
2010157176.tif 000037
【図３６】
2010157176.tif 000038
【図３７】
2010157176.tif 000039
【図３８】
2010157176.tif 000040
【図３９】
2010157176.tif 000041
【図４０】
2010157176.tif 000042
【図４１】
2010157176.tif 000043
【図４２】
2010157176.tif 000044
【図４３】
2010157176.tif 000045
【図４４】
2010157176.tif 000046
【図４５】
2010157176.tif 000047
【図４６】
2010157176.tif 000048
【図４７】
2010157176.tif 000049