著者

中野 良平 斉藤 和巳

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.28, no.12, pp.1246-1254, 1987-12-15

---

代表的な関係データベース言語は関係論理に基づくが データベースマシンのサポート言語は多くの場合関係代数である.したがって 関係論理で表現した検索を データベースマシンでの実行を想定して 最適な関係代数表現に変換する研究が重要になる.関係論理表現に集約関数が入って来ると 閉じないアルファが現れるので 関係代数への変換は容易でない.本論文は関係論理表現に現れる集約関数を Klug の補正も考慮に入れた最適な関係代数表現に変換する体系を述べたものである.Klug の補正に効率良く対処するため 関係代数演算に新しいタイプの集約演算を導入する.新変換法の基本的アイデアは 代数表現への変換が容易な標準集約形を中継地点とし それの生成と解決という2フェーズの変換体系にある.同法は3漣の基本変換則と3種の発見的変換則から構成される.新変換法の目的は 集約関数を含んだ関係論理表現を人間が考え出すような最適な関係代数表現に変換することにある.変換プログラムを作成し 考えられる様々な複雑な検索に適用して 極めて満足すべき結果が得られることを確認した.