JPH0664534B2 - 単一化候補項の選択装置 - Google Patents
単一化候補項の選択装置Info
- Publication number
- JPH0664534B2 JPH0664534B2 JP63102609A JP10260988A JPH0664534B2 JP H0664534 B2 JPH0664534 B2 JP H0664534B2 JP 63102609 A JP63102609 A JP 63102609A JP 10260988 A JP10260988 A JP 10260988A JP H0664534 B2 JPH0664534 B2 JP H0664534B2
- Authority
- JP
- Japan
- Prior art keywords
- term
- characteristic value
- bits
- constant
- unification
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Lifetime
Links
Landscapes
- Devices For Executing Special Programs (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Description
【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） 本発明は、知識ベースシステム、ファイルシステムなど
の単一化を伴う検索に際し、項データの集合から単一化
候補項を選択する技術に関わり、特に検索項及び条件項
を所定ビットの特性値に変換して単一化可能性を検証す
る単一化候補項の選択装置に関する。
の単一化を伴う検索に際し、項データの集合から単一化
候補項を選択する技術に関わり、特に検索項及び条件項
を所定ビットの特性値に変換して単一化可能性を検証す
る単一化候補項の選択装置に関する。
（従来の技術） 知識ベースシステム、ファイルシステム等においては、
変数を含む項データの単一化を伴う検索に際し、検索対
象を絞り込んで検索効率の向上を図るため、予め検索対
象となる項データの集合から検索項データと単一化可能
性のある単一化候補項を選択することが行われる。この
種の選択処理は、高速に行われることが前提条件となる
ため、従来より検索項データを高速演算処理に適した形
態に変換することが種々行われている。その一つにＦＥ
Ｗ（field encode word）法が知られている（Wise,M,
J.,Powers,D.M.W.,“Indexing PROLOG Clauses via Sup
erimposed Code word and Field Encode Words",in Pro
ceeding of the IEEE Conference on Logic Programin
g,Atrantic City,NJ,January 1984,pp.203-210）。以
下、この方法について説明する。
変数を含む項データの単一化を伴う検索に際し、検索対
象を絞り込んで検索効率の向上を図るため、予め検索対
象となる項データの集合から検索項データと単一化可能
性のある単一化候補項を選択することが行われる。この
種の選択処理は、高速に行われることが前提条件となる
ため、従来より検索項データを高速演算処理に適した形
態に変換することが種々行われている。その一つにＦＥ
Ｗ（field encode word）法が知られている（Wise,M,
J.,Powers,D.M.W.,“Indexing PROLOG Clauses via Sup
erimposed Code word and Field Encode Words",in Pro
ceeding of the IEEE Conference on Logic Programin
g,Atrantic City,NJ,January 1984,pp.203-210）。以
下、この方法について説明する。
知識ベースに格納されている各項を検索項、単一化の条
件を与える項を条件項と呼ぶと、いま検索項として、 ｆ（ａ） ｆ（ａ，Ｘ） ｆ（ａ，ｇ（ｂ）） の３つの項が知識ベースに格納され、条件項として、 ｆ（Ｙ，ｂ） が与えられたとする。なお、ここで各項を構成する要素
のうち、小文字で記述されたｆ，ａ，ｂは定数、大文字
で記述されたＸ，Ｙは変数であり、カッコ内の要素は、
左括弧の左に付された要素の引数である。
件を与える項を条件項と呼ぶと、いま検索項として、 ｆ（ａ） ｆ（ａ，Ｘ） ｆ（ａ，ｇ（ｂ）） の３つの項が知識ベースに格納され、条件項として、 ｆ（Ｙ，ｂ） が与えられたとする。なお、ここで各項を構成する要素
のうち、小文字で記述されたｆ，ａ，ｂは定数、大文字
で記述されたＸ，Ｙは変数であり、カッコ内の要素は、
左括弧の左に付された要素の引数である。
まず、これら検索項及び条件項は、それぞれ適当なビッ
ト数の特性値に変換される。これら特性値が例えば16ビ
ットであるとすると、まず、検索項ｆ（ａ）は、引数が
１つの関数ｆと定数ａとから構成されるので、第３図
（ａ）に示すように、16ビットのフィールドを例えば10
ビットと６ビットとに分割し、上位10ビットに関数ｆの
アスキーコード６６Ｈ（16進数表示）を割当て、下位６
ビットに定数ａのアスキーコード６１Ｈのうちの下位６
ビットの２１Ｈを割当てる。また、検索項ｆ（ａ，Ｘ）
は、引数が２つの関数ｆと定数ａと変数Ｘとから構成さ
れるので、第３図（ｂ）に示すように、16ビットのフィ
ールドを例えば、８ビット、４ビット及び４ビットに分
割し、上位８ビットに関数ｆのアスキーコード６６Ｈを
割当て、真中の４ビットに定数ａのアスキーコード６１
Ｈの下位４ビットである１Ｈを割当て、更に変数Ｘに対
応する下位４ビットには全て１を割当てる。同様に、検
索項ｆ（ａ，ｇ（ｂ））は、引数が２つの関数ｆ、定数
ａ、引数が１つの定数ｇ、及び定数ｂより構成されるの
で、第３図（ｃ）に示すように、16ビットのフィールド
を例えば８ビット、４ビット、２ビット及び２ビットに
分割し、上位８ビットに関数ｆのアスキーコード６６Ｈ
を割当て、次の４ビットに定数ａのアスキーコード６１
Ｈの下位４ビットである１Ｈを割当て、以下、それに続
く２ビット、２ビットに、それぞれ定数ｇ，ｂのアスキ
ーコードの下位２ビット３Ｈ，２Ｈをそれぞれ割当て
る。これにより、各検索項の特性値１，２，３を得る。
ト数の特性値に変換される。これら特性値が例えば16ビ
ットであるとすると、まず、検索項ｆ（ａ）は、引数が
１つの関数ｆと定数ａとから構成されるので、第３図
（ａ）に示すように、16ビットのフィールドを例えば10
ビットと６ビットとに分割し、上位10ビットに関数ｆの
アスキーコード６６Ｈ（16進数表示）を割当て、下位６
ビットに定数ａのアスキーコード６１Ｈのうちの下位６
ビットの２１Ｈを割当てる。また、検索項ｆ（ａ，Ｘ）
は、引数が２つの関数ｆと定数ａと変数Ｘとから構成さ
れるので、第３図（ｂ）に示すように、16ビットのフィ
ールドを例えば、８ビット、４ビット及び４ビットに分
割し、上位８ビットに関数ｆのアスキーコード６６Ｈを
割当て、真中の４ビットに定数ａのアスキーコード６１
Ｈの下位４ビットである１Ｈを割当て、更に変数Ｘに対
応する下位４ビットには全て１を割当てる。同様に、検
索項ｆ（ａ，ｇ（ｂ））は、引数が２つの関数ｆ、定数
ａ、引数が１つの定数ｇ、及び定数ｂより構成されるの
で、第３図（ｃ）に示すように、16ビットのフィールド
を例えば８ビット、４ビット、２ビット及び２ビットに
分割し、上位８ビットに関数ｆのアスキーコード６６Ｈ
を割当て、次の４ビットに定数ａのアスキーコード６１
Ｈの下位４ビットである１Ｈを割当て、以下、それに続
く２ビット、２ビットに、それぞれ定数ｇ，ｂのアスキ
ーコードの下位２ビット３Ｈ，２Ｈをそれぞれ割当て
る。これにより、各検索項の特性値１，２，３を得る。
一方、条件項ｆ（Ｙ，ｂ）は、引数が２つの関数ｆと変
数Ｙと定数ｂとから構成されるので、第３図（ｄ）に示
すように、16ビットのフィールドを例えば８ビット、４
ビット及び４ビットに分割し、上位８ビットに関数ｆの
アスキーコード６６Ｈを割当て、変数Ｙに対応する真中
の４ビットには全て０を割当て、下位４ビットには定数
ｂに対応するコード２Ｈを割当てる。これにより条件項
の特性値４を得る。
数Ｙと定数ｂとから構成されるので、第３図（ｄ）に示
すように、16ビットのフィールドを例えば８ビット、４
ビット及び４ビットに分割し、上位８ビットに関数ｆの
アスキーコード６６Ｈを割当て、変数Ｙに対応する真中
の４ビットには全て０を割当て、下位４ビットには定数
ｂに対応するコード２Ｈを割当てる。これにより条件項
の特性値４を得る。
このように各検索項及び条件項の特性値１〜４が得られ
たら、検索項の特性値をＤ、条件項の特性値をＱとし
て、ＤとＱのビット毎の論理積結果とＱとを比較する。
これにより、ＤΛＱ≠Ｑであれば、検索項と条件項とは
単一化可能性がないと判定する。たとえば、ｆ（ａ）と
ｆ（Ｙ，ｂ）とは、 であるから単一化可能性はないと判定される。また、検
索項ｆ（ａ，Ｘ）と条件項ｆ（Ｙ，ｂ）とは、 となるから単一化可能性があると判定される。更に、検
索項ｆ（ａ，ｇ（ｂ））と条件項ｆ（Ｙ，ｂ）とは、 となるから単一化可能性があると判定される。
たら、検索項の特性値をＤ、条件項の特性値をＱとし
て、ＤとＱのビット毎の論理積結果とＱとを比較する。
これにより、ＤΛＱ≠Ｑであれば、検索項と条件項とは
単一化可能性がないと判定する。たとえば、ｆ（ａ）と
ｆ（Ｙ，ｂ）とは、 であるから単一化可能性はないと判定される。また、検
索項ｆ（ａ，Ｘ）と条件項ｆ（Ｙ，ｂ）とは、 となるから単一化可能性があると判定される。更に、検
索項ｆ（ａ，ｇ（ｂ））と条件項ｆ（Ｙ，ｂ）とは、 となるから単一化可能性があると判定される。
しかしながら、最後の例についてみると、検索項ｆ
（ａ，ｇ（ｂ））と条件項ｆ（Ｙ，ｂ）とは、それぞれ
の第２引数が明らかに異なるので、実際には、単一化が
不可能であるにも拘らず、単一化が可能であると判定し
ている。つまり、ＦＥＷ法では、条件項の各要素に対す
る特性値の計算において、余所が変数であって対応する
ビットに０がセットされる場合と、要素が変数でなく特
性値の計算でたまたまビットに０がセットされる場合と
が全く同一に取扱われるため、実際には、単一化できな
いにも拘らず特性値による判定では単一化可能であると
判定されてしまうことが高い確率で発生する。このた
め、単一化候補の絞り込み効果が低く、項検索の十分な
高速化を図ることができないという問題があった。
（ａ，ｇ（ｂ））と条件項ｆ（Ｙ，ｂ）とは、それぞれ
の第２引数が明らかに異なるので、実際には、単一化が
不可能であるにも拘らず、単一化が可能であると判定し
ている。つまり、ＦＥＷ法では、条件項の各要素に対す
る特性値の計算において、余所が変数であって対応する
ビットに０がセットされる場合と、要素が変数でなく特
性値の計算でたまたまビットに０がセットされる場合と
が全く同一に取扱われるため、実際には、単一化できな
いにも拘らず特性値による判定では単一化可能であると
判定されてしまうことが高い確率で発生する。このた
め、単一化候補の絞り込み効果が低く、項検索の十分な
高速化を図ることができないという問題があった。
（発明が解決しようとする課題） このように、従来のＦＥＷ法を用いた単一化候補項の選
択方式は、検索の対象となる項及び条件として与えられ
る項の両方に変数が含まれていても単一化可能性を判定
できる点で優れた方式であるが、実際には単一化不可能
なものまでを単一化可能であると判定してしまう確率が
高く、項検索を十分に高速化することができないという
問題があった。一方、検索の対象となる検索項について
は変数が含まれない場合も実際には多くある。
択方式は、検索の対象となる項及び条件として与えられ
る項の両方に変数が含まれていても単一化可能性を判定
できる点で優れた方式であるが、実際には単一化不可能
なものまでを単一化可能であると判定してしまう確率が
高く、項検索を十分に高速化することができないという
問題があった。一方、検索の対象となる検索項について
は変数が含まれない場合も実際には多くある。
そこで、本発明は、このような検索項に変数が含まれな
い場合において、単一化候補項の十分な絞り込み効果が
期待できる単一化候補項の選択装置を提供することを目
的とする。
い場合において、単一化候補項の十分な絞り込み効果が
期待できる単一化候補項の選択装置を提供することを目
的とする。
［発明の構成］ （課題を解決するための手段） 本発明の単一化候補項の選択装置は、検索項と条件項の
項データの単一化可能性のある候補項を選択する単一化
候補項の選択装置において、定数のみから構成される検
索項の構造に応じてビットフィールドを分割する第１の
分割手段と、この第１の分割手段で分割して得られた各
分割フィールドに当該検索項の各要素の数値変換値を対
応させた所定ビットの第１の特性値を求める第１の特性
値算出手段と、定数及び１又は変数から構成される条件
項の構造に応じてビットフィールドを分割する第２の分
割手段と、この第２の分割手段で分割して得られた定数
要素が対応する分割フィールドに当該定数要素の数値変
換値を対応させ、変数要素が対応する分割フィールドの
全ビットに１を対応させた前記第１の特性値と同一ビッ
トの第２の特性値を求める第２の特性値算出手段と、前
記第２の分割手段で分割して得られた定数要素が対応す
る分割フィールドの全ビットに１を対応させ、変数要素
が対応する分割フィールドの全ビットに０を対応させた
前記第１の特性値と同一ビットの定数部分のみを抽出す
るマスクパターンとしての第３の特性値を求める第３の
特性値算出手段と、前記第１の特性値と前記第３の特性
値との論理積の結果と前記第２の特性値とを比較して、
両者が同一でなければ、前記検索項は前記条件項と単一
化可能性がないと判定する判定手段とを具備することを
特徴とする単一化候補項の選択装置。
項データの単一化可能性のある候補項を選択する単一化
候補項の選択装置において、定数のみから構成される検
索項の構造に応じてビットフィールドを分割する第１の
分割手段と、この第１の分割手段で分割して得られた各
分割フィールドに当該検索項の各要素の数値変換値を対
応させた所定ビットの第１の特性値を求める第１の特性
値算出手段と、定数及び１又は変数から構成される条件
項の構造に応じてビットフィールドを分割する第２の分
割手段と、この第２の分割手段で分割して得られた定数
要素が対応する分割フィールドに当該定数要素の数値変
換値を対応させ、変数要素が対応する分割フィールドの
全ビットに１を対応させた前記第１の特性値と同一ビッ
トの第２の特性値を求める第２の特性値算出手段と、前
記第２の分割手段で分割して得られた定数要素が対応す
る分割フィールドの全ビットに１を対応させ、変数要素
が対応する分割フィールドの全ビットに０を対応させた
前記第１の特性値と同一ビットの定数部分のみを抽出す
るマスクパターンとしての第３の特性値を求める第３の
特性値算出手段と、前記第１の特性値と前記第３の特性
値との論理積の結果と前記第２の特性値とを比較して、
両者が同一でなければ、前記検索項は前記条件項と単一
化可能性がないと判定する判定手段とを具備することを
特徴とする単一化候補項の選択装置。
また、特性値Ｑは、変数要素が対応する分割フィールド
の全ビットに１を対応させ、特性値Ｍは、変数でない部
分に０を対応させ、変数である部分に１をたて、単一化
可能性の判定にはビット毎の論理積のかわりにビット毎
の論理和を使用するようにしても良い。
の全ビットに１を対応させ、特性値Ｍは、変数でない部
分に０を対応させ、変数である部分に１をたて、単一化
可能性の判定にはビット毎の論理積のかわりにビット毎
の論理和を使用するようにしても良い。
（作用） 本発明によれば、第３の特性値Ｍが条件項の変数部分の
みをマスクするマスクパターンとなっているので、第１
の特性値Ｄと第３の特性値Ｍとを論理積することで、検
索項の特性値Ｄに対し、条件項の変数部分に対応する部
分のみを０に置換えた値が得られる。従って、検索項の
特性値Ｄに含まれる定数部分の値はそのまま情報として
残り、条件項の特性値Ｑとの比較において、異なる定数
についてはその違いを検出することが可能となる。よっ
て、本発明によれば、実際には単一化可能性のない項が
誤って単一化可能性があると判定される確率を大幅に低
減することができ、項検索の高速化を図ることができ
る。
みをマスクするマスクパターンとなっているので、第１
の特性値Ｄと第３の特性値Ｍとを論理積することで、検
索項の特性値Ｄに対し、条件項の変数部分に対応する部
分のみを０に置換えた値が得られる。従って、検索項の
特性値Ｄに含まれる定数部分の値はそのまま情報として
残り、条件項の特性値Ｑとの比較において、異なる定数
についてはその違いを検出することが可能となる。よっ
て、本発明によれば、実際には単一化可能性のない項が
誤って単一化可能性があると判定される確率を大幅に低
減することができ、項検索の高速化を図ることができ
る。
また、特性値Ｑは、変数要素が対応する分割フィールド
の全ビットに１を対応させ、特性値Ｍとして、変数でな
い部分に０を対応させ、変数である部分に１をたて、単
一化可能性の判定にはビット毎の論理積のかわりにビッ
ト毎の論理和を使用する場合も同様の作用が得られる。
の全ビットに１を対応させ、特性値Ｍとして、変数でな
い部分に０を対応させ、変数である部分に１をたて、単
一化可能性の判定にはビット毎の論理積のかわりにビッ
ト毎の論理和を使用する場合も同様の作用が得られる。
（実施例） 以下、図面を参照しながら本発明の一実施例について説
明する。
明する。
第１図は本実施例に係る単一化候補項の選択装置の構成
を示すブロック図である。
を示すブロック図である。
この装置は、検索項を入力して所定ビットの第１の特性
値Ｄを算出する特性値Ｄの算出手段１１と、条件項を入
力して第２の特性値Ｑ及び第３の特性値Ｍをそれぞれ算
出する特性値Ｑの算出手段１２及び特性値Ｍの算出手段
１３と、これら計算手段１１〜１３で算出された特性値
Ｄ，Ｑ，Ｍから（ＤΛＭ）とＱとを比較して検索項につ
いての単一化可能性を判定結果として出力する判定手段
１４とにより構成されている。
値Ｄを算出する特性値Ｄの算出手段１１と、条件項を入
力して第２の特性値Ｑ及び第３の特性値Ｍをそれぞれ算
出する特性値Ｑの算出手段１２及び特性値Ｍの算出手段
１３と、これら計算手段１１〜１３で算出された特性値
Ｄ，Ｑ，Ｍから（ＤΛＭ）とＱとを比較して検索項につ
いての単一化可能性を判定結果として出力する判定手段
１４とにより構成されている。
以上の構成において、いま、検索項として、 ｆ（ａ） ｆ（ａ，ｇ（ｂ）） 条件項として、 ｆ（Ｙ，ｂ） が与えられるとする。特性値Ｄ，Ｑ，Ｍを16ビットに設
定すると、計算手段１１，１２は検索項及び条件項を従
来のＦＥＷ法と全く同様の方法で特性値Ｄ及び特性値Ｑ
にそれぞれ変換する。
定すると、計算手段１１，１２は検索項及び条件項を従
来のＦＥＷ法と全く同様の方法で特性値Ｄ及び特性値Ｑ
にそれぞれ変換する。
即ち、検索項ｆ（ａ）は、引数が１つの定数ｆと定数ａ
とで構成されているので、計算手段１１は、第２図
（ａ）に示すように、16ビットのビットフィールドを例
えば10ビットと６ビットの２つのフィールドに分割し、
上位のフィールドにｆの数値変換値６６Ｈを割当て、下
位のフィールドにａの数値変換値の下位６ビットである
２１Ｈを割当てる。これにより、検索項ｆ（ａ）の特性
値ｄは第２図（ａ）に２１で示す値になる。また、検索
項ｆ（ａ，ｇ（ｂ））については、引数が２つの関数
ｆ、定数ａ、引数が１つの定数ｇ、及び定数ｂより構成
されるので、計算手段１１は、第２図（ｂ）に示すよう
に、16ビットのフィールドを例えば８ビット、４ビッ
ト、２ビット及び２ビットに分割し、上位８ビットに関
数ｆのアスキーコード６６Ｈを割当て、次の４ビットに
定数ａのアスキーコード６１Ｈの下位４ビットである１
Ｈを割当て、以下、それに続く２ビット、２ビットに、
それぞれ定数ｇ，ｂのアスキーコードの下位２ビット３
Ｈ，２Ｈをそれぞれ割当てる。これにより、検索項ｆ
（ａ，ｇ（ｂ））の特性値Ｄは、第２図（ｂ）に２２で
示す値になる。
とで構成されているので、計算手段１１は、第２図
（ａ）に示すように、16ビットのビットフィールドを例
えば10ビットと６ビットの２つのフィールドに分割し、
上位のフィールドにｆの数値変換値６６Ｈを割当て、下
位のフィールドにａの数値変換値の下位６ビットである
２１Ｈを割当てる。これにより、検索項ｆ（ａ）の特性
値ｄは第２図（ａ）に２１で示す値になる。また、検索
項ｆ（ａ，ｇ（ｂ））については、引数が２つの関数
ｆ、定数ａ、引数が１つの定数ｇ、及び定数ｂより構成
されるので、計算手段１１は、第２図（ｂ）に示すよう
に、16ビットのフィールドを例えば８ビット、４ビッ
ト、２ビット及び２ビットに分割し、上位８ビットに関
数ｆのアスキーコード６６Ｈを割当て、次の４ビットに
定数ａのアスキーコード６１Ｈの下位４ビットである１
Ｈを割当て、以下、それに続く２ビット、２ビットに、
それぞれ定数ｇ，ｂのアスキーコードの下位２ビット３
Ｈ，２Ｈをそれぞれ割当てる。これにより、検索項ｆ
（ａ，ｇ（ｂ））の特性値Ｄは、第２図（ｂ）に２２で
示す値になる。
また、条件項ｆ（Ｙ，ｂ）については、引数が２つの関
数ｆと変数Ｙと定数ｂとから構成されるので、計算手段
１１は、第２図（ｃ）に２３で示すように、16ビットの
フィールドを例えば８ビット、４ビット及び４ビットに
分割し、上位８ビットに関数ｆのアスキーコード６６Ｈ
を割当て、変数Ｙに対応する真中に４ビットには全て０
を割当て、下位４ビットには定数ｂに対応するコード２
Ｈを割当てる。これにより、条件項の特性値Ｑは、第２
図（ｃ）の２３で示す値となる。
数ｆと変数Ｙと定数ｂとから構成されるので、計算手段
１１は、第２図（ｃ）に２３で示すように、16ビットの
フィールドを例えば８ビット、４ビット及び４ビットに
分割し、上位８ビットに関数ｆのアスキーコード６６Ｈ
を割当て、変数Ｙに対応する真中に４ビットには全て０
を割当て、下位４ビットには定数ｂに対応するコード２
Ｈを割当てる。これにより、条件項の特性値Ｑは、第２
図（ｃ）の２３で示す値となる。
一方、特性値Ｍの計算手段１３は、上記条件項ｆ（Ｙ，
ｂ）の特性値の16ビットのフィールドを第２図（ｃ）の
２４に示すように、８ビット、４ビット及び４ビットに
分割し、定数ｆ，ｂに対応する上位８ビットと下位４ビ
ットのフィールドの全ビットに１を割当て、変数Ｙに対
応する真中の４ビットのフィールドの全ビットには０を
割当てる。これにより、条件項の特性値Ｍは、第２図
（ｃ）の２４で示すような定数部分のみを抽出するマス
クパターンとなる。
ｂ）の特性値の16ビットのフィールドを第２図（ｃ）の
２４に示すように、８ビット、４ビット及び４ビットに
分割し、定数ｆ，ｂに対応する上位８ビットと下位４ビ
ットのフィールドの全ビットに１を割当て、変数Ｙに対
応する真中の４ビットのフィールドの全ビットには０を
割当てる。これにより、条件項の特性値Ｍは、第２図
（ｃ）の２４で示すような定数部分のみを抽出するマス
クパターンとなる。
次に、判定手段１４は、上記の各特性値Ｄ，Ｑ，Ｍを入
力して検索項と条件項との単一化可能性を判定する。即
ち、先ず検索項ｆ（ａ）と条件項ｆ（Ｙ，ｂ）について
は、 であるから単一化可能性はないと判定される。また、検
索項ｆ（ａ，ｇ（ｂ））と条件項ｆ（Ｙ，ｂ）とは、 となるから、この場合も単一化可能性がないと判定され
る。
力して検索項と条件項との単一化可能性を判定する。即
ち、先ず検索項ｆ（ａ）と条件項ｆ（Ｙ，ｂ）について
は、 であるから単一化可能性はないと判定される。また、検
索項ｆ（ａ，ｇ（ｂ））と条件項ｆ（Ｙ，ｂ）とは、 となるから、この場合も単一化可能性がないと判定され
る。
この例から分るように、従来のＦＥＷ法では、条件項の
特性値において、ビット０が存在すると、検索項の特性
値の対応するビットの値が０と１のいずれであっても、
そのビットに関する限り単一化可能でないと判定できな
かったが、本実施例に係る単一化候補項の選択装置で
は、条件項に対する特性値Ｑの変数部分のマスク作用
を、第３の特性値Ｍによって得、検索項の特性値Ｄ内の
重要な情報が失われないようにしたので、その判定の精
度を飛躍的に向上させることができる。しかも、従来の
ＦＥＷ法に比べて検索項に対する特性値の大きさは何等
変わることはない。
特性値において、ビット０が存在すると、検索項の特性
値の対応するビットの値が０と１のいずれであっても、
そのビットに関する限り単一化可能でないと判定できな
かったが、本実施例に係る単一化候補項の選択装置で
は、条件項に対する特性値Ｑの変数部分のマスク作用
を、第３の特性値Ｍによって得、検索項の特性値Ｄ内の
重要な情報が失われないようにしたので、その判定の精
度を飛躍的に向上させることができる。しかも、従来の
ＦＥＷ法に比べて検索項に対する特性値の大きさは何等
変わることはない。
なお、上記実施例では、変数を含む検索項についてはそ
のまま適用できないが、次に示す２つの方法によれば、
変数含む検索項についても本発明を適用することは可能
である。
のまま適用できないが、次に示す２つの方法によれば、
変数含む検索項についても本発明を適用することは可能
である。
第１の方法は、検索項のうち、変数を含まない項につい
ては、上記実施例による方法を適用し、変数を含む項に
ついてはＦＥＷ法を適用する方式である。この方法によ
れば、ＦＥＷ法のみの場合より優れた検索方法となる。
一例を挙げると、検索項に対する特性値の大きさを１ビ
ットだけ大きくし、そこにその項が変数を含むか否かを
示すフラグをセットする。そして、実際に項を検索する
際に、そのフラグビットをまず参照して変数を含まない
場合には、本方式を適用し、変数を含む場合にはＦＥＷ
法を適用する。
ては、上記実施例による方法を適用し、変数を含む項に
ついてはＦＥＷ法を適用する方式である。この方法によ
れば、ＦＥＷ法のみの場合より優れた検索方法となる。
一例を挙げると、検索項に対する特性値の大きさを１ビ
ットだけ大きくし、そこにその項が変数を含むか否かを
示すフラグをセットする。そして、実際に項を検索する
際に、そのフラグビットをまず参照して変数を含まない
場合には、本方式を適用し、変数を含む場合にはＦＥＷ
法を適用する。
また、第２の方法は、検索項についても条件項と同様に
特性値を２つ用意する方法である。即ち、特性値Ｄを条
件項の特性値Ｑと同様の方法で求める。また、新たな特
性値Ｌを導入し、それを条件項の特性値Ｍと同様の方法
で求める。このようにすると、特性値による単一化可能
性の判定には次の式を使用すれば良い。
特性値を２つ用意する方法である。即ち、特性値Ｄを条
件項の特性値Ｑと同様の方法で求める。また、新たな特
性値Ｌを導入し、それを条件項の特性値Ｍと同様の方法
で求める。このようにすると、特性値による単一化可能
性の判定には次の式を使用すれば良い。
ＤΛＭ＝ＱΛＬ 即ち、検索項と条件項のそれぞれについて、変数の位置
に対応して特性値Ｌと特性値Ｍとを求め、それぞれ相手
方の特性値Ｑ及び特性値Ｄをマスクすることにより、両
者ともに変数でない部分についての比較を行なう。この
方法も、ＦＥＷ法よりも優れた判定結果を与える。しか
し、各検索行に対して２つの特性値を格納している必要
があるので、ＦＥＷ法よりも多くの格納領域を必要とす
る。
に対応して特性値Ｌと特性値Ｍとを求め、それぞれ相手
方の特性値Ｑ及び特性値Ｄをマスクすることにより、両
者ともに変数でない部分についての比較を行なう。この
方法も、ＦＥＷ法よりも優れた判定結果を与える。しか
し、各検索行に対して２つの特性値を格納している必要
があるので、ＦＥＷ法よりも多くの格納領域を必要とす
る。
また、本発明は、条件項の特性値として、定数及び関数
子に対応する特性値Ｑと、変数の位置を示す特性値Ｍの
２つを用意し、検索項の定数及び関数子に対する特性値
Ｄを条件項の変数の位置を示す特性値Ｍでマスクするこ
とにより、定数及び関数値に対応する特性値同士の比較
を正確に行ない、判定の精度を向上させた点が特徴であ
る。従って、特性値Ｑは、変数である部分に１を対応さ
せ、特性値Ｍは、変数でない部分に０を対応させ、変数
である部分に１をたて、単一化可能性の判定にはビット
毎の論理積のかわりにビット毎の論理和を使用するよう
にしても良い。また、別の実施例として特性値Ｍを使用
する代わりに、変数の出現位置を記憶し、特性値Ｄと特
性値Ｍのビット毎の論理積に相当する演算を別手段で行
なうことも可能である。
子に対応する特性値Ｑと、変数の位置を示す特性値Ｍの
２つを用意し、検索項の定数及び関数子に対する特性値
Ｄを条件項の変数の位置を示す特性値Ｍでマスクするこ
とにより、定数及び関数値に対応する特性値同士の比較
を正確に行ない、判定の精度を向上させた点が特徴であ
る。従って、特性値Ｑは、変数である部分に１を対応さ
せ、特性値Ｍは、変数でない部分に０を対応させ、変数
である部分に１をたて、単一化可能性の判定にはビット
毎の論理積のかわりにビット毎の論理和を使用するよう
にしても良い。また、別の実施例として特性値Ｍを使用
する代わりに、変数の出現位置を記憶し、特性値Ｄと特
性値Ｍのビット毎の論理積に相当する演算を別手段で行
なうことも可能である。
［発明の効果］ 以上述べたように、本発明によれば、変数を含まない検
索項の集合から条件項と単一化可能な項を正確に検出で
きるので、項検索の高速化に大いに寄与することが可能
である。
索項の集合から条件項と単一化可能な項を正確に検出で
きるので、項検索の高速化に大いに寄与することが可能
である。
第１図は本発明の一実施例に係る単一化候補項の選択装
置のブロック図、第２図は同装置にて得られる各特性値
を示す図、第３図は従来のＦＥＷ法で使用される各特性
値を示す図である。 １１…特性値Ｄの計算手段、１２…特性値Ｑの計算手
段、１３…特性値Ｍの計算手段、１４…判定手段。
置のブロック図、第２図は同装置にて得られる各特性値
を示す図、第３図は従来のＦＥＷ法で使用される各特性
値を示す図である。 １１…特性値Ｄの計算手段、１２…特性値Ｑの計算手
段、１３…特性値Ｍの計算手段、１４…判定手段。
Claims (1)
- 【請求項１】検索項と条件項の項データの単一化可能性
のある候補項を選択する単一化候補項の選択装置におい
て、 定数のみから構成される検索項の構造に応じてビットフ
ィールドを分割して得られた各分割フィールドの、当該
検索項の各要素の数値変換値を対応させた所定ビットの
第１の特性値を求める第１の特性値算出手段と、 定数及び／叉は変数から構成される条件項の構造に応じ
てビットフィールドを分割して得られた定数要素が対応
する分割フィールドに当該定数要素の数値変換値を対応
させ、変数要素が対応する分割フィールドの全ビットに
０を対応させた、前記第１の特性値と同一ビットの第２
の特性値を求める第２の特性値算出手段と、 前記条件項の定数要素が対応する分割フィールドの全ビ
ットに１を対応させ、変数要素が対応する分割フィール
ドの全ビットに０を対応させた、前記第１の特性値と同
一ビットの定数部分のみを抽出するマスクパターンとし
ての第３の特性値を求める第３の特性値算出手段と、 前記第１の特性値と前記第３の特性値との論理積の結果
と、前記第２の特性値とを比較して、両者が同一でなけ
れば、前記検索項は前記条件項と単一化可能性がないと
判定する判定手段と を具備することを特徴とする単一化候補項の選択装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63102609A JPH0664534B2 (ja) | 1988-04-27 | 1988-04-27 | 単一化候補項の選択装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63102609A JPH0664534B2 (ja) | 1988-04-27 | 1988-04-27 | 単一化候補項の選択装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH01276237A JPH01276237A (ja) | 1989-11-06 |
| JPH0664534B2 true JPH0664534B2 (ja) | 1994-08-22 |
Family
ID=14331983
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63102609A Expired - Lifetime JPH0664534B2 (ja) | 1988-04-27 | 1988-04-27 | 単一化候補項の選択装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0664534B2 (ja) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0738195B2 (ja) * | 1991-02-05 | 1995-04-26 | 工業技術院長 | 拡張項のための重ね合わせ符号を用いた検索方法 |
| JPH0738196B2 (ja) * | 1991-09-11 | 1995-04-26 | 工業技術院長 | 構造体の検索方法 |
| WO1996010227A1 (fr) * | 1994-09-28 | 1996-04-04 | Hideki Iwanishi | Methode de selection de regle utilisee en raisonnement ascendant dans un systeme base sur une base de connaissances |
-
1988
- 1988-04-27 JP JP63102609A patent/JPH0664534B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPH01276237A (ja) | 1989-11-06 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6564206B1 (en) | Information search apparatus and method, and storage medium | |
| JPH08255176A (ja) | データベースのテーブルを比較する方法及びシステム | |
| US5878407A (en) | Storage of a graph | |
| JPH04184689A (ja) | 多角形分割方法およびその装置 | |
| JPH0664534B2 (ja) | 単一化候補項の選択装置 | |
| JP2000331156A (ja) | 輪郭に沿うトラッカを自動的に決定するための方法、及び該方法を実施するプログラムを記憶した記憶媒体 | |
| JPH02130673A (ja) | データ検索方式 | |
| US4969114A (en) | Method for determining an intuitively defined spatial relationship among physical entities | |
| US4989162A (en) | Method of using an accuracy valve in a conflict resolution of a forward inference | |
| KR101091061B1 (ko) | 수치지도 상 공간객체의 위치유사도 측정방법 및 이를 이용한 지도 매칭방법 | |
| JPH0668202A (ja) | 閉図形抽出方法 | |
| JPH01232436A (ja) | 単一化候補項の選択装置 | |
| KR102011843B1 (ko) | 데이터 조합형식 변환방법, 장치 및 프로그램 | |
| JP2752762B2 (ja) | ノードマッチング処理方式 | |
| JPH0423167A (ja) | コマンド検索方式 | |
| JPH04246785A (ja) | 図形作成装置 | |
| JP3018579B2 (ja) | 名前検索処理装置 | |
| JP2564881B2 (ja) | ビット列比較方式 | |
| JPH0452967A (ja) | 集合ファイルに対する論理積演算処理方式 | |
| JP2724235B2 (ja) | 変数名称推論装置 | |
| JPH04182828A (ja) | 擬似乱数によるテーブル内エントリー選択方式 | |
| JPH0668723B2 (ja) | 単一化候補項の選択装置 | |
| JPH02146681A (ja) | 等高線抽出方式 | |
| JPH01277983A (ja) | 文字認識方式 | |
| JPH0527912B2 (ja) |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| EXPY | Cancellation because of completion of term |