特許

J-GLOBAL ID：200903066508334032

充足可能解列挙システム

発明者： 小島 政和 ,  宇野 毅明 ,  秋葉 博 ,  平田 隆教 ,  塚原 哲夫
出願人/特許権者： マツダ株式会社
代理人 (2件)： 名越 秀夫 ,  生田 哲郎
公報種別：公開公報
出願番号（国際出願番号）：特願2003-071762
公開番号（公開出願番号）：特開2004-280523
出願日： 2003年03月17日
公開日（公表日）： 2004年10月07日
要約：

【課題】データベース検索に於いて、複数の制約条件全てを満たしている全ての組合せ解を高速に求める充足可能解列挙システムを提供することを目的とする。【解決手段】制約条件の全ての項の中の式の数が2つ以下であった場合に変数を固定することによって依存関係グラフを作成して解を求める処理A、制約条件の一つの項の中の変数が1種類である項があった場合に処理対象としなくて良い変数の要素を決定する処理B、制約条件の項で式が3つ以上且つ変数が2種類以上である場合に項の中の変数を一つ固定することによって処理A又は処理Bが行えるまで項の中の制約条件の分岐を再帰的に行う処理C、制約条件の一つの項の中へ変数が2種類であって且つ片方に関する式が一つの場合に変数を固定することによって依存関係グラフを作成することで、処理を行わなくて良い変数の要素を決定する処理Dを有する充足可能解算出手段を有する充足可能解列挙システムである。【選択図】 図1

請求項（抜粋）：

複数の制約条件全てを満たしている全ての組合せ解を求める充足可能解列挙システムであって、 前記制約条件の全ての項の中の式の数が2つ以下であった場合に、変数を固定することによって依存関係グラフを作成して解を求める処理Aからなる充足可能解算出手段を 有することを特徴とする充足可能解列挙システム。

IPC (1件)：

G06F17/30

FI (2件)：

G06F17/30 360Z ,  G06F17/30 110F

Fターム (5件)：

5B075PP23 ,  5B075PQ02 ,  5B075PQ14 ,  5B075PQ46 ,  5B075UU22

引用特許：

審査官引用 (2件)

• RDBM断片化を管理するシステム
  公報種別：公表公報   出願番号：特願2001-535859   出願人：インフォアミックスソフトウェアインコーポレイテッド
• 製品コンフィグレーション方法とシステム
  公報種別：公表公報   出願番号：特願2000-541628   出願人：シーベルシステムズ,インコーポレイティド