ホーン節変換：演繹データベースにおける部分評価の応用

• Item type: Journal(1)
• 公開日: 1988-01-15
• タイトル: ホーン節変換：演繹データベースにおける部分評価の応用
• タイトル / 言語: en
• タイトル: Horn Clause Transformation : An Application of Partial Evaluation to Deductive Databases
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 論理プログラミング
• 著者所属: 沖電気工業（株）研究開発本部総合システム研究所
• 著者所属: 沖電気工業（株）研究開発本部総合システム研究所
• 著者所属: （財）新世代コンピュータ技術開発機構研究所
• 著者所属(英): en
• 著者所属(英): Systems Labratory, Oki Electric Industry Co., Ltd
• 著者所属(英): en
• 著者所属(英): Systems Labratory, Oki Electric Industry Co., Ltd
• 著者所属(英): en
• 著者所属(英): Research Center, Institute for New Generation Computer Technology
• 著者名: 宮崎, 収兄; 羽生田, 博美; 伊藤, 英則
• 著者名(英): Nobuyoshi, Miyazaki; Hiromi, Haniuda; Hidenori, Itoh
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 演繹データベースにおいて再帰型の問合せの処理方式がいくつか提案されているが 多くの方法ではその処理性能が問合せ中の述語数に依存する.したがって 問合せから一部の述語を除去し簡略化してから処理を行うことにより効率化を図ることができる.本論文では このような簡略化を行うホーン節変換を 論理型プログラムの部分評価の概念に基づき提案する.部分評価は 論理型プログラムの実行時に一部の述語の評価を保留するアルゴリズムであり プログラムの部分計算法の一種である.部分評価の結果は 再びホーン節で表現される.部分評価で保留する述語の与えかたを変化させることにより各種のホーン節変換を定義できる.また これらのホーン節変換は"not"述語を含む問合せの簡略化にも適用できる.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 29, 号 1, p. 47-53, 発行日 1988-01-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764