| Item type |
SIG Technical Reports(1) |
| 公開日 |
2021-02-22 |
| タイトル |
|
|
タイトル |
入出力のふるまいに基づく手続き型コードからSQLへの変換 |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
プログラム解析 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
株式会社NTTデータ |
| 著者所属 |
|
|
|
奈良先端科学技術大学院大学 |
| 著者所属 |
|
|
|
株式会社NTTデータ |
| 著者所属 |
|
|
|
株式会社NTTデータ |
| 著者所属(英) |
|
|
|
en |
|
|
NTT DATA Corporation |
| 著者所属(英) |
|
|
|
en |
|
|
Nara Institute of Science and Technology |
| 著者所属(英) |
|
|
|
en |
|
|
NTT DATA Corporation |
| 著者所属(英) |
|
|
|
en |
|
|
NTT DATA Corporation |
| 著者名 |
竹之内, 啓太
石尾, 隆
岡田, 譲二
坂田, 祐司
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
データベースを利用するソフトウェアにおいて，SQL クエリがプログラムの一部として利用されることは一般的である．一方で，データベースから取得した結果に対して，ループや条件分岐などの制御構造を用いて加工を行う手続き型のプログラムは，保守性の低下や実行時の性能劣化を招くことが知られている．本研究では，SQL の実行結果を加工する手続き型のプログラムを，単一の SQL クエリのみをもつプログラムに変換する手法を提案する．提案手法では，プログラムの解析コストを軽減するため，変換元のプログラムの構造についての限られた情報と，その入出力のふるまいに基づいて変換を行う．具体的には，変換元のプログラムの入出力のふるまいをオラクルとして，オラクルに基づくプログラム合成 (Oracle-Guided Program Synthesis) を行うことで，有限個の入力においてオラクルと等しい出力をもつ SQL クエリを求める．評価実験では，先行研究で用いられたベンチマークに対してプログラムの変換を行い，提案手法の有効性を確認した． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10112981 |
| 書誌情報 |
研究報告ソフトウェア工学（SE）
巻 2021-SE-207,
号 36,
p. 1-8,
発行日 2021-02-22
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8825 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-SE21207036.pdf (1.2 MB)
