JPH0689309A

JPH0689309A - 集合の図式化によるデータベース検索処理方法

Info

Publication number: JPH0689309A
Application number: JP4279108A
Authority: JP
Inventors: Nobuhiko Nagamori; 信彦長森
Original assignee: Individual
Current assignee: Individual
Priority date: 1992-09-07
Filing date: 1992-09-07
Publication date: 1994-03-29
Anticipated expiration: 2017-08-26
Also published as: JP3318844B2

Abstract

(57)【要約】【目的】本発明が目的とするのは、データベース検索
の集合の量と、集合と集合の間にある論理的な関係を、
図１に示す、図式によって提示すること、図式上の矩形
の領域を指示して集合を演算操作すること、図式上の矩
形の領域を指示してデータを抽出することを可能にする
グラフィック・ユーザー・インタフェースを提供するこ
とである。【構成】本発明のプログラムは、プログラム間のメッ
セージ交換、または通信回線網で接続する端末システム
のメッセージ交換によって、データベース問い合わせ言
語プログラムと交信し、集合生成手段、集合描画手段、
集合選択手段、集合写像手段、集合抽出手段によって問
い合わせ言語プログラムの検索指令を生成し、利用者の
入力操作を代替する。【効果】検索処理操作の簡便化、ならびに集合の量、
集合の関係を評価判定するための論理的な思考を支援す
ることができる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、商用データベース・サ
ービス、企業内の業務データベースならびに個人のデー
タベースの利用における、グラフィック・ディスプレイ
装置と、マウス等の指示装置を具備するパーソナル・コ
ンピュータ・システムまたはワークステーション・シス
テムを用いたデータベース検索処理方法に関する。

【０００２】

【従来の技術】従来のデータベース検索処理方法は、デ
ータベース・システムが提供する問い合わせ言語プログ
ラムの指令を用いて検索条件式を記述し、キーボード装
置によって入力し、条件を満足する集合の件数ならびに
集合のデータ要素を、文字形式の応答メッセージで、デ
ィスプレイ装置等の表示装置に出力する方式で行なうも
のが一般的である。

【０００３】

【発明が解決しようとする課題】データベース検索に
は、対象を認識する思考上の論理的な課題と、対象を求
める操作上の技術的な課題とが存在する。論理的な課題
は、対象の分野における知識と理解によって、抽象的な
対象の要件を分析し、データベースにおける対象の集合
を把握して、集合を限定する具体的な検索条件を作成す
ること、ならびにその検索結果によって得た集合を評価
判定して、より的確に目的の対象を限定する最適な検索
条件を作成することである。技術的な課題は、コンピュ
ータの操作に習熟すること、ならびにファイル名やフィ
ールド名などのデータベースの構成情報と、問い合わせ
言語の記法または文法に対する知識とをもって、目的の
対象を検索する問い合わせ言語プログラムの指令を記述
し、入力することである。

【０００４】本発明が目的とするのは、データベース検
索の集合の量と、集合と集合の間にある論理的な関係
を、図１に示す、図式によって提示すること、図式上の
矩形の領域を指示して集合を演算操作すること、図式上
の矩形の領域を指示してデータを抽出することを可能に
するグラフィック・ユーザー・インタフェースと、上記
する論理的な課題と、技術的な課題を統合的に解決する
検索処理方法を提供することである。

【０００５】

【課題を解決するための手段】上記の目的を達成するた
めに、本発明は、グラフィック・ディスプレイ装置とマ
ウス等の指示装置を具備するコンピュータ・システム構
成で、データベース管理システムに対応した問い合わせ
言語プログラムを操作する利用者の位置において、その
指令操作を代替して実行するプログラムとして動作し、
データベース・システムにアクセスする。本発明は、図
２に示す、本発明のプログラムとデータベース，システ
ムが、１台のパーソナル・コンピュータ・システムまた
はワークステーション・コンピュータ・システムで動作
するシステム構成形態（２−ａ）、または本発明のプロ
グラムが動作するパーソナル・コンピュータ・システム
またはワークステーション・コンピュータ・システム
が、データベース・システムが動作するホスト・コンピ
ュータの端末システムとして通信回線網で接続するシス
テム構成形態（２−ｂ）で実現する。

【０００６】本発明は、以下に記す対象の概念（オブジ
ェクト）に基づく手段を提供し、プログラム内部の管理
と制御を行なう。（Ａ）空間オブジェクト空間オブジェクトは、グラフィック・ディスプレイ装置
画面上に、予め定めた面積を持つ矩形の領域を描画し、
検索の基底とする母集合のデータベース・ファイルまた
はユーザー・ビューを表象し、その領域内部に集合を表
象する矩形の領域を描画して、データの存在を評価する
位相空間とするものである。空間オブジェクトは、固有
の識別番号、空間オブジェクト名、データベース・ノー
ド、データベース・ファイル名、問い合わせ言語名をカ
ンマで連結して記述する空間定義ステートメント（Ａ−
１）と、フィールド・オブジェクト名、データ形式とデ
ータ長、データベース・フィールド名をカンマで連結し
て記述する複数のフィールド定義ステートメント群（Ａ
−２）とで記述され、最大３２個の空間オブジェクトを
定義することができる。（Ａ−１）空間定義ステートメントの例００１，ｅｍｐ１ｏｙｅｅ，Ｈｏｓｔ，ＥＭＰ，ＳＱＬ（Ａ−２）フィールド・オブジェクト定義ステートメン
トの例ｐｅｒｓｏｎａｌ＿ｉｄ，ｎｕｍｂｅｒ（１２），ＰＥ
ＲＳＯＮＡＬ＿ＮＯｎａｍｅ，ｃｈａｒ（３０），ＮＡＭＥａｇｅ，ｉｎｔｅｇｅｒ，ＡＧＥｂｉｒｔｈｄａｙ，ｄａｔｅ，ＢＩＲＴＨＤＡＹａｄｄｒｅｓｓ，ｃｈａｒ（４０），ＡＤＤＲ＿１空間オブジェクトは、集合の要素を１対１に対応させる
ことができる共通の値を持つフィールドを、空間結合定
義ステートメント（Ａ−３）に定義することによって、
空間オブジェクト間において集合の要素を相互に写像す
ることができる。空間結合定義ステートメントは、空間
オブジェクト名＿１．フィールド名＿１、空間オブジェ
クト名＿２．フィールド名＿２をカンマで連結して記述
する。（Ａ−３）空間結合定義ステートメントの例ｅｍｐｌｏｙｅｅ．ｐｅｒｓｏｎａｌ＿ｉｄ，ｐｅｒｓ
ｏｎａｌ＿ｈｉｓｔｏｒｙ．ｈ＿ｅｍｐ＿ｉｄ

【０００７】（Ｂ）集合オブジェクト集合オブジェクトは、データベース検索集合を、条件式
と集合の件数とを一体化して表象するもので、識別子、
条件属性、件数属性で記述され、空間オブジェクト単位
に固有の識別子で管理される。集合オブジェクト識別子
は、’Ａ’から’Ｚ’に続いて、’ａ’から’ｚ’まで
の文字が、順次、自動的に割り当てられるが、明示的に
指定する場合は、集合オブジェクトを生成する記述（Ｂ
−３）において、集合オブジェクト識別子を２重引用符
で括った４文字までの英数字で指定することができる。
集合オブジェクト条件属性は、集合条件式（Ｂ−１）ま
たは集合命題論理式（Ｂ−２）によって記述される。（Ｂ−１）集合条件式の例ａｇｅ＞＝３０ａｎｄａｇｅ＜３５（Ｂ−２）集合命題論理式の例＜＋＞（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’）
＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’^★’Ｂ’^★’
Ｃ’）集合条件式は、問い合わせ言語プログラムの検索条件式
の記述で、検索の標識とするキー・フィールドと、その
条件値を関係演算子で記述する。集合命題論理式は、集
合論理式（Ｂ−３）と呼ぶ、集合条件式を集合オブジェ
クト識別子で参照して記述する論理式の条件が、「真」
であることを表記する肯定論理記号’〈＋〉’と、
「偽」であることを表記する否定論理記号’〈−〉’を
前置し、命題の真偽を記述する。集合論理式は、集合オ
ブジェクト識別子を論理和記号’＋’、論理差記号’
−’、論理積記号’^★’の各演算子で結合して表記し、
論理的な集合を記述する。データベース・ファイル全体
の件数、母集合は’＃’記号で表記する。（Ｂ−３）集合論理式の例（’Ａ’−（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’
Ｃ’）））集合条件式を保持する集合オブジェクトを原始集合オブ
ジェクト（Ｂ−４）、集合命題論理式を保持する集合オ
ブジェクトを演繹集合オブジェクト（Ｂ−５）と言う。（Ｂ−４）原始集合オブジェクトの例１，’Ａ’，ａｇｅ＞＝３０ａｎｄａｇｅ＜３
５（Ｂ−５）演繹集合オブジェクトの例２，”Ｘ”，＜＋＞（（’Ａ’^★’Ｂ’）＋（’Ａ’
^★’Ｃ’）＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’^★’
Ｂ’^★’Ｃ’）集合オブジェクトの前部の数値は、原始集合オブジェク
ト（’１’）と演繹集合オブジェクト（’２’）を識別
するために用いる。

