An extension of SQL language for constraint programming on database and its processing system

2020 Fiscal Year Final Research Report

• 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
• 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.

Free Research Field

理論計算機科学

Academic Significance and Societal Importance of the Research Achievements

関係データベースの問い合わせ言語を、関係データの集合に対して拡張したことと、その有限の表現として制約つきテーブルを提案したという点に学術的意義がある。一方で、実装した組合せ問題解決のためのツールは利用するための敷居が低いため、今後一般向けのユーザインタフェースの構築により、実際の利用が見込まれる。