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: ¥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

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

Research Products

• [Journal Article] 擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化 (2021)
  • Author(s): 岸潤一郎, 酒井正彦, 西田直樹, 橋本健二
  • Journal Title: 電子情報通信学会技術報告 Volume: 120(343) Pages: 66-71
• [Journal Article] Transformation of SQL-based Combinatorial Optimization Problems into Constraint Problems (2020)
  • Author(s): Genki Sakanashi, Masahiko Sakai
  • Journal Title: SIG-FPAI Volume: B5 Pages: 12-17
  • NAID: 130008061521
• [Journal Article] Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems (2018)
  • Author(s): Sakanashi Genki、Sakai Masahiko
  • Journal Title: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018), ACM, isbn:978-1-4503-6441-6 Volume: PPDP2018 Pages: 1-13
  • DOI: 10.1145/3236950.3236963
  • Peer Reviewed / Open Access
• [Presentation] SQL for combinatorial optimization problems and SMT-based solving by SQL transformation (2019)
  • Author(s): Masahiko Sakai
  • Organizer: 6th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2019)
  • Int'l Joint Research / Invited
• [Presentation] 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ (2019)
  • Author(s): 坂梨元軌, 酒井正彦，西田直樹, 橋本健二
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
• [Presentation] An extended SQL for combinatorial optimization problems and transformation into constraint problems (2018)
  • Author(s): Masahiko Sakai
  • Organizer: the 49th TRS meeting
  • Int'l Joint Research
• [Presentation] Transformation of combinatorial optimization problems written in extended SQL into constraint problems (2018)
  • Author(s): Genki Sakanashi and Masahiko Sakai
  • Organizer: IPSJ-SIGPRO
• [Presentation] 組合せ最適化問題を記述するための関係代数の集合上への拡張 (2018)
  • Author(s): 坂梨元軌, 酒井正彦, 西田直樹, 橋本健二
  • Organizer: 第20回プログラミングおよびプログラミング言語ワークショップ PPL2018
• [Remarks] CombSQL+
  • URL: https://www.trs.css.i.nagoya-u.ac.jp/projects/CombSQLplus/