【０００８】（Ｃ）領域オブジェクト領域オブジェクトは、空間オブジェクトの矩形の領域を
描画枠とし、１個の集合オブジェクトを１個の矩形の領
域に写像して描画するもので、集合の量を領域の面積に
よって表象し、集合と集合の間にある論理的な関係を、
図３に示す領域の配置によって表象する。２個の集合の
論理積は、領域オブジェクトの交わり（３−ａ）に、論
理和は、２個の領域オブジェクトを囲む外周（３−ｂ）
に、論理差は、それぞれの領域オブジェクトの切片（３
−ｃ）に表象され、検索集合を除く母集合は領域オブジ
ェクトの外延部（３−ｄ）に表象される。領域オブジェ
クトの交差によって生じる領域の切片は、集合オブジェ
クトの識別子と論理演算子とで表記する集合論理式（Ｃ
−１）で記述される。（Ｃ−１）２個の領域オブジェクトの切片の和を記述す
る集合論理式の例（’Ａ’−（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’
Ｃ’）））＋（’Ｂ’−（（’Ａ’^★’Ｂ’）＋（’
Ｂ’^★’Ｃ’）））

【０００９】（Ｄ）集合グラフ空間オブジェクトを表象する矩形の領域に、集合オブジ
ェクトを写像する領域オブジェクトによって描画する図
式を集合グラフ（図１）という。集合グラフは、３個ま
での集合を同時に描画することができ、それらの集合間
の論理積の有無によって、図４に示す、３個の領域オブ
ジェクトと、領域オブジェクトの交わりにより生じる区
画の数が、７個の形式（４−ａ）、６個の形式（４−
ｂ）、５個の形式（４−ｃ）、４個の形式（４−ｄ）、
３個の形式（４−ｅ）で関係を表象する。３個の集合オ
ブジェクトのグラフには、空間オブジェクトの領域を含
んで８個の論理的な集合が存在し、それらの区画を組み
合わせることで、２５５通りの検索条件式を生成するこ
とができる。

【００１０】以上のオブジェクトの概念に基づいて、本
発明を実現したプログラムは、図５に示す、コントロー
ル・パネルと呼ぶ操作盤を、グラフィック・ディスプレ
イ装置の画面上に描画する。コントロール・パネルに
は、空間オブジェクトを表象する矩形の領域（５−１）
と、空間に定義されたフィールド・オブジェクトを表示
し、それを選択することができるフィールド・オブジェ
クト・ブラウザー（５−２）と、集合オブジェクトを表
示し、それを選択することができる集合オブジェクト・
ブラウザー（５−３）と、キーボード装置から指令を入
力し、またプログラムからの出力を表記するためのメッ
セージ・ボックス（５−４）と、ガイダンスや警告およ
びエラー・メッセージを表示する告知フィールド（５−
５）を具備し、領域内をマウスでクリックすることによ
って手段の実行を指令する、集合生成ボタン（５−
６）、集合描画ボタン（５−７）、集合選択ボタン（５
−８）、集合写像ボタン（５−９），集合抽出ボタン
（５−１０）の各操作ボタンが描画される。また、操作
に伴って発生する指令および内部の処理、ならびに問い
合わせ言語プログラムとの交信状況などを記録し、それ
らをリアル・タイムで表示するログ・ウィンドウ（５−
１１）と、描画された領域オブジェクトの和集合の要素
件数（５−１２）、１件の要素が占めるグラフィック・
ディスプレイ装置のドット数（５−ｌ３），描画様式
（５−１４）、空間オブジェクト名（５−１５）、母集
合の要素件数（５−１６），データベース・ノード（５
−１７）、問い合わせ言語プログラム（５−１８），集
合オブジェクトおよび副集合オブジェクトの件数属性を
表示するウィンドウ（５−１９）を表示し、操作状況や
環境情報を提示する。本発明のプログラムを起動する
と、利用者のユーザー識別コード毎に定義され空間オブ
ジェクト定義情報に基づいて、対応するデータベース・
ファイルがオープンされる。空間オブジェクトは、空間
オブジェクト名（５−１５）上をクリックすると、空間
オブジェクト・ブラウザーが表示されて選択することが
できる。

【００１１】本発明のプログラムは、「集合グラフ検索
言語」と呼ぶ、独自の指令を持ち、コントロール・パネ
ルの操作による手段の実行は、集合グラフ検索言語に変
換されて処理される。プログラムの内部は、図６に示
す、モジュールによって構成され、モジュール間は集合
グラフ検索言語で記述されたオブジェクト・メッセージ
と呼ぶ内部指令によって処理される。手段の実行は、オ
ブジェクトを入力として非手順的に（図６中の矢印の方
向に）実行することができる。

【００１２】以降の説明においては、以下に記す空間オ
ブジェクト定義、ならびに生成される集合オブジェクト
を例示する。空間オブジェクト名”ｅｍｐｌｏｙｅｅ” １，ｅｍｐｌｏｙｅｅ，Ｈｏｓｔ，ＥＭＰ，ＳＱＬ社員コードｐｅｒｓｏｎａｌ＿ｉｄ，ｎｕｍｂｅｒ（８），ＰＥＲＳＯＮＡＬ＿ＮＯ社員番号ｎａｍｅ，ｃｈａｒ（４０），ＮＡＭＥ氏名ａｇｅ，ｉｎｔｅｇｅｒ，ＡＧＥ年令ｂｉｒｔｈｄａｙ，ｄａｔｅ，ＢＩＲＴＨＤＡＹ生年月日ａｄｄｒｅｓｓ，ｃｈａｒ（４０），ＡＤＤＲ＿１住所ｔｅｌ，ｃｈａｒ（１２），ＴＥＬ＿ＮＯ電話番号ｙｅａｒｓ，ｉｎｔｅｇｅｒ，ＹＥＡＲＳ勤続年数ｄｅｐｔ＿ｎｏ，ｎｕｍｂｅｒ（４），ＤＥＰＴ＿ＣＯＤＥ所属部課番号ｐｒｏｊ＿ｎｏ，ｎｕｍｂｅｒ（４），ＰＲＯＪ＿ＣＯＤＥプロジェクト番号空間オブジェクト名”ｐｅｒｓｏｎａｌ＿ｈｉｓｔｏｒｙ” ２，ｐｅｒｓｏｎａｌ＿ｈｉｓｔｏｒｙ，ＴＥＣＨ＿ＨＩＳＴ，ＳＱＬ経歴レコードｈ＿ｅｍｐ＿ｉｄ，ｎｕｍｂｅｒ（８），ＥＭＰ＿ＮＯ社員番号ｈ＿ｋｅｙｗｏｒｄ，ｃｈａｒ（２０），ＳＹＳＴＥＭ経歴要項ｈ＿ｆｒｏｍ＿ｄａｔｅ，ｄａｔｅ，ＳＴＡＲＴ＿ＤＡＴＥ経歴開始年月日ｈ＿ｔｏ＿ｄａｔｅ，ｄａｔｅ，ＦＩＮＩＳＨ＿ＤＡＴＥ経歴終了年月日ｈ＿ｄｅｓｃｒｉｐｔｉｏｎ，ｃｈａｒ（２５５），ＤＥＳＣ経歴内容空間オブジェクト結合定義ステートメントｅｍｐｌｏｙｅｅ．ｐｅｒｓｏｎａｌ＿ｉｄ，ｐｅｒｓ
ｏｎａｌ＿ｈｉｓｔｏｒｙ．ｈ＿ｅｍｐ＿ｉｄ空間オブジェクト”ｅｍｐｌｏｙｅｅ”の集合オブジェ
クト群１，’Ａ’ａｇｅ＞＝３０ａｎｄａｇｅ＜３５１，’Ｂ’，ｙｅａｒｓ＞１２１，’Ｃ’，ｐｒｏｊ＿ｎｏｉｓｎｕｌｌ１，’Ｅ’，ｄｅｐｔ＿ｎｏ＝１００２，”Ｘ”＜＋＞（’Ａ’^★’Ｂ’）＋（’Ａ’^★’
Ｃ’）＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’^★’Ｂ’
^★’Ｃ’）２，’Ｄ’，２：［’Ａ’］２，’Ｆ’，＜＋＞（’Ａ’＋’Ｂ’）＜−＞（’Ａ’
^★’Ｃ’）＜＋＞（’Ａ’^★’Ｂ’^★’Ｃ’）空間オブジェクト”ｐｅｒｓｏｎａｌ＿ｈｉｓｔｏｒ
ｙ”の集合オブジェクト１，’Ａ’，ｈ＿ｋｅｙｗｏｒｄ＝’ＵＮＩＸ’

【００１３】（ａ）集合生成手段検索の標識となるキー・フィールドと対応する条件値と
を、関係演算子で結合して記述する検索条件式（ａ−
１）をメッセージ・ボックス（５−４）に入力し、集合
生成ボタン（５−６）をクリックする。フィールド名
は、フィールド・オブジェクト・ブラウザー（５−３）
上をマウスでクリックして選択することも可能である。（ａ−１）検索条件式の入力例ａｇｅ＞＝３０ａｎｄａｇｅ＜３５

【００１４】（ｂ）集合描画手段描画する３個までの集合オブジェクトを、集合オブジェ
クト・ブラウザー（５−３）の中からマウスでクリック
して選択すると、メッセージ・ボックス（５−４）に集
合オブジェクトの識別子（ｂ−１）が表記されるので、
集合描画ボタン（５−７）をクリックする。（ｂ−１）選択した集合オブジェクト識別子の入力例 ’Ａ’，’Ｂ，’Ｃ’

【００１５】（ｃ）集合選択手段集合グラフ上の領域オブジェクトの内部を、マウスでク
リックして選択する。目的の集合が複数の領域オブジェ
クト、またはその切片の論理和から構成される場合、そ
れらを加算するためにシフト・キーを押下しながら、任
意の順序で連続して領域オブジェクトを選択すると、メ
ッセージ・ボックス（５−４）に集合論理式（ｃ−１）
が表記されるので、集合選択ボタン（５−８）をクリッ
クする。集合論理式の最後部に等号に続いて表記される
数値は、構成した論理集合の件数を表記するものであ
る。（ｃ−１）領域オブジェクトをクリックすることで表記
される集合論理式の例（’Ａ’−（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’
Ｃ’）））＋（’Ｃ’−（（’Ａ’^★’Ｃ’）＋（’
Ｂ’^★’Ｃ’）））＋（’Ｂ’−（（’Ａ’^★’Ｂ’）
＋（’Ｂ’^★’Ｃ’）））＝８５

