An extension of SQL language for constraint programming on database and its processing system
| Project/Area Number |
17H01721
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
Sakai Masahiko 名古屋大学, 情報学研究科, 教授 (50215597)
|
|---|
| Project Period (FY) |
2017-04-01 – 2020-03-31
|
| Project Status |
Completed (Fiscal Year 2020)
|
| Budget Amount *help |
¥11,050,000 (Direct Cost: ¥8,500,000、Indirect Cost: ¥2,550,000)
Fiscal Year 2019: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Fiscal Year 2018: ¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Fiscal Year 2017: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
|
|---|
| Keywords | 組合せ最適化問題 / SMTソルバ / SQL言語 / 組合せ最適化 / プログラム変換 / 拡張データ代数 / 組合せ問題記述 / 充足可能性判定 |
|---|
| Outline of Final Research Achievements |
We have proposed, implemented, and released a system CombSQL+ that solves combinatorial optimization problems by using general purpose constraint solvers according to problem specifications. One of the benefits is that the specifications are easily described by users who know relational database query language SQL without knowledge of constraint solvers.
The key idea is the set extension of the theory of relational database, which enables us to design a simple description language as well as its implementation.
|
| Academic Significance and Societal Importance of the Research Achievements |
関係データベースの問い合わせ言語を、関係データの集合に対して拡張したことと、その有限の表現として制約つきテーブルを提案したという点に学術的意義がある。一方で、実装した組合せ問題解決のためのツールは利用するための敷居が低いため、今後一般向けのユーザインタフェースの構築により、実際の利用が見込まれる。
|
Report
(4 results)
Research Products
(9 results)
