@techreport{oai:ipsj.ixsq.nii.ac.jp:00020751,
 author = {中野, 良平 and 斉藤, 和巳 and Ryohei, Nakano and Kazumi, Saito},
 issue = {4(1986-DBS-057)},
 month = {Jan},
 note = {集約関数(aggregate function)が入って来ると、一般にアルファが閉じなくなるので、関係論理から関係代数への変換は簡単でなくなる。本稿は関係論理中の集約関数を最適な関係代数表現に変換する体系を述べたものである。また、集約関数に関するKlugの補正に効率良く対処するため、新らたな集約演算を考案し導入する。新変換法は、代数表現への変換が容易な標準集約形を中継地点とし、それの生成と解決という2フェーズの変換体系を採る。同変換体系は4つの基本変換則と3種の発見的(heuristic)変換則から構成される。新変換法の目的は、集約関数を含んだ関係論理表現を人間が考え出すような最適な関係代数表現に変換することにある。変換プログラムを作成し、考えられる様々な複雑な検索に適用して、極めて満足すべき結果が得られることを確認した。, 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.},
 title = {集約関数まで拡張した関係論理／関係代数変換法},
 year = {1987}
}