集約関数まで拡張した関係論理／関係代数変換法

• Item type: SIG Technical Reports(1)
• 公開日: 1987-01-19
• タイトル: 集約関数まで拡張した関係論理／関係代数変換法
• タイトル / 言語: en
• タイトル: Reduction of Aggregate Functions in Relational Calculus to Optimal Algebraic Expressions
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NTT電気通信研究所
• 著者所属: NTT電気通信研究所
• 著者所属(英): en
• 著者所属(英): NTT Electrical Communications Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Electrical Communications Laboratories
• 著者名: 中野, 良平; 斉藤, 和巳
• 著者名(英): Ryohei, Nakano; Kazumi, Saito
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 集約関数(aggregate function)が入って来ると、一般にアルファが閉じなくなるので、関係論理から関係代数への変換は簡単でなくなる。本稿は関係論理中の集約関数を最適な関係代数表現に変換する体系を述べたものである。また、集約関数に関するKlugの補正に効率良く対処するため、新らたな集約演算を考案し導入する。新変換法は、代数表現への変換が容易な標準集約形を中継地点とし、それの生成と解決という2フェーズの変換体系を採る。同変換体系は4つの基本変換則と3種の発見的(heuristic)変換則から構成される。新変換法の目的は、集約関数を含んだ関係論理表現を人間が考え出すような最適な関係代数表現に変換することにある。変換プログラムを作成し、考えられる様々な複雑な検索に適用して、極めて満足すべき結果が得られることを確認した。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The advent or aggregate functions makes alphas of relational calculus open; hence reduction from alphas to relational algebraic expressions becomes difficult. This paper describes reduction of aggregate functions in relational calculus to optimal algebraic expressions. We introduce a new aggregate operation to cope with Klug's correction. The present algorithm runs two-phase processing: creation of standard aggregate form and resolution of it. The reduction consists of 4 basic rules and 3 kinds of heuristic rules. Its goal is to produce such optimal algebraic expressions as a man may think of. Reduction program turns out to produce satisfactory results.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 1987, 号 4(1986-DBS-057), p. 19-26, 発行日 1987-01-19
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会