CADシステムのための演繹オブジェクト指向デ-タベ-スに関する研究

点击翻译按钮获取中文摘要

平成3年度は、平成2年度に作成した演繹デ-タベ-スのプロトタイプに対し、処理効率・ユ-ザインタフェ-スの点から改良を加えるための研究を行なった。以下に、具体的な研究成果を示す。1.CADシステムにおいて、図面上の部品の条件付き・間接的接続関係を求める質問を記述する場合には、複合項の必要性が生じることがある。例えば、2つの部品間のすべての部品を列挙したい場合、列挙した部品を保持しておくために複合項(例えばリスト)を用いて処理することが考えられる。このような複合項を含む質問を処理する場合、従来の質問処理手法では効率の面に問題があることを示し、そのための効率化手法を提案した。2.演繹デ-タベ-スをCADシステムに応用する場合、演繹デ-タベ-スの専門家でないユ-ザ-にとって、再帰ル-ルを用いて質問を記述することは容易ではない。特に、条件つき接続関係を記述するためには、再帰ル-ル中の条件の記述を埋め込む必要があり、ユ-ザによる記述はさらに困難になる。そこで、条件付き接続関係検索のための質問を分類し、検索問題を適切に記述できるようにユ-ザを支援する枠組を提案した。この枠組に従えば、ユ-ザは論理的な条件の記述に集中できる。3.演繹デ-タベ-スにおける再帰質問(再帰ル-ルを用いて記述された質問)を効率よく処理するため、さまざまな質問処理手法が提案されている。それらの手法を適用する際には、ル-ルのボディリテラルの評価順序によって、適用可能性や効率が大きく変わる。そこで、我々は、演繹デ-タベ-スにおいて再帰質問を効率よく処理するための、ル-ルのボティリテラルの評価順序決定戦略を提案した。また、この戦略に基づいたル-ル変換手法を提案した。