【００１６】（ｄ）集合写像手段写像しようとする集合を、集合オブジェクト・ブラウザ
ー（５−３）の中から、または集合選択手段によって集
合グラフ上から論理的な集合を選択し、メッセージ・ボ
ックスに集合オブジェクト識別子または集合命題論理式
が表記（ｄ−１）された状態で、集合写像ボタン（５−
９）をクリックする。（ｄ−１）写像する集合オブジェクト識別子または集合
命題論理式の例 ’Ａ’または＜＋＞（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’）
＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’^★’Ｂ’^★’
Ｃ’）集合写像ボタンが”ＯＫ？”ボタンに変わると共に、写
像することができる空間オブジェクトの一覧を表示する
空間オブジェクト・ブラウザーが、フィールド・オブジ
ェクト・ブラウザーの表示位置に表示されるので、写像
しようとする空間オブジェクト名をマウスでクリックし
て選択し、メッセージ・ボックスに表記（ｄ−２）され
た状態で、”ＯＫ？”ボタンをクリックする。（ｄ−２）写像する宛先の空間オブジェクト名の例ｅｍｐｌｏｙｅｅ

【００１７】（ｅ）集合抽出手段抽出しようとする集合を、集合オブジェクト・ブラウザ
ー（５−３）の中から、または集合選択手段によって集
合グラフ上から論理的な集合を選択し、メッセージ・ボ
ックスに集合オブジェクト識別子または集合命題論理式
（ｅ−１）が表記された状態で、集合抽出ボタン（５−
１０）をクリックする。（ｃ−１）抽出する集合オブジェクト識別子または集合
命題論理式の例 ’Ｄ’または＜＋＞’Ａ’＜−＞（（’Ａ’^★’
Ｂ’）＋（’Ａ’^★’Ｃ’））集合抽出ボタンが”ＯＫ？”ボタンに変わるので、フィ
ールド・オブジェクト・ブラウザー（５−２）から抽出
しようとするフィールド群をマウスでクリックして選択
し、メッセージ・ボックスに表記（ｅ−２）された状態
で、”ＯＫ？”ボタンをクリックする。（ｅ−２）抽出する集合のフィールド・オブジェクト名
の例ｐｅｒｓｏｎａｌ＿ｉｄ，ｎａｍｅ，ａｇｅ，ｄｅｐｔ
＿ｎｏ，

【００１８】

【作用】

（ａ）集合生成作用集合生成ボタンのクリックによって、メッセージ・ボッ
クスに記述された検索条件式（ａ−１）を取得し、集合
グラフ検索指令に変換した集合生成オブジェクト・メッ
セージ（ａ−２）を生成する。（ａ−１）検索条件式の入力例ａｇｅ＞＝３０ａｎｄａｇｅ＜３５（ａ−２）集合生成オブジェクト・メッセージの例ｃｒｅａｔｅＳｅｔ ’Ａ’ ｗｈｅｒｅａｇｅ＞＝
３０ａｎｄａｇｅ＜３５．集合生成オブジェクト・メッセージは、問い合わせ言語
指令生成部において、空間オブジェクトに定義された問
い合わせ言語の検索指令に変換され、問い合わせ言語イ
ンタフェース部を通じて問い合わせ言語プログラムに送
信される。問い合わせ言語プログラムから受信する応答
メッセージは、問い合わせ言語インタフェース部で解析
され、回答件数が集合生成手段部に通知される。集合生
成手段部は、検索条件式を集合の条件属性に、回答件数
を集合の件数属性に記録し、空間オブジェクト内で固有
の識別子を割り当てて登録する。また、生成した集合オ
ブジェクトを集合グラフに描画する集合描画オブジェク
ト・メッセージ（ａ−３）を実行する。（ａ−３）集合生成作用が実行する集合描画オブジェク
ト・メッセージの例ｄｒａｗＳｅｔ ’Ａ’ ｂｙｒａｔｅ．

【００１９】（ｂ）集合描画作用集合描画ボタンのクリックによって、メッセージ・ボッ
クスに記述された集合オブジェクト識別子（ｂ−１）を
取得し、集合描画オブジェクト，メッセージ（ｂ−２）
を生成する。（ｂ−１）描画する集合オブジェクト識別子の例 ’Ａ’，’Ｂ’，’Ｃ’ （ｂ−２）集合描画オブジェクト・メッセージの例ｄｒａｗＳｅｔ ’Ａ’，’Ｂ’，’Ｃ’ｂｙｆｉ
ｔ．複数の集合オブジェクトが指定された場合、選択された
集合オブジェクト間の論理積を自動的に検証する。集合
オブジェクト間の論理積は、集合オブジェクトの条件属
性から論理積条件の集合オブジェクトを生成して検索処
理し、論理積集合の件数を取得する。この論理積集合の
条件式と回答件数を副集合オブジェクトと言い、セッシ
ョンが継続する間、保持し再利用する。（ｂ−３）副集合オブジェクトを生成するオブジェクト
・メッセージの例ｃｒｅａｔｅＳｕｂＳｅｔ ’Ａ’^★’Ｂ’．集合グラフは、相対（ｒａｔｅ）、適合（ｆｉｔ），拡
大（ｚｏｏｍ）の３つの様式で描画することができる。
相対様式は、空間オブジェクトの要素の件数に対する集
合オブジェクトの件数の比率を、空間オブジェクトの面
積における領域オブジェクトの面積として描画する様式
で、母集合と対比することに適している。適合様式は、
すべての領域オブジェクトが描画枠に収容できる倍率に
調整して描画する様式で、集合間の量的な比較と、集合
と集合の間にある論理的な関係を判定することに適して
いる。拡大様式は、相対様式の描画倍率を１として、再
描画する毎に２倍して描画する様式で、集合グラフの細
部の関係をより注目して見ることに適している。

【００２０】（ｃ）集合選択作用集合選択ボタンのクリックによって、メッセージ・ボッ
クスに記述された、領域オブジェクトを選択して構成し
た集合の集合論理式（ｃ−１）を取得し、「集合論理式
の言い換え」を行ない、集合命題論理式（ｃ−２）に言
い換えてメッセージ・ボックスに表記すると共に、集合
選択オブジェクト・メッセージ（ｃ−３）を生成する。（ｃ−１）領域オブジェクトを選択して構成した集合論
理式の例（（’Ａ’^★’Ｂ’）−（’Ａ’^★’Ｂ’^★’Ｃ’））
＋（（’Ｂ’^★’Ｃ’）−（’Ａ’^★’Ｂ’^★’
Ｃ’））＋（（’Ａ’^★’Ｃ’）−（’Ａ’^★’
Ｂ’^★’Ｃ’））＝８５（ｃ−２）メッセージ・ボックスに表記する集合命題論
理式の例＜＋＞（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’）
＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’^★’Ｂ’^★’
Ｃ’）（ｃ−３）集合選択オブジェクト・メッセージの例ｓｅｌｅｃｔＳｅｔ＜＋＞（（’Ａ’^★’Ｂ’）＋（’
Ａ’^★’Ｃ’）＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’
^★’Ｂ’^★’Ｃ’）集合選択手段は、論理的な集合を確定し、「集合論理式
の言い換え」を行ない、集合生成、集合写像、集合抽出
の各手段の入力とする集合命題論理式を生成するもので
ある。集合命題論理式（ｃ−２）がメッセージ・ボック
スに表記された状態で、集合生成ボタンをクリックする
と、集合生成オブジェクト・メッセージ（ｃ−３）が実
行され、演繹集合オブジェクトが生成される。（ｃ−３）演繹集合オブジェクトを生成するオブジェク
ト・メッセージの例ｃｒｅａｔｅＳｅｔ”Ｘ”ｗｉｔｈ＜＋＞（（’
Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’）＋（’Ｂ’^★’
Ｃ’））＜−＞（’Ａ’^★’Ｂ’^★’Ｃ’）

【００２１】（ｄ）集合写像作用集合写像ボタンのクリックによって、メッセージ・ボッ
クスに記述された集合オブジェクト識別子（ｄ−１）、
または集合命題論理式を取得し、次に”ＯＫ？”ボタン
のクリックによって、メッセージ・ボックスに記述され
た写像する宛先の空間オブジェクト名（ｄ−２）を取得
して、集合写像オブジェクト・メッセージ（ｄ−３）を
生成する。（ｄ−１）集合オブジェクト識別子の例 ’Ａ’ （ｄ−２）写像する宛先の空間オブジェクト名の例ｅｍｐｌｏｙｅｅ（ｄ−３）集合写像オブジェクト・メッセージの例ｐｒｏｊｅｃｔＳｅｔ’Ａ’ｔｏ１：ｅｍｐｌｏｙｅ
ｅこのオブジェクト・メッセージは、写像する空間オブジ
ェクトに移行する空間選択オブジェクト・メッセージ
（ｄ−４）を実行して、画毎上に表示される空間オブジ
ェクトが遷移した後に、集合生成オブジェクト・メッセ
ージ（ｄ−５）を実行する。集合写像作用で生成される
集合オブジェクトの条件属性は、元の空間オブジェクト
番号で修飾した、元の条件属性が記述される（ｄ−４）空間選択オブジェクト・メッセージの例ｓｅｌｅｃｔＳｐａｃｅｐｅｒｓｏｎａｌ−ｈｉｓｔ
ｏｒｙ．（ｄ−５）集合生成オブジェクト・メッセージの例ｃｒｅａｔｅＳｅｔ’Ｄ’ｗｉｔｈ２：［’Ａ’］集合写像オブジェクト・メッセージが実行する集合生成
オブジェクト・メッセージは、写像先の空間オブジェク
トに定義された問い合わせ言語指令生成部のサブ・モジ
ュールに送信される

【００２２】（ｅ）集合抽出作用集合抽出ボタンのクリックによって、メッセージ・ボッ
クスに記述された集合オブジェクト識別子、または集合
命題論理式（ｅ−１）を取得し、次に”ＯＫ？”ボタン
のクリックによって、メッセージ・ボックスに記述され
た抽出するフィールド・オブジェクト名（ｅ−２）を取
得して、集合抽出オブジェクト・メッセージ（ｅ−３）
を生成する。（ｅ−１）集合命題論理式の例＜＋＞（（’Ａ’^★’Ｂ’^★’Ｄ’）＋（’Ａ’^★’
Ｃ’^★’Ｄ’）＋（’Ｂ’^★’Ｃ’^★’Ｄ’））＜−
＞（’Ａ’^★’Ｂ’^★’Ｃ’^★’Ｄ’）（ｅ−２）抽出するフィールド・オブジェクト名の例ｐｅｒｓｏｎａｌ＿ｉｄ，ｎａｍｅ，ａｇｅ，ｄｅｐｔ
＿ｎｏ，（ｅ−３）集合抽出オブジェクト・メッセージの例ｒｅａｄＳｅｔ＜＋＞（（’Ａ’^★’Ｂ’^★’Ｄ’）＋
（’Ａ’^★’Ｃ’^★’Ｄ’）＋（’Ｂ’^★’Ｃ’^★’
Ｄ’））＜−＞（’Ａ’^★’Ｂ’^★’Ｃ’^★’Ｄ’）
［ｎａｍｅ，ａｇｅ，ｄｅｐｔ＿ｎｏ，ｐｒｏｊ＿ｎ
ｏ］．集合抽出オブジェクト・メッセージは、問い合わせ言語
指令生成部に送信されて、問い合わせ言語の検索指令に
変換され、問い合わせ言語インタフェース部を通じて問
い合わせ言語プログラムに送信される。問い合わせ言語
プログラムから受信する応答メッセージは、問い合わせ
言語インタフェース部で解析され、抽出データを集合抽
出指令部に返信する。抽出データは、データ表示ウィン
ドウ上に表示する。

【００２３】（ｆ）「集合論理式の言い換え」作用集合グラフの領域オブジェクトを任意の順序で選択する
ことは、図７の（７−ａ）に示す、同じ領域オブジェク
トで構成する論理集合が、異なる集合論理式（ｆ−１，
ｆ−２）で表記される結果を得る。また、領域オブジェ
クトの切片を記述する集合論理式が合成されるために、
論理積集合の要素の記述が重複したり、包含される集合
の記述が存在する。「集合論理式の言い換え」は、この
ような不定形で冗長な集合論理式を、その要素を並べ変
え、要素の論理を演算して、命題を記述する集合命題論
理式（ｆ−３）に言い換えるものである。（ｆ−１）集合論理式の例（１）（’Ｂ’−（（’Ａ’^★’Ｂ’）＋（’Ｂ’^★’
Ｃ’）））＋（（’Ｂ’^★’Ｃ’）−（’Ａ’^★’Ｂ’
^★’Ｃ’））＋（’Ａ’−（（’Ａ’^★’Ｂ’）＋（’
Ａ’^★’Ｃ’）））＋（（’Ａ’^★’Ｂ’）−（’Ａ’
^★’Ｂ’^★’Ｃ’））＋（’Ａ’^★’Ｂ’^★’Ｃ’）＝
２５５（ｆ−２）集合論理式の例（１）と同じ命題の異なる集
合論理式の例（２）（’Ａ’^★’Ｂ’^★’Ｃ’）＋（（’Ｂ’^★’Ｃ’）−
（’Ａ’^★’Ｂ’^★’Ｃ’））＋（（’Ａ’^★’Ｂ’）
−（’Ａ’^★’Ｂ’^★’Ｃ’））＋（’Ｂ’＋（（’
Ａ’^★’Ｂ’）＋（’Ｂ’^★、Ｃ’）））＋（’Ａ’−
（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’）））＝２５
５（ｆ−３）集合命題論理式の例＜＋＞（’Ａ’＋’Ｂ’）＜−＞（’Ａ’^★’Ｃ’）＜
＋＞（’Ａ’^★’Ｂ’^★’Ｃ’）集合命題論理式（ｆ−３）は、左辺の論理集合が右辺よ
り大で、肯定論理を表わす記号”＜＋＞”と、否定論理
を表わす記号”＜−＞”とで、交互に連結して記述さ
れ、集合を「大きなもの」から「この部分は除いて」た
だし「除いた部分に含まれるより小さなこの部分は除か
ないで」と、段階的に表現する形式である。この表現形
式は、集合の命題を容易に認識することが可能であると
共に、一般的な問い合わせ言語が提供する検索指令に変
換することが可能な形式である。演繹集合オブジェクト
（ｆ−４）を含む集合論理式（ｆ−５）は、演繹集合オ
ブジェクトの識別子を、原始集合オブジェクトの識別子
に置き換えて展開した後に、「集合論理式の言い換え」
を行ない、集合命題論理式（ｆ−６）を構成する。（ｆ−４）演繹集合オブジェクトの例２，’Ｆ’，＜＋＞（’Ａ’＋’Ｂ’）＜−＞（’Ａ’
^★’Ｃ’）＜＋＞（’Ａ’^★’Ｂ’^★’Ｃ’）（ｆ−５）演繹集合オブジェクトを含む集合論理式の例 ’Ｅ’^★’Ｆ’ （ｆ−６）集合命題論理式の例＜＋＞（（’Ａ’^★’Ｂ’^★’Ｅ’）＋（’Ｂ’^★’
Ｃ’^★’Ｅ’））＜−＞（’Ａ’^★’Ｂ’^★’Ｃ’^★’
Ｅ’）図７に、領域オブジェクトを選択して構成した論理集合
の図と、その論理集合を表記する集合論理式と、「集合
論理式の言い換え」によって生成した集合命題論理式の
結果を示す。

【００２４】（ｇ）問い合わせ言語指令生成作用問い合わせ言語指令生成部は、入力されたオブジェクト
・メッセージから問い合わせ言語プログラムの検索指令
を生成する。問い合わせ言語指令生成部は、言語仕様に
対応して個別のサブ・モジュールが用意されており、空
間オブジェクトに定義された問い合わせ言語プログラム
の名称に対応した検索指令を生成する。本発明のプログ
ラムは、株式会社ソフトウェア・エージー社のＳＯＡＲ
検索プログラムと、会話型ＳＱＬプログラムと、アップ
ル・コンピュータ社が提供するＨｙｐｅｒＣａｒｄのデ
ータベース機能との、各言語仕様に対応するサブ・モジ
ュールを実装する。ＳＯＡＲ検索プログラムは、本発明
のプログラムが生成する集合命題論理式を、ほぼ直接Ｓ
ＯＡＲ−ＬＱプログラムに入力して処理することが可能
である。ＨｙｐｅｒＣａｒｄのデータベース機能は、集
合命題論理式の肯定論理部、否定論理部をそれぞれ個別
のマーク命令に置き換えて実行し、最終的にマークされ
たカードが検索集合となる．以下の説明では、一般的な
会話型ＳＱＬプログラムの検索指令に変換する例を記
す。集合生成オブジェクト・メッセージ（ｇ−１）は、
空間オブジェクトに定義されたデータベース・ファイル
名を検索の基底テーブル名とし、検索指令（ｇ−２）を
生成する。（ｇ−１）集合生成オブジェクト・メッセージの例ｃｒｅａｔｅＳｅｔ’Ａ’ｗｈｅｒｅａｇｅ＞＝３０
ａｎｄａｇｅ＜３５．（ｇ−２）検索指令の例ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷ
ＨＥＲＥａｇｅ＞＝３０ａｎｄａｇｅ＜３５；集合写像オブジェクト・メッセージ（ｇ−３）は、写像
先の空間オブジェクトに定義されたデータベース・ファ
イル名を基底テーブル名とし、リンク・フィールドで要
素を結合する検索指令部（ｇ−４）を生成し、元の空間
オブジェクトに定義されたデータベース・ファイル名と
条件式の検索指令部を生成し、合成して１個の検索指令
（ｇ−５）を生成する。（ｇ−３）集合写像オブジェクト・メッセージの例ｐｒｏｊｅｃｔＳｅｔ’Ａ’ｔｏｅｍｐｌｏｙｅｅ．（ｇ−４）主検索指令部の例ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥＥＭＰ．ＰＥＲＳＯＮＡＬ＿ＮＯ＝ＴＥＣ
Ｈ＿ＨＩＳＴＯＲＹ．ＥＭＰ＿ＩＤ（ｇ−５）元のオブジェクトの検索条件を加えて生成し
た集合写像検索指令の例ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭｅｍｐｌｏ
ｙｅｅＷＨＥＲＥｅｍｐｌｏｙｅｅ．ｐｅｒｓｏｎａｌ＿ｉ
ｄ＝ｐｅｒｓｏｎａｌ＿ｈｉｓｏｔｒｙ．ｈ＿ｅｍｐ＿
ｉｄＡＮＤｐｅｒｓｏｎａｌ＿ｈｉｓｔｏｒｙ．ｈ
＿ｋｅｙｗｏｒｄ＝’ＵＮＩＸ’；集合抽出オブジェクト・メッセージ（ｇ−６）は、フィ
ールド・オブジェクト記述からデータ抽出指令部（ｇ−
７）を生成し、集合オブジェクト識別子から条件属性を
参照して検索指令部を生成し、合成して１個の検索指令
（ｇ−８）の生成する。（ｇ−６）集合抽出オブジェクト・メッセージの例ｒｅａｄＳｅｔ’Ａ’［ｐｅｒｓｏｎａｌ＿ｉｄ，ｎａ
ｍｅ，ａｇｅ，ｄｅｐｔ＿ｎｏ］．（ｇ−７）データ抽出指令部の例ＳＥＬＥＣＴＰＥＲＳＯＮＡＬ＿ＮＯ，ＮＡＭＥ，Ａ
ＧＥ，ＤＥＰＴ＿ＣＯＤＥＦＲＯＭＥＭＰ（ｇ−８）検索指令部を加えて生成した集合抽出検索指
令の例ＳＥＬＥＣＴＰＥＲＳＯＮＡＬ＿ＮＯ，ＮＡＭＥ，Ａ
ＧＥ，ＤＥＰＴ＿ＣＯＤＥＦＲＯＭＥＭＰＷＨＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５；オブジェクト・メッセージが、集合命題論理式を含むオ
ブジェクト・メッセージ（ｇ−９）の場合は、集合命題
論理式の集合オブジェクト識別子と、集合論理演算子を
対応するＳＱＬ指令に変換して、問い合わせ言語の指令
（ｇ−１０）を生成する。集合論理演算子は、論理和’
＋’および肯定論理’＜＋＞’は”ＵＮＩＯＮ”また
は”ＯＲ”に、論理差’−’および否定論理’＜−＞’
は”ＭＩＮＵＳ”に、論理積’^★’は、”ＡＮＤ”また
は”ＩＮＴＥＲＳＥＣＴ”に置換する。（ｇ−９）集合命題論理式による集合生成オブジェクト
・メッセージの例ｃｒｅａｔｅＳｅｔ’Ｅ’ｗｉｔｈ＜＋＞’Ａ’＜−＞
（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’））．（ｇ−１０）検索指令の例ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷ
ＨＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５Ｍ
ＩＮＵＳ（（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＞３５
ＡＮＤＹＥＡＲＳ＞１２）ＵＮＩＯＮ（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥＡＧＥ）＝３０ＡＮＤＡＧＥ＞３５
ＡＮＤＰＲＯＪ＿ＣＯＤＥＩＳＮＵＬＬ））；

【００２５】（ｈ）問い合わせ言語インタフェース作用問い合わせ言語インタフェース部は、通信回線とのイン
タフェース、または同一のコンピュータ・システム上に
おけるパイプなどの機能を介して、問い合わせ言語プロ
グラムと本発明のプログラムの間との送受信処理を制御
する。問い合わせ言語プログラムの入出力状態や応答メ
ッセージの中から回答件数を探索して抽出するための予
約語を選定し、事前にインタフェース・キーワード・ス
テートメントに定義する。インタフェース・キーワード
・ステートメントは、キーワード、問い合わせ言語プロ
グラム名、予約語を記述する。問い合わせ言語プログラ
ムへの送信は、プロンプト・メッセージ（ｈ−１）によ
って入力可能な状態を判定し、指令を送信する。問い合
わせ言語プログラムからの受信は、回答件数の受信と集
合抽出におけるデータ要素の受信がある。回答件数の受
信では、受信するメッセージ・テキストの中から、件数
を表記する予約語（ｈ−２）を探索して抽出し、要求元
に送信する。データ要素の受信では、集合抽出の問い合
わせ言語指令を送信した状態を記録し、その後に受信す
る応答メッセージを、次のプロンプト・メッセージを受
信するまで、すべて集合抽出手段部に送信する。（ｈ−１）プロンプト・メッセージ定義の例ｐｒｏｍｐｔ＿ｒｅａｄｙ，ＳＯＡＲ，”^★ＴＹＰＥ
ＣＯＭＭＡＮＤ（Ｍ）” ｐｒｏｍｐｔ＿ｒｅａｄｙ’ＳＱＬ，”ＳＱＬ＞” （ｈ−２）件数を表記する予約語定義の例ｃｏｕｎｔ＿ｒｅｃｅｉｖｅ，ＳＯＡＲ，”ＲＥＣＯＲ
ＤＳＦＯＵＮＤ” ｃｏｕｎｔ＿ｒｅｃｅｉｖｅ，ＳＱＬ，”ｒｅｃｏｒｄ
ｓｓｅｌｅｃｔｅｄ”

【００２６】（ｉ）ログ・レコード操作記録ならびに問い合わせ言語との交信記録は、以下
に記すログ・ヘッダー・レコードを付与して記録され
る。ｎｎｎｓｓｓ−ＬＥ：ｍｅｓｓａｇｅｎｎｎ．．．−．．：ログ行番号．．ｓｓｓ−．．：空間オブジェクト番号メッセージ・レベル．．．．．．−１．：主指令オブジェクト・メッセー
ジ．．．．．．−２．：副指令オブジェクト・メッセー
ジ．．．．．．−３．：データベース問い合わせ言語と
の交信メッセージ．．．．．．−４．：トレース・メッセージ．．．．．．−９．：メッセージ・ボックスから取得
した内容の確認メッセージメッセージ・クラス・コード．．．．．．−．Ｃ：指令．．．．．．−．Ｉ：トレース情報．．．．．．−．Ｗ：警告．．．．．．−．Ｅ：処理例外．．．．．．−．Ｆ：システム障害．．．．．．−．．：オブジェクト・メッセージなら
びに交信メッセージオブジェクト・メッセージは、コントロール・パネルの
操作指令、ならびにモジュール間の指令が記録される。
交信メッセージは、宛先ノード名、交信メッセージ順序
番号が付与され、指令送信メッセージ（ｉ−１）と、応
答受信メッセージ（ｉ−２）が記録される。（ｉ−１）指令送信メッセージの例０３２００１−３Ｓ：Ｈｏｓｔ：０３４：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）．．．；” （ｉ−２）応答受信メッセージの例０３３００１−３Ｒ：Ｈｏｓｔ：０３４：”２００
ｒｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．”

【００２７】

【実施例】本発明を実現したプログラムによって、人事
情報データベースを検索する実施例を以下に示す。人事
情報データベースは、ＳＱＬ仕様のデータベース管理シ
ステム上に構築されたデータベースで、社員テーブル”
ＥＭＰ”と、技術経歴テーブル”ＴＥＣＨ＿ＨＩＳＴＯ
ＲＹ”がある。社員テーブルは、空間オブジェクト”０
０１”に、技術経歴テーブルは、空間オブジェクト”０
０２”に定義され、空間オブジェクト”００１”の”ｐ
ｅｒｓｏｎａｌ＿ｉｄ，と、空間オブジェクト”００
２”の”ｅｍｐ＿ｉｄ”は、空間結合ステートメントに
定義され、結合される。検索の命題は、「新規プロジェ
クト・リーダー候補者の名簿を作成すること」で、候補
者は、「年令が３０歳以上３５歳未満で勤続年数が１２
年以上、または、年令が３０歳以上３５歳未満でプロジ
ェクトに属していないこと、または、勤続年数が１２年
以上でプロジェクトに属していないこと、のいずれかの
条件を満足し、さらに”ＵＮＩＸ”に関する開発経験を
有する社員であることが必要である。」と分析された。
この段階は、人事担当者の適用分野における知識と経験
による業務上の思考作業である。データベース検索操作
における思考作業は、対象の属性を分析して、検索条件
式を記述することである。検索する対象の属性は、以下
の４つの検索条件を因子とし、それらの組み合わせによ
って構成されるものであることが理解される。（Ａ）「年令が３０歳以上３５歳未満」（Ｂ）「勤続年数が１２年以上」（Ｃ）「プロジェクトに属していない」（Ｄ）「ＵＮＩＸに関する開発経験」処理の過程を示すためにオブジェクト・メッセージを記
録したログを記す。

【００２８】「年令が３０歳以上３５歳未満」とぃう条
件を満足する集合オブジェクトを生成する。メッセージ
・ボックスに、条件”ａｇｅ＞＝３０ａｎｄａｇｅ
＜３５”を入力し、操作画面上の集合生成ボタンをクリ
ックする。０１２００１−９Ｉ：ｃｒｅａｔｅＳｅｔ＝：ａｇ
ｅ＞＝３０ａｎｄａｇｅ＜３５０１３００１−１Ｃ：ｃｒｅａｔｅＳｅｔ’Ａ’ｗｈ
ｅｒｅａｇｅ＞＝３０ａｎｄａｇｅ＜３５．０１４００１−３Ｓ：Ｈｏｓｔ：００１：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＮＨＥＲＥ
ＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５；” ０１５００１−３Ｒ：Ｈｏｓｔ：００１：”２００
ｒｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ０１６００１−２Ｃ：ｄｒａｗＳｅｔ’Ａ’ｂｙｒ
ａｔｅ．回答件数は、２００件であった。「年令が３０歳以上３
５歳未満」という条件を満足する集合オブジェクト’
Ａ’が、図８に示す、相対様式の集合グラフに描画され
る。

【００２９】次に、「勤続年数が１２年以上」という条
件の集合オブジェクト’Ｂ’を生成する。０１７００１−９Ｉ：ｃｒｅａｔｅＳｅｔ＝：ｙｅ
ａｒｓ＞１２０１８００１−１Ｃ：ｃｒｅａｔｅＳｅｔ’Ｂ’ｗｈ
ｅｒｅｙｅａｒｓ＞１２．０１９００１−３Ｓ：Ｈｏｓｔ：００２：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥ
ＲＥＹＥＡＲＳ＞１２；” ００２００１−３Ｒ：Ｈｏｓｔ：００２：”１５０
ｒｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ０２１００１−２Ｃ：ｄｒａｗＳｅｔ’Ｂ’ｂｙｒ
ａｔｅ．回答件数は１５０件であった。集合オブジェクト’Ｂ’
が登録され、集合グラフが描画される。

【００３０】ここで、集合オブジェクト’Ａ’と’Ｂ’
の関係を確認するために、集合グラフを描画する。０２２００１−９Ｉ：ｄｒａｗＳｅｔ＝：’
Ａ’，’Ｂ’ ０２３００１−１Ｃ：ｄｒａｗＳｅｔ’Ａ’，’Ｂ’
ｂｙｆｉｔ．０２４００１−２Ｃ：ｃｒｅａｔｅＳｕｂｓｅｔ ’
Ａ’^★’Ｂ’．０２５００１−３Ｓ：Ｈｏｓｔ：００３：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥ
ＡＧＥ）＝３０ＡＮＤＡＧＥ＜３５ＡＮＤＹ
ＥＡＲＳ＞１２；” ０２６００１−３Ｒ：Ｈｏｓｔ：００３：”７５ｒ
ｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” 集合オブジェクト’Ａ’と’Ｂ’の論理積集合の件数は
７５件であった。図９に示す、適合様式の集合グラフが
描画され、「年令が３０歳以上３５歳未満で、勤続年数
が１２年以上」の社員が存在することが判定できる。

【００３１】「プロジェクトに属していないこと」と
は、現在、特定のプロジェクトにアサインされていない
ことを意味し、”ｐｒｏｊ＿ｎｏｉｓｎｕｌｌ”と
いう条件で検索することができる。集合オブジェクト’
Ｃ’を生成する。０２７００１−９Ｉ：ｃｒｅａｔｅＳｅｔ＝：Ｐｒ
ｏｊ＿ｎｏｉｓｎｕｌｌ．０２８００１−１Ｃ：ｃｒｅａｔｅＳｅｔ’Ｃ’ｗｈ
ｅｒｅｐｒｏｊ＿ｎｏｉｓｎｕｌｌ．０２９００１−３Ｓ：Ｈｏｓｔ：００４：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥ
ＰＲＯＪ＿ＣＯＤＥＩＳＮＵＬＬ；” ０３０００１−３Ｒ：Ｈｏｓｔ：００４：”１００
ｒｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ０３１００１−２Ｃ：ｄｒａｗＳｅｔ’Ｃ’ｂｙｒ
ａｔｅ．回答件数は１００件であった。集合オブジェクト’Ｃ’
が登録され，集合グラフが描画される。

【００３２】命題の対象は、「年令が３０歳以上３５歳
未満」’Ａ’と、「勤続年数が１２年以上」’Ｂ’と、
「プロジェクトに属していない」’Ｃ’の、集合オブジ
ェクトの各各の論理積の和で、さらに「ＵＮＩＸに関す
る開発経験」という条件の論理積である。「ＵＮＩＸに
関する開発経験」という集合を生成する前に、これまで
生成した３個の集合オブジェクト’Ａ’，’Ｂ’，’
Ｃ’で集合グラフを描画する。０３２００１−９Ｉ：ｄｒａｗＳｅｔ＝：’
Ａ’，’Ｂ’，’Ｃ’ ０３３００１−１Ｃ：ｄｒａｗＳｅｔ’Ａ’，’
Ｂ’，’Ｃ’ｂｙｆｉｔ．０３４００１−２Ｃ：ｃｒｅａｔｅＳｕｂｓｅｔ’
Ａ’^★’Ｃ’．０３５００１−３Ｓ：Ｈｏｓｔ：００５：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥ
ＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５ＡＮＤＰＲＯＪ＿ＣＯＤＥＩＳＮＵＬＬ；” ０３６００１−３Ｒ：Ｈｏｓｔ：００５：”５０ｒ
ｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ０３７００１−２Ｃ：ｃｒｅａｔｅＳｕｂｓｅｔ’
Ｂ’^★’Ｃ’．０３８００１−３Ｓ：Ｈｏｓｔ：００６：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥ
ＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿ＣＯＤＥＩ
ＳＮＵＬＬ；” ０３９００１−３Ｒ：Ｈｏｓｔ：００６：”５０ｒ
ｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ０４０００１−２Ｃ：ｃｒｅａｔｅｓｕｂｓｅｔ’
Ａ’^★’Ｂ’^★’Ｃ’．０４１００１−３Ｓ：Ｈｏｓｔ：００７：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥ
ＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５ＡＮＤ
ＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿ＣＯＤＥＩ
ＳＮＵＬＬ；” ０４２００１−３Ｒ：Ｈｏｓｔ：００７：”３０ｒ
ｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” 副集合オブジェクト、’Ａ’^★’Ｃ’は５０件、’Ｂ’
^★’Ｃ’は５０件、’Ａ’^★’Ｂ’^★’Ｃ’は３０件で
あった。この結果、図１０に示す集合グラフによって、
３つの集合はそれぞれ交わり合う部分が存在することが
確認できる。（’Ａ’^★’Ｂ’）の領域は、「年令が３
０歳以上３５歳未満で勤続年数が１２年以上」の論理積
集合を、（’Ａ’^★’Ｃ’）の領域は、「年令が３０歳
以上３５歳未満でプロジェクトに属していない」の論理
積集合を、（’Ｂ’^★’Ｃ’）の領域は、「勤続が１２
年以上でプロジェクトに属していない」の論理積集合の
存在を表象する領域オブジェクトである。また、（’
Ａ’^★’Ｂ’^★’Ｃ’）の領域は、「年令が３０歳以上
３５歳未満で、勤続が１２年以上で、プロジェクトに属
していない」という論理積集合を表すもので、この部分
は対象から除外しなければならない。

【００３３】（（’Ａ’^★’Ｂ’）−（’Ａ’^★’Ｂ’
^★’Ｃ’）），（（’Ａ’^★’Ｃ’）−（’Ａ’^★’
Ｂ’^★’Ｃ’））、（（’Ｂ’^★’Ｃ’）−（’
Ａ’^★’Ｂ’^★’Ｃ’）の領域オブジェクト部分を選択
し、１個の演繹集合オブジェクトを生成する。図１１に
示す集合グラフ上の領域を、マウスでクリックして選択
して、集合選択ボタンをクリックして、集合命題論理式
を生成する。０４３００１−９Ｉ：ｓｅｌｅｃｔＳｅｔ
＝：（（’Ａ’^★’Ｂ’）−（’Ａ’^★’Ｂ’^★’
Ｃ’））＋（（’Ａ’^★’Ｃ’）−（’Ａ’^★’
Ｂ’^★’Ｃ’））＋（（’Ｂ’^★’Ｃ’）−（’
Ａ’^★’Ｂ’^★’Ｃ’））＝８５０４４００１−１Ｃ：ｓｅｌｅｃｔＳｅｔ＜＋
＞（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’）＋（’
Ｂ’^★’Ｃ’））＜−＞（’Ａ’^★’Ｂ’^★’Ｃ’）この論理集合を、”Ｘ”という識別子を明示的に指定し
た演繹集合オブジェクトとして登録するために、メッセ
ージ・ボックスに表記された集合命題論理式の前に文字
カーソルを置いて、’”Ｘ”ｗｉｔｈ’と入力する。０４５００１−９Ｉ：ｃｒｅａｔｅＳｅｔ＝：”
Ｘ”ｗｉｔｈ＜＋＞（（’Ａ’^★’Ｂ’）＋（’
Ａ’^★’Ｃ’）＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’
^★’Ｂ’^★’Ｃ’）０４６００１−１Ｃ：ｃｒｅａｔｅＳｅｔ”Ｘ”ｗｉ
ｔｈ＜＋＞（（’Ａ’^★’Ｂ’）＋（’Ａ’^★’Ｃ’）
＋（’Ｂ’^★’Ｃ’））＜−＞（’Ａ’^★’Ｂ’^★’
Ｃ’）０４７００１−３Ｓ：Ｈｏｓｔ：００８：”（（ＳＥ
ＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥ
ＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５ＡＮＤＹＥＡＲＳ＞１２）ＵＮＩＯＮ（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰ
ＷＨＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５
ＡＮＤＰＲＯＪ＿ＣＯＤＥＩＳＮＵＬＬ）ＵＮＩＯＮ（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰ
ＷＨＥＲＥＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿
ＣＯＤＥＩＳＮＵＬＬ））ＭＩＮＵＳ（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰ
ＷＨＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５
ＡＮＤＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿ＣＯ
ＤＥＩＳＮＵＬＬ）；” ０４８００１−３Ｒ：Ｈｏｓｔ：００８：”８５ｒ
ｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ”Ｘ”という演繹集合オブジェクトが登録される。

【００３４】「ＵＮＩＸに関する開発経験」という条件
は、ｐｅｒｓｏｎａｌ＿ｈｉｓｔｏｒｙ空間オブジェク
トのｈ＿ｋｅｙｗｏｒｄフィールドに’ＵＮＩＸ’と記
述された社員番号を検索し、その社員番号をｅｍｐｌｏ
ｙｅｅ空間オブジェクトに写像した集合を求めるもので
ある。先ず、空間オブジェクト名の上をクリックして、
空間オブジェクト・ブラウザーを表示し、ｐｅｒｓｏｎ
ａｌ＿ｈｉｓｔｏｒｙ空間オブジェクトを選択して、空
間オブジェクトを遷移する。０４９００１−９Ｉ：ｓｅｌｅｃｔＳｐａｃｅ＝：
ｐｅｒｓｏｎａｌ＿ｈｉｓｔｏｒｙ０５０００１−１Ｃ：ｓｅｌｅｃｔＳｐａｃｅＰｅ
ｒｓｏｎａｌ＿ｈｉｓｔｏｒｙ．「ＵＮＩＸに関する開発経験」という条件の集合オブジ
ェクトを生成する。０５１００２−９Ｉ：ｃｒｅａｔｅＳｅｔ＝：ｈ＿
ｋｅｙｗｏｒｄ＝’ＵＮＩＸ’ ０５２００２−１Ｃ：ｃｒｅａｔｅＳｅｔ’Ａ’ｗｈ
ｅｒｅｈ＿ｋｅｙｗｏｒｄ＝’ＵＮＩＸ’ ０５３００２−３Ｓ：Ｈｏｓｔ：００９：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＴＥＣＨ＿ＨＩＳＴ
ＯＲＹＷＨＥＲＥＳＹＳＴＥＭ＝’ＵＮＩＸ’；” ０５４００２−３Ｒ：Ｈｏｓｔ：００９：”６２５
ｒｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ０５５００２−２Ｃ：ｄｒａｗＳｅｔ ’Ａ’ｂｙ
ｒａｔｅ．回答件数は６２５件であった。「ＵＮＩＸに関する開発
経験」という社員の集合が、ｐｅｒｓｏｎａｌ＿ｈｉｓ
ｔｏｒｙ空間オブジェクトの集合オブジェクト’Ａ’に
登録される。

【００３５】生成した集合オブジェクト’Ａ’を、ｅｍ
ｐｌｏｙｅｅ空間に写像するために、集合オブジェクト
・ブラウザーから選択する。０５６００２−９Ｉ：ｐｒｏｊｅｃｔＳｅｔ＝：’
Ａ’ 図１２に示すように、集合写像ボタン（ｐｒｏｊｅｃｔ
Ｓｅｔ）が、”ＯＫ？”に変わり、告知フィールドに
「空間オブジェクト・ブラウザーから、集合を写像する
空間を選択して下さい。」というメッセージが表示され
る。ｅｍｐｌｏｙｅｅをクリックして選択する。０５７００２−９Ｉ：ｐｒｏｊｅｃｔＳｐａｃｅ
＝：ｅｍｐｌｏｙｅｅ．０５８００２−１Ｃ：ｐｒｏｊｅｃｔＳｅｔ’Ａ’ｔ
ｏｅｍｐｌｏｙｅｅ．０５９００２−２Ｃ：ｓｅｌｅｃｔＳｐａｃｅｅｍ
ｐｌｏｙｅｅ．０６０００１−３Ｓ：Ｈｏｓｔ：０１０：”ＳＥＬＥ
ＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥＲＥ
ＴＥＣＨ＿ＨＩＳＴＯＲＹ．ＳＹＳＴＥＭ＝’ＵＮＩ
Ｘ’；” ０６１００１−３Ｒ：Ｈｏｓｔ：０１０：”１２０”
ｒｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ｐｅｒｓｏｎａｌ＿ｈｉｓｔｏｒｙ空間の集合オブジェ
クト’Ａ’が、ｅｍｐｌｏｙｅｅ空間オブジェクト上に
写像され、集合オブジェクト’Ｄ’として登録される。
ｅｍｐｌｏｙｅｅ空間に写像された集合の件数は１２０
件であった。

【００３６】先に生成した演繹集合オブジェクト”Ｘ”
と、写像した集合オブジェクト’Ｄ’を指定して集合グ
ラフを描画する。０６２００１−９Ｉ：ｄｒａｗＳｅｔ＝：”
Ｘ”，’Ｄ’ ０６３００１−１Ｃ：ｄｒａｗＳｅｔ”Ｘ”，’Ｄ’
ｂｙｆｉｔ．０６４００１−２Ｃ：ｃｒｅａｔｅＳｕｂｓｅｔ”
Ｘ”^★’Ｄ’．０６５００１−４Ｉ：”Ｘ”^★’Ｄ’ ｅｘｐｌｏｄ
ｅｄｔｏ＜＋＞（（’Ａ’^★’Ｂ’^★’Ｄ’）
＋（’Ａ’^★’Ｃ’^★’Ｄ’）＋（’Ｂ’^★’Ｃ’^★’
Ｄ’））＜−＞（’Ａ’^★’Ｂ’^★’Ｃ’^★’Ｄ’）０６６００１−３Ｓ：Ｈｏｓｔ：０１１：”（（ＳＥ
ＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰＷＨＥ
ＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５ＡＮＤＹＥＡＲＳ＞１２ＡＮＤＴＥＣＨ＿ＨＩＳ
ＴＯＲＹ．ＳＹＳＴＥＭ＝’ＵＮＩＸ’）ＵＮＩＯＮ（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰ
ＷＨＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５
ＡＮＤＰＲＯＪ＿ＣＯＤＥＩＳＮＵＬＬＡＮＤＴＥＣＨ＿ＨＩＳＴＯＲＹ．ＳＹＳＴＥＭ＝’
ＵＮＩＸ’）ＵＮＩＯＮ（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰ
ＷＨＥＲＥＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿Ｃ
ＯＤＥＩＳＮＵＬＬＡＮＤＴＥＣＨ＿ＨＩＳＴ
ＯＲＹ．ＳＹＳＴＥＭ＝’ＵＮＩＸ’））ＭＩＮＵＳ（ＳＥＬＥＣＴＣＯＵＮＴ（^★）ＦＲＯＭＥＭＰ
ＷＨＥＲＥＡＧＥ）＝３０ＡＮＤＡＧＥ＜３５
ＡＮＤＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿ＣＯ
ＤＥＩＳＮＵＬＬＡＮＤＴＥＣＨ＿ＨＩＳＴＯ
ＲＹ．ＳＹＳＴＥＭ＝’ＵＮＩＸ’）；０６７００１−３Ｒ：Ｈｏｓｔ：０１１：”２３ｒ
ｅｃｏｒｄｓｓｅｌｅｃｔｅｄ．” ”Ｘ”と’Ｄ’の論理積集合の件数は２３件であった。
この結果、図１３に示す、集合グラフが描画される。”
Ｘ”^★’Ｄ’は、「年令が３０歳以上３５歳未満で勤続
年数が１２年以上、年令が３０歳以上３５歳未満でプロ
ジェクトに属していない、勤続年数が１２年以上でプロ
ジェクトに属していない、のいずれかの条件を満足し、
さらにＵＮＩＸに関する開発経験を有する。」社員の集
合である。

【００３７】対象者の名簿を作成するために、集合”
Ｘ”^★’Ｄ’の社員番号、氏名、年令、所属部課番号を
抽出する。領域オブジェクト”Ｘ”^★’Ｄ’を選択し
て、集合選択ボタンをクリックする。０６８００１−９Ｉ：ｓｅｌｅｃｔＳｅｔ＝：（”
Ｘ”^★’Ｄ’）＝２３０６９００１−４Ｉ：”Ｘ”^★’Ｄ’ ｅｘｐｌｏｄ
ｅｄｔｏ＜＋＞（（’Ａ’^★’Ｂ’^★’Ｄ’）＋
（’Ａ’^★’Ｃ’^★’Ｄ’）＋（’Ｂ’^★’Ｃ’^★’
Ｄ’））＜−＞（’Ａ’^★’Ｂ’^★’Ｃ’^★’Ｄ’）０７０００１−１Ｃ：ｓｅｌｅｃｔＳｅｔ＜＋＞
（（’Ａ’^★’Ｂ’^★’Ｄ’）＋（’Ａ’^★’Ｃ’^★’
Ｄ’）＋（’Ｂ’^★’Ｃ’^★’Ｄ’））＜−＞（’Ａ’
^★’Ｂ’^★’Ｃ’^★’Ｄ’）メッセージ・ボックスに集合命題論理式が表記された状
態で、集合抽出ボタンをクリックする。０７１００１−９Ｉ：ｒｅａｄＳｅｔ＝：＜＋＞
（（’Ａ’^★’Ｂ’^★’Ｄ’）＋（’Ａ’^★’Ｃ’^★’
Ｄ’）＋（’Ｂ’^★’Ｃ’^★’Ｄ’））＜−＞（’Ａ’
^★’Ｂ’^★’Ｃ’^★’Ｄ’）図１４に示すように、集合抽出ボタン（ｒｅａｄＳｅ
ｔ）が、”ＯＫ？”に変わり、告知フィールドに「フィ
ールド・オブジェクト・ブラウザーから、抽出するフィ
ールド群を選択して下さい。」というメッセージが表示
される。フィールド・オブジェクト・ブラウザー上か
ら、抽出するフィールドをクリックして選択する。０７２００１−９Ｉ：ｒｅａｄＩｔｅｍｓ＝：ｐｅ
ｒｓｏｎａｌ＿ｉｄ，ｎａｍｅ，ａｇｅ，ｄｅｐｔ＿ｎ
ｏ，０７３００１−１Ｃ：ｒｅａｄＳｅｔ＜＋＞（（’
Ａ’^★’Ｂ’^★’Ｄ’）＋（’Ａ’^★’Ｃ’^★’Ｄ’）
＋（’Ｂ’^★’Ｃ’^★’Ｄ’））＜−＞（’Ａ’^★’
Ｂ’^★’Ｃ’^★’Ｄ’）［ｐｅｒｓｏｎａｌ−ｉｄ，ｎ
ａｍｅ，ａｇｅ，ｄｅｐｔ＿ｎｏ］．０７４００１−３Ｓ：Ｈｏｓｔ：０１２：”（（ＳＥ
ＬＥＣＴＰＥＲＳＯＮＡＬ＿ＮＯ，ＮＡＭＥ，ＡＧ
Ｅ，ＤＥＰＴ＿ＣＯＤＥＦＲＯＭＥＭＰＷＨＥＲ
ＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５ＡＮＤ
ＹＥＡＲＳ＞１２ＡＮＤＴＥＣＨ＿ＨＩＳＴＯＲＹ．ＳＹＳＴＥＭ＝’
ＵＮＩＸ’）ＵＮＩＯＮ（ＳＥＬＥＣＴＰＥＲＳＯＮＡＬ＿ＮＯ，ＮＡＭＥ，
ＡＧＥ，ＤＥＰＴ＿ＣＯＤＥＦＲＯＭＥＭＰＷＨ
ＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５ＡＮＤＰＲＯＪ＿ＣＯＤＥＩＳＮＵＬＬＡＮＤ
ＴＥＣＨ＿ＨＩＳＴＯＲＹ．ＳＹＳＴＥＭ＝’ＵＮＩ
Ｘ’）ＵＮＩＯＮ（ＳＥＬＥＣＴＰＥＲＳＯＮＡＬ＿ＮＯ，ＮＡＭＥ，
ＡＧＥ，ＤＥＰＴ＿ＣＯＤＥＦＲＯＭＥＭＰＷＨ
ＥＲＥＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿ＣＯＤ
ＥＩＳＮＵＬＬＡＮＤＴＥＣＨ＿ＨＩＳＴＯＲ
Ｙ．ＳＹＳＴＥＭ＝’ＵＮＩＸ’））ＭＩＮＵＳ（ＳＥＬＥＣＴＰＥＲＳＯＮＡＬ＿ＮＯ，ＮＡＭＥ，
ＡＧＥ，ＤＥＰＴ＿ＣＯＤＥＦＲＯＭＥＭＰＷＨ
ＥＲＥＡＧＥ＞＝３０ＡＮＤＡＧＥ＜３５ＡＮＤＹＥＡＲＳ＞１２ＡＮＤＰＲＯＪ＿ＣＯＤ
ＥＩＳＮＵＬＬＡＮＤＴＥＣＨ＿ＨＩＳＴＯＲ
Ｙ．ＳＹＳＴＥＭ＝’ＵＮＩＸ’）；０７５００１−３Ｒ：Ｈｏｓｔ：０１２：”ｒｅａｄ
ｙｆｏｒｏｕｔｐｕｔ” 以上の実施例に示すように、「集合の図式化によるデー
タベース検索処理方法」は、基本となる集合オブジェク
トの条件式を記述することを除いて、すべての検索処理
は図形オブジェクトを選択指示するグラッフィク・ユー
ザー・インタフェースで実現し、論理的な思考の過程に
同調する段階的な操作の流れ（図１５）によって実現す
るものである。

【００３８】

【発明の効果】本発明は、集合を幾何学的な矩形の図形
に写像して図示することで、（ａ）矩形の領域の大きさ
と位置関係から、集合の量と、集合と集合の間にある論
理的な関係を、視覚的に評価、認知することができ、
（ｂ）３個の矩形の領域によって描画される集合グラフ
には、最大７個の領域の切片と外延の母集合を含んで８
個の論理的な集合が提示され、それらの集合を組み合わ
せて選択指示することで、２５５通りの検索条件式を生
成してデータの抽出操作を行なうことができ、（ｃ）集
合という抽象的な存在の量と関係が、グラフによって記
録されるため、グラフによる集合の時系列の比較や、グ
ラフによる説明や提示の媒体とすることができる効果が
ある。情報検索や文献検索のようなデータベース検索で
は、検索する対象を明確に認知しているわけではなく、
不確定で不明瞭な仮の条件の下で、試行錯誤を繰り返
す。このような検索処理は、対象を模索すること自体に
目的があり、比較的単純な条件式によって検索処理を実
行して集合を生成し、生成された集合をプール演算子で
組み合わせて、集合の論理的な関係から対象を理解する
ものである。また、人事情報や経営管理情報のようなデ
ータベース検索では、複数のデータベース・ファイルの
複数の項目に対する複合条件を記述し、さらに複数の条
件値を仮定して得た集合の組み合わせから、最良の条件
を求めることがある。こうした検索はいずれも、コンピ
ュータ操作における技術的な課題の困難より、集合の量
や、集合と集合の論理的な関係を把握する論理的な課題
の困難が大きく、重要である。このため、利用者は、机
上の紙面に集合の存在を円に表象する図式を手書きし、
図式によって評価判定して理解し、再びコンピュータの
キーボードに向かって検索条件を入力することがしばし
ば見受けらる。本発明は、複雑で高度な検索や、不確定
で不明瞭な検索において、思考の過程における論理的な
課題と、操作の過程における技術的な課題を統合的に解
決する効果がある。

【図面の簡単な説明】

【図１】「集合グラフ」を示す図である。

【図２】システムの構成形態を示す図である。（２−ａ）単独のコンピュータ・システムのシステム構
成（２−ｂ）ホスト・コンピュータ・システムと接続する
システム構成

【図３】論理集合を矩形の領域（陰影部）に表象する形
式を示す図である。（３−ａ）集合’Ａ’と集合’Ｂ’との積集合で、’
Ａ’^★’Ｂ’と表記する。（３−ｂ）集合’Ａ’と集合’Ｂ’との和集合で、’
Ａ’＋’Ｂ’と表記する。（３−ｃ）集合’Ａ’から集合’Ｂ’を引いた差集合
で、’Ａ’−（’Ａ’^★’Ｂ’）と表記する。（３−ｄ）母集合’＃’から集合’Ａ’と集合’Ｂ’を
引いた差集合で、’＃’−（’Ａ’＋’Ｂ’）と表記す
る。

【図４】３個の集合を描画する集合グラフの形式を示す
図である。（４−ａ）’Ａ’^★’Ｂ’≠０，’Ａ’^★’Ｃ’≠
０，’Ｂ’^★’Ｃ’≠０，’Ａ’^★’Ｂ’^★’Ｃ’≠０
の場合に、７個の区画が生じる配置形式。（４−ｂ）’Ａ’^★’Ｂ’≠０，’Ａ’^★’Ｃ’≠
０，’Ｂ’^★’Ｃ’≠０，’Ａ’^★’Ｂ’^★’Ｃ’＝０
の場合に、６個の区画が生じる配置形式。（４−ｃ）’Ａ’^★’Ｂ’，’Ａ’^★’Ｃ’，’
Ｂ’^★’Ｃ’のいずれか１つが０件の場合に、５個の区
画が生じる配置形式。（４−ｄ）’Ａ’^★’Ｂ’，’Ａ’^★’Ｃ’，’
Ｂ’^★’Ｃ’のいずれか２つが０件の場合に、４個の区
画が生じる配置形式。（４−ｅ）’Ａ’^★’Ｂ’，’Ａ’^★’Ｃ’，’
Ｂ’^★’Ｃ’のすべてが０件の場合に、３個の区画が生
じる配置形式。

【図５】コントロール・パネルと呼ぶ操作盤を示す図で
ある。

【図６】本発明を実現するプログラムのモジュール構成
と、手段の処理順序を示す図である。

【図７】集合選択手段による「集合論理式の言い換え」
の作用を示す図である。各グラフの領域を選択（陰影
部）した時に、グラフの下部に示す論理式が表記さ
れ、’＝’の後半に記す集合命題論理式に言い換えられ
る。

【図８】実施例における、集合生成指令の実行後に、生
成された集合オブジェクトを相対様式で描画する集合グ
ラフを示す図である。

【図９】実施例における、集合オブジェクト’Ａ’、’
Ｂ’の集合グラフを示す図である。

【図１０】実施例における、集合オブジェクト’
Ａ’、’Ｂ’、’Ｃ’の集合グラフを示す図である。

【図１１】実施例における、演繹集合オブジェクト”
Ｘ”を生成する時に選択した集合グラフ上の部分を示す
図である。

【図１２】実施例における、集合写像ボタンをクリック
して、”ＯＫ？”ボタンに変わり、空間オブジェクト・
ブラウザーが表示された状態を示す図である。

【図１３】実施例における、演繹集合オブジェクト”
Ｘ”と、写像された演鐸集合オブジェクト’Ｄ’の集合
グラフを示す図である。

【図１４】実施例における、集合抽出ボタンをクリック
して、”ＯＫ？”ボタンに変わった状態を示す図であ
る。

【図１５】実施例における、「集合の図式化によるデー
タベース検索処理方法」の段階的な操作の流れを示す図
である。

Claims

【特許請求の範囲】

【請求項１】データベース検索の集合の件数を求める
処理、ならびに集合のデータ要素を抽出する処理におい
て、（ａ）集合の検索条件と回答件数を、一体化した抽象的
な対象（集合オブジェクト）として登録する、集合生成
手段と、（ｂ）登録した集合オブジェクトの中から３個までの集
合オブジェクトを選択し、集合の量と、集合と集合の間
にある論理的な関係を幾何学的な矩形の領域に写像した
図式を、グラフィック・ディスプレイ装置の画面上に提
示する、集合描画手段と、（ｃ）描画された矩形の領域および領域の切片を、マウ
スなどの指示装置を用いて指示し、それらを組み合わせ
た論理的な集合を構成する、集合選択手段と、（ｄ）集合オブジェクト、ならびに集合選択手段によっ
て論理的に構成された集合を、他のデータベース・ファ
イルの要素に写像する、集合写像手段と、（ｅ）集合オブジェクト、ならびに集合選択手段によっ
て論理的に構成された集合のデータ要素を抽出する、集
合抽出手段を備えたデータベース検索処理方法。